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

Emily Yu

Kaushik Mallik

Konstantin Kueffner

Nicolas Mazzocchi

Marek Chalupa

Samuel Pastva

K. S. Thejaswini

N. Ege Saraç

Jessica Davies

Thomas Wies

Abhinav Verma

Jan Otop

Vasu Singh

Tatjana Petrov

Joost Katoen

Miriam García Soto

Roopsha Samanta

Mathias Lechner

Udi Boker

Dejan Nickovic

Cezara Dragoi

Hui Kong

Arjun Radhakrishna

Oliveira da Costa, Ana

Pavol Cerny

Ali Sezgin

Thomas Ferrère

Anmol Tomar

Andrey Kupriyanov

Anna Lukina

Christian Schilling

Mirco Giacobbe

Luka Zeleznik

Adrian Elgyütt

Halalai, Raluca

Guy Avni

Przemyslaw Daca

Duc Hiep Chu

Damien Zufferey

Bernhard Kragl

Jakob Ruess

Jan Kretinsky

Thorsten Tarrach

Singh, Anmol

Fabian Mühlböck

Sergiy Bogomolov

Ashutosh Gupta



386 Publications

2015 | Journal Article | IST-REx-ID: 1538 | OA
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, and J. Lygeros, “Iterative experiment design guides the characterization of a light-inducible gene expression circuit,” PNAS, vol. 112, no. 26. National Academy of Sciences, pp. 8148–8153, 2015.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Conference Paper | IST-REx-ID: 1541
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, and R. Grosu, “XSpeed: Accelerating reachability analysis on multi-core processors,” vol. 9434. Springer, pp. 3–18, 2015.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
[Submitted Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1605 | OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications