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.
7668 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 2702 |
Erdös L, Salmhofer M, Yau H. Feynman graphs and renormalization in quantum diffusion. In: World Scientific Publishing; 2008:167-182. doi:10.1142/9789812833556_0011
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 3037 |
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |
Published |
Journal Article |
IST-REx-ID: 3307 |
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 18032 |
Hybertsen MS, Venkataraman L, Klare JE, Whalley AC, Steigerwald ML, Nuckolls C. Amine-linked single-molecule circuits: Systematic trends across molecular families. Journal of Physics: Condensed Matter. 2008;20(37). doi:10.1088/0953-8984/20/37/374115
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2008 |
Published |
Journal Article |
IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 2008;121(2):137-142. doi:10.1242/jcs.005777
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |
Published |
Journal Article |
IST-REx-ID: 11114 |
Schulte R, Talamas J, Doucet C, Hetzer M. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 2008;3(4). doi:10.1371/journal.pone.0002061
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |
Published |
Journal Article |
IST-REx-ID: 1036 |
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.080404
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Journal Article |
IST-REx-ID: 1037 |
Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Journal Article |
IST-REx-ID: 1039 |
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Journal Article |
IST-REx-ID: 2120 |
Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 2008;11(4):603-626. doi:10.1142/S0219025708003245
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2121 |
Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 2008;13:151-164.
View
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2146 |
Lemeshko M, Friedrich B. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 2008;129(2). doi:10.1063/1.2948392
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 2331 |
Hainzl C, Seiringer R. Spectral properties of the BCS gap equation of superfluidity. In: World Scientific Publishing; 2008:117-136. doi:10.1142/9789812832382_0009
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 2332 |
Seiringer R. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. In: World Scientific Publishing; 2008:241-254. doi:10.1142/9789812832382_0017
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2374 |
Seiringer R. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2376 |
Hainzl C, Seiringer R. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 2008;77(18). doi:10.1103/PhysRevB.77.184517
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2377 |
Hainzl C, Seiringer R. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 2008;84(2-3):99-107. doi:10.1007/s11005-008-0242-y
View
| DOI
| Download (ext.)