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.

3469 Publications


2009 | Journal Article | IST-REx-ID: 2193 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/PhysRevLett.103.053003.
View | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
View | Files available | DOI
 

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
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning, Timothy D, and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” In Analytic Number Theory: Essays in Honour of Klaus Roth, 75–90. Cambridge University Press, 2009.
View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, Elmar, Mattias Gustavsson, Manfred Mark, Johann G Danzl, Russell Hart, Guido Pupillo, and Hanns Nägerl. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1175850.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics. IOP Publishing Ltd., 2009. https://doi.org/10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions. Royal Society of Chemistry, 2009. https://doi.org/10.1039/b820542f.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
MULLER, Caroline J, and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography. American Meteorological Society, 2009. https://doi.org/10.1175/2009jpo4141.1.
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER, Caroline J, Larissa E. Back, Paul A. O’Gorman, and Kerry A. Emanuel. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters. American Geophysical Union, 2009. https://doi.org/10.1029/2009gl039667.
View | DOI | Download Published Version (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, Elad Schneidman, Michael Berry, and William Bialek. “Spin Glass Models for a Network of Real Neurons.” ArXiv. ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology. Elsevier, 2009. https://doi.org/10.1016/j.jtbi.2009.03.019.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, Nicholas H Barton, and Bryan Clarke. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology. Wiley, 2009. https://doi.org/10.1111/j.1420-9101.2009.01770.x.
View | Files available | DOI
 

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: 3841 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. https://doi.org/10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
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
 

Filters and Search Terms

oa=1

Search

Filter Publications