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.

Samuel Pastva

Kaushik Mallik

Konstantin Kueffner

N. Ege Saraç

Marek Chalupa

Nicolas Mazzocchi

Thomas Henzinger

K. S. Thejaswini

Emily Yu

Stefanie Muroya Lei

Przemyslaw Daca

Roopsha Samanta

Jan Otop

Luka Zeleznik

Pavol Cerny

Udi Boker

Guy Avni

Thorsten Tarrach

Oliveira da Costa, Ana

Damien Zufferey

Duc Hiep Chu

Hui Kong

Andrey Kupriyanov

Dejan Nickovic

Mirco Giacobbe

Anmol Tomar

Jessica Davies

Anna Lukina

Jan Kretinsky

Christian Schilling

Jakob Ruess

Halalai, Raluca

Ashutosh Gupta

Arjun Radhakrishna

Singh, Anmol

Sergiy Bogomolov

Thomas Wies

Vasu Singh

Ali Sezgin

Tatjana Petrov

Miriam García Soto

Adrian Elgyütt

Thomas Ferrère

Fabian Mühlböck

Joost Katoen

Cezara Dragoi

Bernhard Kragl

Abhinav Verma

Mathias Lechner



386 Publications

2012 | Journal Article | IST-REx-ID: 2848 | OA
K. Chatterjee, D. Zufferey, and M. Nowak, “Evolutionary game dynamics in populations with different learners,” Journal of Theoretical Biology, vol. 301. Elsevier, pp. 161–173, 2012.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2891 | OA
U. Boker and T. A. Henzinger, “Approximate determinization of quantitative automata,” in Leibniz International Proceedings in Informatics, Hyderabad, India, 2012, vol. 18, pp. 362–373.
[Published Version] View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2890
P. Cerny, S. Gopi, T. A. Henzinger, A. Radhakrishna, and N. Totla, “Synthesis from incompatible specifications,” in Proceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 53–62.
View | DOI
 
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
 

Search

Filter Publications