| Publication | Date of Publication | Type |
|---|
| Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis | 2024-08-20 | Paper |
| Imperative process algebra with abstraction | 2024-08-15 | Paper |
| Program algebra for random access machine programs | 2024-08-15 | Paper |
| Belnap-Dunn logic and query answering in inconsistent databases with null values | 2024-08-15 | Paper |
| Imperative process algebra and models of parallel computation | 2024-07-29 | Paper |
| Paraconsistent logic and query answering in inconsistent databases | 2024-03-20 | Paper |
| Program Algebra for Turing-Machine Programs | 2022-07-19 | Paper |
| Probabilistic Process Algebra and Strategic Interleaving | 2022-07-19 | Paper |
| Using Hoare Logic in a Process Algebra Setting | 2021-11-15 | Paper |
| On the strongest three-valued paraconsistent logic contained in classical logic and its dual | 2021-04-09 | Paper |
| A short introduction to program algebra with instructions for Boolean registers | 2020-11-02 | Paper |
| A classical-logic view of a paraconsistent logic | 2020-08-17 | Paper |
| On the complexity of the correctness problem for non-zeroness test instruction sequences | 2019-11-22 | Paper |
| Process algebra with strategic interleaving | 2019-06-27 | Paper |
| Probabilistic Thread Algebra | 2019-02-08 | Paper |
| On Instruction Sets for Boolean Registers in Program Algebra | 2019-02-08 | Paper |
| Instruction Sequence Based Non-uniform Complexity Classes | 2019-02-08 | Paper |
| Axioms for Behavioural Congruence of Single-Pass Instruction Sequences | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621154 | 2019-02-08 | Paper |
| Indirect Jumps Improve Instruction Sequence Performance | 2019-02-08 | Paper |
| Timed Tuplix Calculus and the Wesseling and van den Bergh Equation | 2019-02-08 | Paper |
| A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences | 2019-02-08 | Paper |
| Instruction Sequences Expressing Multiplication Algorithms | 2019-02-08 | Paper |
| Contradiction-Tolerant Process Algebra with Propositional Signals | 2018-01-05 | Paper |
| Instruction Sequence Size Complexity of Parity | 2017-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185842 | 2016-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185843 | 2016-08-05 | Paper |
| Transformation of fractions into simple fractions in divisive meadows | 2016-06-30 | Paper |
| On algorithmic equivalence of instruction sequences for computing bit string functions | 2016-04-28 | Paper |
| Division by zero in non-involutive meadows | 2015-03-24 | Paper |
| Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting | 2014-04-25 | Paper |
| Parallel processes with implicit computational capital | 2014-01-17 | Paper |
| A process calculus with finitary comprehended terms | 2013-12-02 | Paper |
| On the Behaviours Produced by Instruction Sequences under Execution | 2013-01-14 | Paper |
| On the expressiveness of single-pass instruction sequences | 2012-12-06 | Paper |
| Instruction sequence processing operators | 2012-10-15 | Paper |
| Instruction sequences for computer science. | 2012-08-20 | Paper |
| Inversive meadows and divisive meadows | 2012-05-23 | Paper |
| Thread algebra for poly-threading | 2011-10-18 | Paper |
| Data Linkage Dynamics with Shedding | 2011-05-18 | Paper |
| An Interface Group for Process Components | 2010-10-01 | Paper |
| A thread calculus with molecular dynamics | 2010-08-18 | Paper |
| On the operating unit size of load/store architectures | 2010-06-02 | Paper |
| Instruction Sequences with Dynamically Instantiated Instructions | 2010-02-05 | Paper |
| Machine structure oriented control code logic | 2009-10-02 | Paper |
| Partial Komori fields and imperative Komori fields | 2009-09-29 | Paper |
| Transmission Protocols for Instruction Streams | 2009-08-20 | Paper |
| Program algebra with a jump-shift instruction | 2008-12-11 | Paper |
| Maurer computers for pipelined instruction processing | 2008-04-10 | Paper |
| Simulating Turing machines on Maurer machines | 2008-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431926 | 2008-01-02 | Paper |
| Synchronous cooperation for explicit multi-threading | 2007-12-10 | Paper |
| Thread algebra for strategic interleaving | 2007-11-28 | Paper |
| A thread algebra with multi-level strategic interleaving | 2007-09-06 | Paper |
| Preferential choice and coordination conditions | 2007-02-09 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Splitting bisimulations and retrospective conditions | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480652 | 2006-08-03 | Paper |
| Continuity controlled hybrid automata | 2006-04-28 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Process algebra for hybrid systems | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825707 | 2004-11-05 | Paper |
| Discrete time process algebra and the semantics of SDL | 2003-09-30 | Paper |
| An alternative formulation of operational conservativity with binding terms. | 2003-08-13 | Paper |
| Revisiting timing in process algebra. | 2003-06-25 | Paper |
| Algebra of timed frames | 2002-12-19 | Paper |
| Process algebra with timing | 2002-11-17 | Paper |
| Real time process algebra with time-dependent conditions | 2002-09-11 | Paper |
| Process algebra with timing: Real time and discrete time | 2002-03-21 | Paper |
| Variable binding operators in transition system specifications | 2001-10-21 | Paper |
| Network algebra for asynchronous dataflow∗ | 1998-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4321288 | 1995-01-22 | Paper |
| Modular structuring of VDM specifications in VVSL | 1992-06-28 | Paper |
| A conventional expansion of first-order Belnap-Dunn logic | N/A | Paper |
| The interdefinability of expansions of Belnap-Dunn logic | N/A | Paper |
