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.

N. Ege Saraç

Konstantin Kueffner

Marek Chalupa

Stefanie Muroya Lei

Thomas Henzinger

Ana Oliveira da Costa

Mahyar Karimi

K. S. Thejaswini

Emily Yu

Roopsha Samanta

Ashutosh Gupta

Thomas Ferrère

Damien Zufferey

Jan Kretinsky

Miriam García Soto

Przemyslaw Daca

Anna Lukina

Joost Katoen

Singh, Anmol

Andrey Kupriyanov

Jakob Ruess

Christian Schilling

Udi Boker

Oliveira da Costa, Ana

Mirco Giacobbe

Ali Sezgin

Nicolas Mazzocchi

Duc Hiep Chu

Bernhard Kragl

Jan Otop

Pavol Cerny

Thomas Wies

Kaushik Mallik

Arjun Radhakrishna

Adrian Elgyütt

Dejan Nickovic

Cezara Dragoi

Tatjana Petrov

Mathias Lechner

Samuel Pastva

Abhinav Verma

Luka Zeleznik

Jessica Davies

Vasu Singh

Guy Avni

Fabian Mühlböck

Halalai, Raluca

Sergiy Bogomolov

Thorsten Tarrach

Hui Kong

Anmol Tomar



405 Publications

2010 | Published | Journal Article | IST-REx-ID: 3834 | OA
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
[Published Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3838 | OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3839 | OA
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3842 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3845 | OA
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3847 | OA
SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3853 | OA
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3855 | OA
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3856 | OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2010 | Published | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View | Files available | DOI
 
2010 | Published | Conference (Editor) | IST-REx-ID: 3859
Formal modeling and analysis of timed systems
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3860 | OA
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3861 | OA
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3863 | OA
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 3864 | OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2010 | Published | Conference Paper | IST-REx-ID: 3866 | OA
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3867 | OA
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version] View | Files available | DOI
 
2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 
2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed