Please note that ISTA 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.
7146 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4569 | 
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
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.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae, vol. 174, no. 3, Springer, 2008, pp. 555–624, doi:10.1007/s00222-008-0142-x.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson, Daniel J., and Martin Hetzer. “Shaping the Endoplasmic Reticulum into the Nuclear Envelope.” Journal of Cell Science, vol. 121, no. 2, The Company of Biologists, 2008, pp. 137–42, doi:10.1242/jcs.005777.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11114 |
Schulte, Roberta, et al. “Single Bead Affinity Detection (SINBAD) for the Analysis of Protein-Protein Interactions.” PLoS ONE, vol. 3, no. 4, e2061, Public Library of Science, 2008, doi:10.1371/journal.pone.0002061.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 1763 |
Fink, Johannes M., et al. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” Nature, vol. 454, no. 7202, Nature Publishing Group, 2008, pp. 315–18, doi:10.1038/nature07112.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1765 |
Göppl, M., et al. “Coplanar Waveguide Resonators for Circuit Quantum Electrodynamics.” Journal of Applied Physics, vol. 104, no. 11, American Institute of Physics, 2008, doi:10.1063/1.3010859.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer, R. H., and Zoltán Haiman. “The Thickness of High-Redshift Quasar Ionization Fronts as a Constraint on the Ionizing Spectral Energy Distribution.” Monthly Notices of the Royal Astronomical Society, vol. 385, no. 3, Oxford University Press, 2008, pp. 1561–75, doi:10.1111/j.1365-2966.2008.12945.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17734 |
Kocsis, Bence, et al. “Premerger Localization of Gravitational Wave Standard Sirens with LISA: Triggered Search for an Electromagnetic Counterpart.” The Astrophysical Journal, vol. 684, no. 2, American Astronomical Society, 2008, pp. 870–87, doi:10.1086/590230.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17752 |
Lippai, Zoltán, et al. “Prompt Shocks in the Gas Disk around a Recoiling Supermassive Black Hole Binary.” The Astrophysical Journal, vol. 676, no. 1, American Astronomical Society, 2008, pp. L5–8, doi:10.1086/587034.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17756 |
Hernandez‐Monteagudo, Carlos, et al. “Oxygen Pumping. II. Probing the Inhomogeneous Metal Enrichment at the Epoch of Reionization with High‐frequency CMB Observations.” The Astrophysical Journal, vol. 672, no. 1, American Astronomical Society, 2008, pp. 33–39, doi:10.1086/523872.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17762 |
Fang, Wenjuan, et al. “Challenges to the DGP Model from Horizon-Scale Growth and Geometry.” Physical Review D, vol. 78, no. 10, 103509, American Physical Society, 2008, doi:10.1103/physrevd.78.103509.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 17773 |
Menou, Kristen, et al. “Cosmological Physics with Black Holes (and Possibly White Dwarfs).” New Astronomy Reviews, vol. 51, no. 10–12, Elsevier BV, 2008, pp. 884–90, doi:10.1016/j.newar.2008.03.020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv