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 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 1460 | OA
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11113 | OA
Shaping the endoplasmic reticulum into the nuclear envelope
D.J. Anderson, M. Hetzer, Journal of Cell Science 121 (2008) 137–142.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11114 | OA
Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions
R. Schulte, J. Talamas, C. Doucet, M. Hetzer, PLoS ONE 3 (2008).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 1763 | OA
Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 1765 | OA
Coplanar waveguide resonators for circuit quantum electrodynamics
M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17721 | OA
The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution
R.H. Kramer, Z. Haiman, Monthly Notices of the Royal Astronomical Society 385 (2008) 1561–1575.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17734 | OA
Premerger localization of gravitational wave standard sirens with LISA: Triggered search for an electromagnetic counterpart
B. Kocsis, Z. Haiman, K. Menou, The Astrophysical Journal 684 (2008) 870–887.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17752 | OA
Prompt shocks in the gas disk around a recoiling supermassive black hole binary
Z. Lippai, Z. Frei, Z. Haiman, The Astrophysical Journal 676 (2008) L5–L8.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17756 | OA
Oxygen pumping. II. Probing the inhomogeneous metal enrichment at the epoch of reionization with high‐frequency CMB observations
C. Hernandez‐Monteagudo, Z. Haiman, L. Verde, R. Jimenez, The Astrophysical Journal 672 (2008) 33–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17762 | OA
Challenges to the DGP model from horizon-scale growth and geometry
W. Fang, S. Wang, W. Hu, Z. Haiman, L. Hui, M. May, Physical Review D 78 (2008).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 17773 | OA
Cosmological physics with black holes (and possibly white dwarfs)
K. Menou, Z. Haiman, B. Kocsis, New Astronomy Reviews 51 (2008) 884–890.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed