Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
8924 Publications
2010 |
Published |
Book Chapter |
IST-REx-ID: 1468 |
Hausel T. S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press; 2010. doi:10.1093/acprof:oso/9780199534920.003.0016
View
| DOI
| Download (ext.)
2010 |
Published |
Technical Report |
IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Book Chapter |
IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:10.1007/978-3-642-13675-7_1
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |
Published |
Book Chapter |
IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. “This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In: Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien. Facultas.WUV; 2010:173-179.
View
2010 |
Published |
Journal Article |
IST-REx-ID: 6198
Zhou L, Li F, Xu H, et al. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 2010;16(12):1439-1443. doi:10.1038/nm.2245
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 10127 |
Šarić A, Cacciuto A. Particle self-assembly on soft elastic shells. Soft Matter. 2010;7(5):1874-1878. doi:10.1039/c0sm01143f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 10128
Šarić A, Hrenar T, Mališ M, Došlić N. Quantum mechanical study of secondary structure formation in protected dipeptides. Physical Chemistry Chemical Physics. 2010;12(18):4678-4685. doi:10.1039/b923041f
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 10390 |
Šarić A, Bozorgui B, Cacciuto A. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 2010;115(22):7182-7189. doi:10.1021/jp107545w
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 10391 |
Šarić A, Pàmies JC, Cacciuto A. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 2010;104(22). doi:10.1103/physrevlett.104.226101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 |
Published |
Conference Paper |
IST-REx-ID: 1042
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Nägerl H. Production of a quantum gas of rovibronic ground-state molecules in an optical lattice. In: World Scientific Publishing; 2010:256-269. doi:10.1142/9789814282345_0024
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 1044 |
Danzl JG, Mark M, Haller E, et al. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 2010;6(4):265-270. doi:10.1038/nphys1533
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 1045 |
Haller E, Mark M, Hart R, et al. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 2010;104(15). doi:10.1103/PhysRevLett.104.153203
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 1046
Gustavsson M, Haller E, Mark M, et al. Interference of interacting matter waves. New Journal of Physics. 2010;12. doi:10.1088/1367-2630/12/6/065029
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 1047 |
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Nägerl H. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 2010;104(20). doi:10.1103/PhysRevLett.104.200403
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv