| Publication | Date of Publication | Type |
|---|
| Fair \(\omega \)-regular games | 2024-10-30 | Paper |
| Symbolic solution of Emerson-Lei games for reactive synthesis | 2024-10-30 | Paper |
| A survey on satisfiability checking for the \(\mu \)-calculus through tree automata | 2023-08-10 | Paper |
| Combinations of Qualitative Winning for Stochastic Parity Games | 2023-02-03 | Paper |
| Actions over core-closed knowledge bases | 2022-12-07 | Paper |
| Incorporating monitors in reactive synthesis without paying the price | 2022-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992505 | 2021-06-09 | Paper |
| Finding recurrent sets with backward analysis and trace partitioning | 2019-09-17 | Paper |
| Fairness for Infinite-State Systems | 2019-09-17 | Paper |
| Temporal Logic and Fair Discrete Systems | 2018-07-20 | Paper |
| Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems | 2018-05-17 | Paper |
| On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems | 2018-03-01 | Paper |
| Equivalence of probabilistic \(\mu\)-calculus and p-automata | 2017-08-22 | Paper |
| OBLIGATION BLACKWELL GAMES AND P-AUTOMATA | 2017-08-03 | Paper |
| Safety Verification of Piecewise-Deterministic Markov Processes | 2017-05-19 | Paper |
| Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics | 2017-01-24 | Paper |
| Static Analysis of Parity Games: Alternating Reachability Under Parity | 2016-03-23 | Paper |
| The Rabin index of parity games: its complexity and approximation | 2015-12-07 | Paper |
| Synthesis of biological models from mutation experiments | 2014-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849589 | 2013-09-20 | Paper |
| Fatal Attractors in Parity Games | 2013-03-18 | Paper |
| The Modal Transition System Control Problem | 2012-11-08 | Paper |
| Synthesis of Reactive(1) designs | 2012-08-17 | Paper |
| Effective Synthesis of Asynchronous Systems from GR(1) Specifications | 2012-06-15 | Paper |
| Dynamic Reactive Modules | 2011-09-02 | Paper |
| Proving Stabilization of Biological Systems | 2011-02-15 | Paper |
| From Mtl to Deterministic Timed Automata | 2010-09-10 | Paper |
| An Automata-Theoretic Approach to Infinite-State Systems | 2010-09-07 | Paper |
| Strategy logic | 2010-06-25 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| From liveness to promptness | 2009-11-23 | Paper |
| Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL | 2009-10-20 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata | 2009-03-31 | Paper |
| Solving Games Without Determinization | 2009-03-12 | Paper |
| Inferring Network Invariants Automatically | 2009-03-12 | Paper |
| LTL Generalized Model Checking Revisited | 2009-02-10 | Paper |
| Strategy Logic | 2008-09-18 | Paper |
| Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions | 2008-06-17 | Paper |
| From Liveness to Promptness | 2007-11-29 | Paper |
| From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata | 2007-11-15 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Generalized Parity Games | 2007-09-07 | Paper |
| Safraless Compositional Synthesis | 2007-09-05 | Paper |
| Minimizing Generalized Büchi Automata | 2007-09-05 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Bridging the gap between fair simulation and trace inclusion | 2005-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472441 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428305 | 2003-09-15 | Paper |
| From bidirectionality to alternation. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804910 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791853 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779176 | 2002-11-25 | Paper |
