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, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics 135, no. 5–6 (2009): 915–34. https://doi.org/10.1007/s10955-009-9718-0.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3197   OA
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research 10 (2009): 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837   OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL) 11, no. 1 (2009). https://doi.org/10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544   OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 1039   OA
Danzl, Johannes, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” Science 321, no. 5892 (2008): 1062–66. https://doi.org/10.1126/science.1159909.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121   OA
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability 13 (2008): 151–64.
View | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed