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.

Maximilian Weininger

Ali Asadi

Ehsan Kafshdar Goharshadi

Jakub Svoboda

Krishnendu Chatterjee

Valentin Hübner

Mehrdad Karrabi

Raimundo Saona Urmeneta

Ruichen Luo

Djordje Zikelic

Amir Goharshady

Hongfei Fu

Viktor Toman

Rasmus Ibsen-Jensen

Pepa Tkadlec

Mathieu Tracol

Martin Chmelik

Ventsislav Chonev

Florian Horn

Laura Schmid

Tadeas Priklopil

Petr Novotny

Jan Kretinsky

Joost Katoen

Sasha Rubin

Christian Hilbe

Andreas Pavlogiannis

Benjamin Aminof

Johannes Reiter

Maria Kleshnina

John Lazarsfeld

Ismael Jecker

Mingzhang Huang

Tobias Meggendorfer



10 Grants


Formal Methods for Stochastic Models: Algorithms and Applications (ForM-SMArt)

2020-10-01 – 2025-09-30
EC/H2020

Quantitative Graph Games: Theory and Applications (GraphGames)

2011-12-01 – 2016-11-30
EC/FP7

Rigorous Systems Engineering (RISE)

2011-03-01 – 2015-02-28
FWF

Modern Graph Algorithmic Techniques in Formal Verification

2011-09-01 – 2015-08-31
FWF

Game Theory (SHINE)

2015-03-01 – 2019-08-31
FWF

Microsoft Research Faculty Fellowship

2011-04-01 – 2021-03-31
Microsoft

Efficient Algorithms for Computer Aided Verification

2016-03-15 – 2020-03-14
WWTF

Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts

2018-09-01 – 2019-05-31
IBM

Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies

2019-06-01 – 2021-11-30
OEAW

Graphical Games (Graphical Games)

2022-11-01 – 2023-04-30
FFG

Search

Filter Publications

Display / Sort

Export / Embed