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.

Stefanie Muroya Lei

Thomas Henzinger

N. Ege Saraç

Kaushik Mallik

Marek Chalupa

Nicolas Mazzocchi

Samuel Pastva

K. S. Thejaswini

Emily Yu

Konstantin Kueffner

Oliveira da Costa, Ana

Adrian Elgyütt

Przemyslaw Daca

Hui Kong

Mathias Lechner

Miriam García Soto

Guy Avni

Ashutosh Gupta

Jakob Ruess

Thorsten Tarrach

Andrey Kupriyanov

Duc Hiep Chu

Jan Otop

Halalai, Raluca

Bernhard Kragl

Thomas Ferrère

Jessica Davies

Dejan Nickovic

Singh, Anmol

Luka Zeleznik

Cezara Dragoi

Abhinav Verma

Anna Lukina

Anmol Tomar

Roopsha Samanta

Jan Kretinsky

Christian Schilling

Arjun Radhakrishna

Thomas Wies

Vasu Singh

Mirco Giacobbe

Ali Sezgin

Sergiy Bogomolov

Udi Boker

Pavol Cerny

Damien Zufferey

Joost Katoen

Fabian Mühlböck

Tatjana Petrov



387 Publications

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
 
2012 | Conference Paper | IST-REx-ID: 3162 | OA
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications