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

Emily Yu

N. Ege Saraç

Konstantin Kueffner

Kaushik Mallik

Samuel Pastva

K. S. Thejaswini

Marek Chalupa

Nicolas Mazzocchi

Thomas Henzinger

Arjun Radhakrishna

Ashutosh Gupta

Cezara Dragoi

Anna Lukina

Bernhard Kragl

Udi Boker

Tatjana Petrov

Przemyslaw Daca

Thomas Wies

Joost Katoen

Miriam García Soto

Guy Avni

Adrian Elgyütt

Halalai, Raluca

Luka Zeleznik

Damien Zufferey

Jan Otop

Christian Schilling

Roopsha Samanta

Vasu Singh

Jan Kretinsky

Anmol Tomar

Singh, Anmol

Abhinav Verma

Thomas Ferrère

Jessica Davies

Hui Kong

Oliveira da Costa, Ana

Jakob Ruess

Ali Sezgin

Pavol Cerny

Mathias Lechner

Duc Hiep Chu

Thorsten Tarrach

Sergiy Bogomolov

Dejan Nickovic

Mirco Giacobbe

Andrey Kupriyanov

Fabian Mühlböck



387 Publications

2015 | Conference Paper | IST-REx-ID: 1692
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, and A. Podelski, “Eliminating spurious transitions in reachability with support functions,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 149–158.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1690
S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1698 | OA
Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4. Elsevier, pp. 177–196, 2015.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1808
A. Gupta and T. A. Henzinger, “Guest editors’ introduction to special issue on computational methods in systems biology,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2. ACM, 2015.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1836
P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr, “Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer, pp. 105–131, 2015.
View | DOI
 

Search

Filter Publications