| Publication | Date of Publication | Type |
|---|
The modal mu-calculus alternation hierarchy is strict
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
The mu-calculus and Model Checking
Handbook of Model Checking | 2018-07-20 | Paper |
On the expressivity of the modal mu-calculus
STACS 96 | 2017-11-16 | Paper |
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Synthese | 2017-03-14 | Paper |
| Team building in dependence | 2017-02-02 | Paper |
On logical and concurrent equivalences
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Model-checking games for fixpoint logics with partial order models
Information and Computation | 2011-05-04 | Paper |
Model-Checking Games for Fixpoint Logics with Partial Order Models
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| The complexity of independence-friendly fixpoint logic | 2008-07-01 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2102740 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087521 (Why is no real title available?) | 2004-08-11 | Paper |
Fixpoints, games and the difference hierarchy
RAIRO - Theoretical Informatics and Applications | 2004-05-18 | Paper |
Fixpoints, games and the difference hierarchy
RAIRO - Theoretical Informatics and Applications | 2004-05-18 | Paper |
Fixpoints, games and the difference hierarchy
RAIRO - Theoretical Informatics and Applications | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1927555 (Why is no real title available?) | 2003-06-12 | Paper |
| Modal logics and mu-calculi: An introduction | 2003-01-07 | Paper |
| scientific article; zbMATH DE number 1809623 (Why is no real title available?) | 2002-09-30 | Paper |
| scientific article; zbMATH DE number 1670481 (Why is no real title available?) | 2001-12-03 | Paper |
| scientific article; zbMATH DE number 1424046 (Why is no real title available?) | 2000-03-23 | Paper |
Fixpoint alternation: arithmetic, transition systems, and the binary tree
RAIRO - Theoretical Informatics and Applications | 2000-03-16 | Paper |
The modal mu-calculus alternation hierarchy is strict
Theoretical Computer Science | 1999-01-20 | Paper |
| scientific article; zbMATH DE number 1136070 (Why is no real title available?) | 1998-04-01 | Paper |
Local model checking for infinite state spaces
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 52748 (Why is no real title available?) | 1992-09-18 | Paper |
