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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed