ISTA Research Explorer

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.

7397 Publications

Search / Filter

2009 | Published | Technical Report | IST-REx-ID: 5393 |

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: 3711 |

Combining appearance and motion for human action classification in videos
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.

View | DOI | Download None (ext.)

2009 | Published | Conference Paper | IST-REx-ID: 4403 |

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.)

2009 | Published | Conference Paper | IST-REx-ID: 3841 |

Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.

[Submitted Version] View | Files available | DOI

2009 | Published | Journal Article | IST-REx-ID: 3870 |

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).

[Submitted Version] View | Files available | DOI | WoS

2009 | Published | Journal Article | IST-REx-ID: 3780 |

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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.

[Submitted Version] View | Files available | DOI | WoS

2009 | Published | Journal Article | IST-REx-ID: 4242 |

The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.

[Submitted Version] View | Files available | DOI | WoS

2009 | Published | Conference Paper | IST-REx-ID: 3843 |

Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.

[Submitted Version] View | Files available | DOI | WoS

2009 | Published | Conference Paper | IST-REx-ID: 3844 |

Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.

[Submitted Version] View | Files available | DOI | WoS

2009 | Published | Journal Article | IST-REx-ID: 4136 |

Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC

2009 | Published | Journal Article | IST-REx-ID: 3775 |

On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2008 | Published | Journal Article | IST-REx-ID: 1460 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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.)