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

2008 | Journal Article | IST-REx-ID: 2378   OA
Seiringer, Robert, and Jun Yin. “Ground State Energy of the Low Density Hubbard Model.” Journal of Statistical Physics 131, no. 6 (2008): 1139–54. https://doi.org/10.1007/s10955-008-9527-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380   OA
Hainzl, Christian, Eman Hamza, Robert Seiringer, and Jan Solovej. “The BCS Functional for General Pair Interactions.” Communications in Mathematical Physics 281, no. 2 (2008): 349–67. https://doi.org/10.1007/s00220-008-0489-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3307   OA
Green, Richard, Anna Malaspinas, Johannes Krause, Adrian Briggs, Philip Johnson, Caroline Uhler, Matthias Meyer, et al. “A Complete Neandertal Mitochondrial Genome Sequence Determined by Highhhroughput Sequencing.” Cell 134 (2008): 416–26. https://doi.org/10.1016/j.cell.2008.06.021.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744   OA
Tkacik, Gasper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.” Biosystems 93, no. 1–2 (2008): 90–100. https://doi.org/10.1016/j.biosystems.2008.04.011.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751   OA
Kinkhabwala, Ali, and Calin C Guet. “Uncovering Cis Regulatory Codes Using Synthetic Promoter Shuffling.” PLoS One 3, no. 4 (2008). https://doi.org/10.1371/journal.pone.0002030.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 965   OA
Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.” Theoretical and Mathematical Physics 154, no. 2 (2008): 270–93. https://doi.org/10.1007/s11232-008-0026-7.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1460   OA
Hausel, Tamas, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae 174, no. 3 (2008): 555–624. https://doi.org/10.1007/s00222-008-0142-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763   OA
Fink, Johannes M, M Göppl, Matthias Baur, R Bianchetti, Peter Leek, Alexandre Blais, and Andreas Wallraff. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” Nature 454, no. 7202 (2008): 315–18. https://doi.org/10.1038/nature07112.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146   OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical Physics 129, no. 2 (2008). https://doi.org/10.1063/1.2948392.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331   OA
Hainzl, Christian, and Robert Seiringer. “ Spectral Properties of the BCS Gap Equation of Superfluidity,” 117–36. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812832382_0009.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed