| Publication | Date of Publication | Type |
|---|
| Non-commutative propositional logic with short-circuit evaluation | 2022-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856421 | 2021-03-26 | Paper |
| Arithmetical datatypes with true fractions | 2020-05-26 | Paper |
| Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) | 2020-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621131 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621136 | 2019-02-08 | Paper |
| An independent axiomatisation for free short-circuit logic | 2018-09-17 | Paper |
| Fracpairs and fractions over a reduced commutative ring | 2016-06-20 | Paper |
| Kleene's three-valued logic and process algebra | 2016-06-09 | Paper |
| Evaluation Trees for Proposition Algebra | 2015-11-04 | Paper |
| Register-machine based processes | 2015-10-30 | Paper |
| Proposition algebra | 2015-09-17 | Paper |
| A Generalization of ACP Using Belnap's Logic | 2015-07-10 | Paper |
| Division by Zero in Common Meadows | 2015-06-22 | Paper |
| Equations for formally real meadows | 2015-05-15 | Paper |
| Proposition Algebra and Short-Circuit Logic | 2012-06-29 | Paper |
| On Hoare-McCarthy algebras | 2010-12-22 | Paper |
| Short-circuit logic | 2010-10-18 | Paper |
| Risk assessment for one-counter threads | 2009-05-08 | Paper |
| Differential Meadows | 2008-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457378 | 2008-04-14 | Paper |
| Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
| Belnap's logic and conditional composition | 2007-12-18 | Paper |
| Decision problems for pushdown threads | 2007-06-07 | Paper |
| Execution architectures for program algebra | 2007-05-18 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| A generalization of ACP using Belnap's logic | 2007-02-09 | Paper |
| Branching time and orthogonal bisimulation equivalence | 2004-10-27 | Paper |
| Process algebra with four-valued logic | 2004-01-13 | Paper |
| Program algebra with unit instruction operators | 2003-02-13 | Paper |
| Combining programs and state machines | 2003-02-13 | Paper |
| Process algebra and conditional composition | 2002-07-25 | Paper |
| Equivalence of recursive specifications in process algebra | 2002-07-25 | Paper |
| Linearization in parallel pCRL | 2002-07-22 | Paper |
| Non-regular iterators in process algebra | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760242 | 2001-12-18 | Paper |
| Bochvar-McCarthy logic and process algebra | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525274 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503951 | 2000-09-14 | Paper |
| Two finite specifications of a queue | 1998-07-23 | Paper |
| Computable processes and bisimulation equivalence | 1996-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312484 | 1994-11-29 | Paper |
| Process algebra with guards: Combining hoare logic with process algebra | 1994-06-29 | Paper |
| Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule | 1992-06-28 | Paper |
