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.
5611 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
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: 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: 1763 |
Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 1765 |
Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 2008;104(11). doi:10.1063/1.3010859
View
| DOI
| Download (ext.)
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.)