| Publication | Date of Publication | Type |
|---|
| Single-set cubical categories and their formalisation with a proof assistant | 2024-12-16 | Paper |
| IsaVODEs: Interactive verification of cyber-physical systems at scale | 2024-12-16 | Paper |
| A Kleene theorem for higher-dimensional automata | 2024-08-13 | Paper |
| Determinism of multirelations | 2024-06-25 | Paper |
| Categorical Information Flow | 2024-03-14 | Paper |
| Effect algebras, Girard quantales and complementation in separation logic | 2023-03-30 | Paper |
| \( \ell r\)-multisemigroups, modal quantales and the origin of locality | 2023-03-30 | Paper |
| Catoids and modal convolution algebras | 2023-02-28 | Paper |
| Algebraic coherent confluence and higher globular Kleene algebras | 2023-01-09 | Paper |
| Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL | 2022-08-30 | Paper |
| Generating Posets Beyond N | 2022-08-30 | Paper |
| Convolution and concurrency | 2022-06-24 | Paper |
| Domain Semirings United | 2022-06-14 | Paper |
| Posets with interfaces as a model for concurrency | 2022-06-08 | Paper |
| Languages of higher-dimensional automata | 2022-05-17 | Paper |
| Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL | 2022-03-25 | Paper |
| Trimming the Hedges: An Algebra to Tame Concurrency | 2022-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992527 | 2021-06-09 | Paper |
| lr-Multisemigroups and Modal Convolution Algebras | 2021-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856417 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111642 | 2020-05-27 | Paper |
| Cylindric Kleene lattices for program construction | 2020-05-05 | Paper |
| A calculus of space, time, and causality: its algebra, geometry, logic | 2020-02-18 | Paper |
| Modal Kleene algebra applied to program correctness | 2020-01-03 | Paper |
| Verifying hybrid systems with modal Kleene algebra | 2018-11-08 | Paper |
| Schedulers and finishers: on generating and filtering the behaviours of an event structure | 2018-09-24 | Paper |
| Hoare Semigroups | 2018-05-17 | Paper |
| On the word problem for free lattices | 2017-11-17 | Paper |
| Taming Multirelations | 2017-07-13 | Paper |
| Kleene algebra with domain | 2017-07-12 | Paper |
| Concurrent Dynamic Algebra | 2017-07-12 | Paper |
| Convolution as a Unifying Concept | 2017-07-12 | Paper |
| Kleisli, Parikh and Peleg compositions and liftings for multirelations | 2017-07-04 | Paper |
| A Discrete Geometric Model of Concurrent Program Execution | 2017-04-04 | Paper |
| Probabilistic rely-guarantee calculus | 2017-02-06 | Paper |
| Schedulers and Finishers: On Generating the Behaviours of an Event Structure | 2016-12-21 | Paper |
| Building program construction and verification tools from algebraic principles | 2016-08-04 | Paper |
| Developments in concurrent Kleene algebra | 2016-06-22 | Paper |
| Relational Formalisations of Compositions and Liftings of Multirelations | 2016-01-08 | Paper |
| On the expressive power of Kleene algebra with domain | 2016-01-05 | Paper |
| A Program Construction and Verification Tool for Separation Logic | 2015-08-27 | Paper |
| On the fine-structure of regular algebra | 2015-07-02 | Paper |
| Completeness results for omega-regular algebras | 2015-06-10 | Paper |
| Programming and automating mathematics in the Tarski-Kleene hierarchy | 2014-09-08 | Paper |
| Developments in Concurrent Kleene Algebra | 2014-04-16 | Paper |
| Algebras for Program Correctness in Isabelle/HOL | 2014-04-16 | Paper |
| Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages | 2014-04-16 | Paper |
| Modal Tools for Separation and Refinement | 2014-03-26 | Paper |
| An Event Structure Model for Probabilistic Concurrent Kleene Algebra | 2014-01-17 | Paper |
| Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL | 2013-08-07 | Paper |
| Knuth-Bendix completion for non-symmetric transitive relations | 2013-07-24 | Paper |
| Modelling computing systems. Mathematics for computer science | 2013-07-23 | Paper |
| Left omega algebras and regular equations | 2013-01-16 | Paper |
| Automated Reasoning in Higher-Order Regular Algebra | 2012-09-21 | Paper |
| On Completeness of Omega-Regular Algebras | 2012-09-21 | Paper |
| Automated Analysis of Regular Algebra | 2012-09-05 | Paper |
| Dependently Typed Programming Based on Automated Theorem Proving | 2012-09-05 | Paper |
| On Locality and the Exchange Law for Concurrent Processes | 2011-09-02 | Paper |
| Concurrent Kleene algebra and its foundations | 2011-07-18 | Paper |
| Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL | 2011-06-17 | Paper |
| Omega Algebras and Regular Equations | 2011-06-17 | Paper |
| On Probabilistic Kleene Algebras, Automata and Simulations | 2011-06-17 | Paper |
| Algebraic Notions of Termination | 2011-05-26 | Paper |
| Internal axioms for domain semirings | 2011-02-21 | Paper |
| Algebraic notions of nontermination: Omega and divergence in idempotent semirings | 2010-11-11 | Paper |
| On Automated Program Construction and Verification | 2010-07-26 | Paper |
| Foundations of Concurrent Kleene Algebra | 2009-12-11 | Paper |
| Domain and Antidomain Semigroups | 2009-12-11 | Paper |
| Automated verification of refinement laws | 2009-11-16 | Paper |
| Concurrent Kleene Algebra | 2009-10-22 | Paper |
| Quantales and Temporal Logics | 2009-04-28 | Paper |
| Tableaux for Lattices | 2009-04-28 | Paper |
| Constructing Rewrite-Based Decision Procedures for Embeddings and Termination | 2009-04-02 | Paper |
| Automated Reasoning in Kleene Algebra | 2009-03-06 | Paper |
| Domain Axioms for a Family of Near-Semirings | 2009-01-27 | Paper |
| On Automating the Calculus of Relations | 2008-11-27 | Paper |
| Modal Semirings Revisited | 2008-08-28 | Paper |
| The Structure of the One-Generated Free Domain Semiring | 2008-05-15 | Paper |
| Non-termination in Idempotent Semirings | 2008-05-15 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Algebras of modal operators and partial correctness | 2006-04-06 | Paper |
| Abstract abstract reduction | 2006-03-16 | 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 |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673439 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808739 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415087 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778885 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723902 | 2001-07-08 | Paper |
| Single-set cubical categories and their formalisation with a proof assistant | N/A | Paper |
