| Publication | Date of Publication | Type |
|---|
| The $$\theta $$-Join as a Join with $$\theta $$ | 2022-08-30 | Paper |
| Convergence: integrating termination and abort-freedom | 2018-06-27 | Paper |
| Relations as Images | 2017-07-21 | Paper |
| Non-associative Kleene Algebra and Temporal Logics | 2017-07-21 | Paper |
| Kleene algebra with domain | 2017-07-12 | Paper |
| Relational style laws and constructs of linear algebra | 2014-09-08 | Paper |
| Fuzzifying Modal Algebra | 2014-04-16 | Paper |
| Algebraic Notions of Termination | 2011-05-26 | Paper |
| Internal axioms for domain semirings | 2011-02-21 | Paper |
| Abstract representation theorems for demonic refinement algebras | 2010-11-11 | Paper |
| Domain and Antidomain Semigroups | 2009-12-11 | Paper |
| Control of parameterized discrete event systems | 2009-09-01 | Paper |
| Domain Axioms for a Family of Near-Semirings | 2009-01-27 | Paper |
| Modal Semirings Revisited | 2008-08-28 | Paper |
| Latest News about Demonic Algebra with Domain | 2008-05-15 | Paper |
| On the Structure of Demonic Refinement Algebras with Enabledness and Termination | 2008-05-15 | Paper |
| Demonic Algebra with Domain | 2008-04-24 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Describing data flow analysis techniques with Kleene algebra | 2007-03-12 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Kleene under a modal demonic star | 2006-03-16 | Paper |
| Least reflexive points of relations | 2006-02-08 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Mathematics of Program Construction | 2005-08-26 | Paper |
| Relational characterizations of system fault tolerance | 2005-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673439 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329260 | 2002-09-05 | Paper |
| Characterizing determinacy in Kleene algebras | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767186 | 2002-01-28 | Paper |
| Semantic distance between specifications | 2000-10-26 | Paper |
| A calculus of program adaption and its applications | 2000-09-14 | Paper |
| Monomorphic characterization of \(n\)-ary direct products | 2000-08-23 | Paper |
| Unifying program construction and modification | 1998-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362881 | 1998-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362886 | 1997-11-13 | Paper |
| Embedding a demonic semilattice in a relation algebra | 1997-02-28 | Paper |
| A relational calculus for program construction by parts | 1996-07-03 | Paper |
| A relational division operator: The conjugate kernel | 1994-01-19 | Paper |
| On the mathematics of sequential decompositions | 1993-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4015335 | 1993-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823813 | 1988-01-01 | Paper |
| Relational heuristics for the design of deterministic programs | 1987-01-01 | Paper |
| Formal models of stepwise refinements of programs | 1986-01-01 | Paper |
| Strongest invariant functions: Their use in the systematic analysis of while statements | 1985-01-01 | Paper |
