Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Kaushik Mallik

N. Ege Saraç

Emily Yu

Stefanie Muroya Lei

Thomas Henzinger

Marek Chalupa

Samuel Pastva

Nicolas Mazzocchi

Konstantin Kueffner

Halalai, Raluca

Oliveira da Costa, Ana

Adrian Elgyütt

Mirco Giacobbe

Przemyslaw Daca

Jan Kretinsky

Ali Sezgin

Miriam García Soto

Ashutosh Gupta

Andrey Kupriyanov

Jessica Davies

Fabian Mühlböck

Vasu Singh

Duc Hiep Chu

Abhinav Verma

Pavol Cerny

Dejan Nickovic

Cezara Dragoi

Guy Avni

Bernhard Kragl

Jakob Ruess

Thomas Ferrère

Hui Kong

Roopsha Samanta

Singh, Anmol

Damien Zufferey

Mathias Lechner

Luka Zeleznik

Anmol Tomar

Arjun Radhakrishna

Joost Katoen

Jan Otop

Anna Lukina

Christian Schilling

Thomas Wies

Tatjana Petrov

Sergiy Bogomolov

Thorsten Tarrach

Udi Boker



378 Publications

2012 | Conference Paper | IST-REx-ID: 2888
T. A. Henzinger, “Quantitative reactive models,” in Conference proceedings MODELS 2012, Innsbruck, Austria, 2012, vol. 7590, pp. 1–2.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2916 | OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2936 | OA
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Finite automata with time delay blocks,” in roceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 43–52.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3136
C. C. Guet, A. Gupta, T. A. Henzinger, M. Mateescu, and A. Sezgin, “Delayed continuous time Markov chains for genetic regulatory circuits,” presented at the CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 294–309.
View | DOI
 

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed