Please note that IST 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.

2421 Publications


2009 | Conference Paper | IST-REx-ID: 3503   OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837   OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870   OA
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544   OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 1039   OA
Quantum gas of deeply bound ground state molecules
J. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121   OA
A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378   OA
Ground state energy of the low density hubbard model
R. Seiringer, J. Yin, Journal of Statistical Physics 131 (2008) 1139–1154.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380   OA
The BCS functional for general pair interactions
C. Hainzl, E. Hamza, R. Seiringer, J. Solovej, Communications in Mathematical Physics 281 (2008) 349–367.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3307   OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744   OA
Decoding spike timing: The differential reverse-correlation method
G. Tkacik, M. Magnasco, Biosystems 93 (2008) 90–100.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751   OA
Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 965   OA
Nonlinear algebra and Bogoliubov's recursion
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1460   OA
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763   OA
Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146   OA
An analytic model of rotationally inelastic collisions of polar molecules in electric fields
M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331   OA
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374   OA
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379   OA
Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators
R. Frank, É. Lieb, R. Seiringer, Journal of the American Mathematical Society 21 (2008) 925–950.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed