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.

3158 Publications


2009 | Journal Article | IST-REx-ID: 1770 | OA
Bianchetti, R., et al. “Dynamics of Dispersive Single-Qubit Readout in Circuit Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4, American Physical Society, 2009, doi:10.1103/PhysRevA.80.043840.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Fink, Johannes M., et al. “Thermal Excitation of Multi-Photon Dressed States in Circuit Quantum Electrodynamics.” Physica Scripta T, vol. T137, IOP Publishing Ltd., 2009, doi:10.1088/0031-8949/2009/T137/014013.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
Friedlander, Tamar, and Naama Brenner. “Adaptive Response by State-Dependent Inactivation.” PNAS, vol. 106, no. 52, National Academy of Sciences, 2009, pp. 22558–63, doi:10.1073/pnas.0902146106 .
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2119 | OA
Maas, Jan, and Jan Van Neerven. “Boundedness of Riesz Transforms for Elliptic Operators on Abstract Wiener Spaces.” Journal of Functional Analysis, vol. 257, no. 8, Academic Press, 2009, pp. 2410–75, doi:10.1016/j.jfa.2009.07.001.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2137 | OA
Lemeshko, Mikhail, and Bretislav Frierich. “Rotational Structure of Weakly Bound Molecular Ions.” Journal of Atomic and Molecular Sciences, vol. 1, no. 1, Global Science Press, 2009, pp. 41–47, doi:10.4208/jams.101009.110209a.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Collisions of Paramagnetic Molecules in Magnetic Fields: An Analytic Model Based on Fraunhofer Diffraction of Matter Waves.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevA.79.012718.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2150 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “The Effect of a Nonresonant Radiative Field on Low-Energy Rotationally Inelastic Na+ + N2 Collisions.” International Journal of Mass Spectrometry, vol. 280, no. 1–3, Elsevier, 2009, pp. 19–25, doi:10.1016/j.ijms.2008.06.010 .
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2191 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Rotational and Rotationless States of Weakly Bound Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 5, American Physical Society, 2009, doi:10.1103/PhysRevA.79.050501.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2192 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Model Analysis of Rotationally Inelastic Ar + H2O Scattering in an Electric Field.” Journal of Physical Chemistry A, vol. 113, no. 52, American Chemical Society, 2009, pp. 15055–63, doi:10.1021/jp9051598.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2193 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” Physical Review Letters, vol. 103, no. 5, American Physical Society, 2009, doi: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, doi:10.15479/AT:IST-2009-0004.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi: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.” Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Haller, Elmar, et al. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science, vol. 325, no. 5945, American Association for the Advancement of Science, 2009, pp. 1224–27, doi:10.1126/science.1175850.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics, vol. 11, IOP Publishing Ltd., 2009, doi:10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi: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, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:10.1175/2009jpo4141.1.
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
MULLER, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:10.1029/2009gl039667.
View | DOI | Download Published Version (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, 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, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, et al. “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, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, doi:10.1086/605958.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1172–1172, doi:10.1016/j.cell.2009.03.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, doi:10.1016/j.cell.2009.03.001.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development, vol. 136, no. 16, Company of Biologists, 2009, pp. 2675–88, doi:10.1242/dev.030353.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, Pavel, et al. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology, vol. 10, no. 12, BioMed Central, 2009, doi:10.1186/gb-2009-10-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M. Pawan, et al. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research, vol. 10, Microtome Publishing, 2009, pp. 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. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
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. World Scientific Publishing, 2008, pp. 117–36, doi:10.1142/9789812832382_0009.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications