| Publication | Date of Publication | Type |
|---|
| Cartesian closed categories of domains and the space proj(D) | 2023-08-16 | Paper |
| The merits of compositional abstraction: a case study in propositional logic | 2023-08-02 | Paper |
| Linear domains and linear maps | 2023-04-28 | Paper |
| Static analysis for proactive security | 2022-02-16 | Paper |
| Partial solvers for parity games: effective polynomial-time composition | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992505 | 2021-06-09 | Paper |
| Secure Multi-party Computation: Information Flow of Outputs and Game Theory | 2020-08-03 | Paper |
| Optimal Accuracy-Privacy Trade-Off for Secure Computations | 2019-07-19 | Paper |
| Mathematical Foundations of Advanced Informatics | 2018-05-28 | Paper |
| Refinement sensitive formal semantics of state machines with persistent choice | 2016-06-06 | 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 |
| Polynomial-time under-approximation of winning regions in parity games | 2015-03-23 | Paper |
| Falsifying safety properties through games on over-approximating models | 2015-03-23 | Paper |
| EXPTIME-complete decision problems for modal and mixed specifications | 2014-07-23 | Paper |
| Topological analysis of refinement | 2013-12-04 | Paper |
| Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL | 2013-10-10 | Paper |
| Consistent partial model checking | 2013-10-10 | Paper |
| Automata games for multiple-model checking | 2013-10-08 | Paper |
| Abstraction and probabilities for hybrid logics | 2013-09-20 | Paper |
| Model-checking view-based partial specifications | 2013-04-26 | Paper |
| Fatal Attractors in Parity Games | 2013-03-18 | Paper |
| Verification and refutation of probabilistic specifications via games | 2012-10-24 | Paper |
| Modal and mixed specifications: key decision problems and their complexities | 2010-04-01 | Paper |
| Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL | 2009-10-20 | Paper |
| 20 years of modal and mixed specifications. | 2009-09-19 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| On model checking multiple hybrid views | 2008-10-07 | Paper |
| Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise | 2008-09-04 | Paper |
| Complexity of Decision Problems for Mixed and Modal Specifications | 2008-04-11 | Paper |
| More Precise Partition Abstractions | 2008-04-04 | Paper |
| Model Checking for Action Abstraction | 2008-04-04 | Paper |
| Labelled transition systems as a Stone space | 2007-10-11 | Paper |
| On finite-state approximants for probabilistic computation tree logic | 2005-12-29 | Paper |
| Refinement is complete for implementations | 2005-12-13 | Paper |
| A domain equation for refinement of partial systems | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813201 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737005 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494445 | 2003-11-24 | Paper |
| Secure Communicating Systems | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791848 | 2003-02-03 | Paper |
| A comment on the shape of the solution set for systems of interval linear equations with dependent coefficients | 2002-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763694 | 2002-01-22 | Paper |
| Linear types and approximation | 2001-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501683 | 2001-04-09 | Paper |
| Quantitative semantics, topology, and possibility measures | 1999-12-13 | Paper |
| On the approximation of denotational mu-semantics | 1999-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222891 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218936 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687237 | 1997-04-10 | Paper |
| Algebraic domains of natural transformations | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870804 | 1996-03-26 | Paper |
| Zero dimensional and connected domains | 1996-02-20 | Paper |
| A maximal monoidal closed category of distributive algebraic domains | 1995-04-10 | Paper |
