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.

5288 Publications

Search / Filter

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

T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.

[Submitted Version] View | Files available | DOI

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

F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.

[Submitted Version] View | Files available | DOI

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

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

[Submitted Version] View | Files available | DOI

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

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.

[Submitted Version] View | Files available | DOI

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

S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.

[Submitted Version] View | Files available | DOI

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

T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.

[Submitted Version] View | Files available | DOI

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

R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.

View | DOI