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.

Marek Chalupa

Kaushik Mallik

Emily Yu

Stefanie Muroya Lei

Konstantin Kueffner

Thomas Henzinger

Samuel Pastva

Nicolas Mazzocchi

N. Ege Saraç

K. S. Thejaswini

Halalai, Raluca

Anna Lukina

Udi Boker

Miriam García Soto

Guy Avni

Bernhard Kragl

Arjun Radhakrishna

Thomas Wies

Thorsten Tarrach

Cezara Dragoi

Joost Katoen

Anmol Tomar

Adrian Elgyütt

Jessica Davies

Dejan Nickovic

Singh, Anmol

Hui Kong

Oliveira da Costa, Ana

Christian Schilling

Andrey Kupriyanov

Abhinav Verma

Przemyslaw Daca

Jakob Ruess

Ali Sezgin

Mirco Giacobbe

Luka Zeleznik

Mathias Lechner

Fabian Mühlböck

Pavol Cerny

Ashutosh Gupta

Jan Otop

Duc Hiep Chu

Thomas Ferrère

Roopsha Samanta

Damien Zufferey

Vasu Singh

Tatjana Petrov

Sergiy Bogomolov

Jan Kretinsky



387 Publications

2020 | Conference Paper | IST-REx-ID: 7348 | OA
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8572 | OA
ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
[Published Version] View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8571 | OA
ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
[Published Version] View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8600 | OA
Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8599 | OA
A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI
 

Search

Filter Publications