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.

2262 Publications


2009 | Journal Article | IST-REx-ID: 2384   OA
Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3197   OA
Kumar MP, Kolmogorov V, Torr P. 2009. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 10, 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489. 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837   OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium 171–180.
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 4544   OA
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

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

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

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

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

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

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

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 2331   OA
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics 117–136.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed