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 |

Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.

[Submitted Version] View | Files available | DOI

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

Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.

[Submitted Version] View | Files available | DOI

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

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

[Submitted Version] View | Files available | DOI

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

Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.

[Submitted Version] View | Files available | DOI

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

Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.

[Submitted Version] View | Files available | DOI

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

Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.

[Submitted Version] View | Files available | DOI

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

Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.

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

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

Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics Research. 89(5–6), 475–477.

View | DOI