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.
12072 Publications
2010 |
Published |
Journal Article |
IST-REx-ID: 2196 |
Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 2010;114(36):9848-9854. doi:10.1021/jp1032299
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2197 |
Lemeshko M, Friedrich B. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 2010;82(2). doi:10.1103/PhysRevA.82.022711
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 13409 |
Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 2010;82(12):2247-2279. doi:10.1351/pac-con-10-09-04
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 13410
Coskun A, Wesson PJ, Klajn R, et al. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 2010;132(12):4310-4320. doi:10.1021/ja9102327
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. Nanoparticles that “remember” temperature. Small. 2010;6(13):1385-1387. doi:10.1002/smll.200902272
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 2010;39(6):2203-2237. doi:10.1039/b920377j
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View
| DOI
| Download (ext.)
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 |
Book Chapter |
IST-REx-ID: 14983
Schlögl A, Vidaurre C, Müller K-R. Adaptive Methods in BCI Research - An Introductory Tutorial. In: Graimann B, Pfurtscheller G, Allison B, eds. Brain-Computer Interfaces. 1st ed. FRONTCOLL. Berlin, Heidelberg: Springer; 2010:331-355. doi:10.1007/978-3-642-02091-9_18
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 1970
Efremov R, Baradaran R, Sazanov LA. The architecture of respiratory complex I. Nature. 2010;465(7297):441-445. doi:10.1038/nature09066
View
| DOI
2010 |
Published |
Book (Editor) |
IST-REx-ID: 4346 |
Danowski P, Bergmann J, eds. Handbuch Bibliothek 2.0. Vol 41. De Gruyter; 2010. doi:10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2010;2:454-466. doi:10.1093/gbe/evq031
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4364
Podelski A, Wies T. Counterexample-guided focus. In: ACM; 2010:249-260. doi:10.1145/1707801.1706330
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4369 |
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4378 |
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View
| DOI
| Download (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[Submitted Version]
View
| Files available
| DOI