| Publication | Date of Publication | Type |
|---|
| On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
| The $$\theta $$-Join as a Join with $$\theta $$ | 2022-08-30 | Paper |
| A Hierarchy of Algebras for Boolean Subsets | 2022-08-30 | Paper |
| Geographic wayfinders and space-time algebra | 2019-06-20 | Paper |
| Assertions and recursions | 2019-01-11 | Paper |
| Algebraic derivation of until rules and application to timer verification | 2018-11-08 | Paper |
| Non-associative Kleene Algebra and Temporal Logics | 2017-07-21 | Paper |
| Kleene algebra with domain | 2017-07-12 | Paper |
| A Discrete Geometric Model of Concurrent Program Execution | 2017-04-04 | Paper |
| Extended feature algebra | 2016-12-15 | Paper |
| Developments in concurrent Kleene algebra | 2016-06-22 | Paper |
| Towards Antichain Algebra | 2016-01-08 | Paper |
| Exploring an Interface Model for CKA | 2015-08-27 | Paper |
| Structured Document Algebra in Action | 2015-06-22 | Paper |
| Extended transitive separation logic | 2015-06-10 | Paper |
| An algebra of database preferences | 2015-06-10 | Paper |
| Modal algebra and Petri nets | 2015-04-16 | Paper |
| Exploring modal worlds | 2014-09-08 | Paper |
| Relational style laws and constructs of linear algebra | 2014-09-08 | Paper |
| Developments in Concurrent Kleene Algebra | 2014-04-16 | Paper |
| Fuzzifying Modal Algebra | 2014-04-16 | Paper |
| Dijkstra, Floyd and Warshall meet Kleene | 2013-03-22 | Paper |
| Transitive Separation Logic | 2012-09-21 | Paper |
| Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming | 2012-09-21 | Paper |
| An Algebra of Layered Complex Preferences | 2012-09-21 | Paper |
| Reverse Exchange for Concurrency and Local Reasoning | 2012-09-05 | Paper |
| An Algebraic Calculus of Database Preferences | 2012-09-05 | Paper |
| On Locality and the Exchange Law for Concurrent Processes | 2011-09-02 | Paper |
| Algebraic separation logic | 2011-07-18 | Paper |
| Concurrent Kleene algebra and its foundations | 2011-07-18 | Paper |
| Fixing Zeno gaps | 2011-07-07 | Paper |
| Building Structured Theories | 2011-06-17 | Paper |
| Algebraic Notions of Termination | 2011-05-26 | Paper |
| Model Refinement Using Bisimulation Quotients | 2011-01-21 | Paper |
| An algebraic foundation for automatic feature-based program synthesis | 2010-08-26 | Paper |
| Normal design algebra | 2010-02-05 | Paper |
| Towards Algebraic Separation Logic | 2009-12-11 | Paper |
| A Semiring Approach to Equivalences, Bisimulations and Control | 2009-12-11 | Paper |
| Foundations of Concurrent Kleene Algebra | 2009-12-11 | Paper |
| Concurrent Kleene Algebra | 2009-10-22 | Paper |
| Quantales and Temporal Logics | 2009-04-28 | Paper |
| The Linear Algebra of UTP | 2009-04-02 | Paper |
| An algebra of hybrid systems | 2009-02-19 | Paper |
| An Algebra for Features and Feature Composition | 2009-01-27 | Paper |
| Circulations, Fuzzy Relations and Semirings | 2008-08-28 | Paper |
| Algebraic neighbourhood logic | 2008-06-19 | Paper |
| Knowledge and Games in Modal Semirings | 2008-05-15 | Paper |
| Lazy Semiring Neighbours and Some Applications | 2008-04-24 | Paper |
| Omega Algebra, Demonic Refinement Algebra and Commands | 2008-04-24 | Paper |
| Modal Design Algebra | 2007-09-14 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Kleene getting lazy | 2007-03-12 | Paper |
| Algebras of modal operators and partial correctness | 2006-04-06 | 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 |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673439 | 2005-04-29 | Paper |
| Characterizing determinacy in Kleene algebras | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767186 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934619 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281673 | 2000-08-14 | Paper |
| Calculating with acyclic and cyclic lists | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4213379 | 1998-11-25 | Paper |
| Shorter paths to graph algorithms | 1994-07-21 | Paper |
| Towards pointer algebra | 1994-01-31 | Paper |
| Formal program construction by transformations-computer-aided, intuition-guided programming | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789048 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809236 | 1988-01-01 | Paper |
| Konstruktion korrekter Programme durch Transformation | 1987-01-01 | Paper |
| Algebraic implementations preserve program correctness | 1986-01-01 | Paper |
| On the algebraic specification of infinite objects - ordered and continuous models of algebraic types | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707383 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666243 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670532 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670531 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680247 | 1982-01-01 | Paper |
| Programming in a wide spectrum language: A collection of examples | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939217 | 1981-01-01 | Paper |
