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.

2422 Publications


2009 | Journal Article | IST-REx-ID: 3197   OA
Kumar, M. P., 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, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. https://doi.org/10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837   OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 4544   OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 1039   OA
Danzl, J., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science, 321(5892), 1062–1066. https://doi.org/10.1126/science.1159909
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. https://doi.org/10.1007/s10955-008-9527-x
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. https://doi.org/10.1007/s00220-008-0489-2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3307   OA
Green, R., Malaspinas, A., Krause, J., Briggs, A., Johnson, P., Uhler, C., … Pääbo, S. (2008). A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell, 134, 416–426. https://doi.org/10.1016/j.cell.2008.06.021
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. https://doi.org/10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751   OA
Kinkhabwala, A., & Guet, C. C. (2008). Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One, 3(4). https://doi.org/10.1371/journal.pone.0002030
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. https://doi.org/10.1007/s11232-008-0026-7
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. https://doi.org/10.1007/s00222-008-0142-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763   OA
Fink, J. M., 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. https://doi.org/10.1038/nature07112
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). https://doi.org/10.1063/1.2948392
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 (pp. 117–136). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0009
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374   OA
Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics, 279(3), 595–636. https://doi.org/10.1007/s00220-008-0428-2
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed