| Publication | Date of Publication | Type |
|---|
| Logical models of mathematical texts: the case of conventions for division by zero. | 2025-01-13 | Paper |
| A survey of testing for instruction sequence theory | 2024-08-15 | Paper |
| Which arithmetical data types admit fracterm flattening? | 2024-08-15 | Paper |
| Four notions of fault for program specifications | 2024-08-15 | Paper |
| Symmetric transrationals: the data type and the algorithmic degree of its equational theory | 2023-07-26 | Paper |
| Eager Equality for Rational Number Arithmetic | 2023-07-18 | Paper |
| Bounded stacks, bags and queues | 2023-05-17 | Paper |
| Discrete time process algebra with abstraction | 2022-12-09 | Paper |
| Processes with multiple entries and exits | 2022-12-09 | Paper |
| Partial arithmetical data types of rational numbers and their equational specification | 2022-08-26 | Paper |
| Adams Conditioning and Likelihood Ratio Transfer Mediated Inference | 2022-07-19 | Paper |
| Program Algebra for Turing-Machine Programs | 2022-07-19 | Paper |
| Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers | 2022-07-19 | Paper |
| Instruction Sequence Faults with Formal Change Justification | 2022-07-19 | Paper |
| Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation | 2022-07-19 | Paper |
| Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent | 2022-07-19 | Paper |
| Non-commutative propositional logic with short-circuit evaluation | 2022-03-03 | Paper |
| Using Hoare Logic in a Process Algebra Setting | 2021-11-15 | Paper |
| The wheel of rational numbers as an abstract data type | 2021-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856421 | 2021-03-26 | Paper |
| A short introduction to program algebra with instructions for Boolean registers | 2020-11-02 | Paper |
| Quantitative expressiveness of instruction sequence classes for computation on single bit registers | 2020-11-02 | Paper |
| Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation | 2020-09-18 | 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 |
| On the complexity of the correctness problem for non-zeroness test instruction sequences | 2019-11-22 | Paper |
| A negative result on algebraic specifications of the meadow of rational numbers | 2019-07-24 | Paper |
| Process algebra with strategic interleaving | 2019-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621131 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621136 | 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 |
| Instruction Sequence Based Non-uniform Complexity Classes | 2019-02-08 | Paper |
| Probabilistic Thread Algebra | 2019-02-08 | Paper |
| On Instruction Sets for Boolean Registers in Program Algebra | 2019-02-08 | Paper |
| A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences | 2019-02-08 | Paper |
| Subvarieties of the Variety of Meadows | 2019-02-08 | Paper |
| Axioms for Behavioural Congruence of Single-Pass Instruction Sequences | 2019-02-08 | Paper |
| Instruction Sequences Expressing Multiplication Algorithms | 2019-02-08 | Paper |
| Note on paraconsistency and reasoning about fractions | 2018-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4584897 | 2018-09-04 | Paper |
| Contradiction-Tolerant Process Algebra with Propositional Signals | 2018-01-05 | Paper |
| Instruction Sequence Size Complexity of Parity | 2017-11-09 | Paper |
| Universality of Univariate Mixed Fractions in Divisive Meadows | 2017-07-03 | Paper |
| Equational Axioms for Expected Value Operators | 2016-09-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 |
| Fracpairs and fractions over a reduced commutative ring | 2016-06-20 | Paper |
| Kleene's three-valued logic and process algebra | 2016-06-09 | Paper |
| On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions | 2016-04-28 | Paper |
| Evaluation Trees for Proposition Algebra | 2015-11-04 | Paper |
| Register-machine based processes | 2015-10-30 | Paper |
| Proposition algebra | 2015-09-17 | Paper |
| Division by Zero in Common Meadows | 2015-06-22 | Paper |
| Equations for formally real meadows | 2015-05-15 | 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 contribution of backward jumps to instruction sequence expressiveness | 2012-12-06 | 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 |
| Proposition Algebra and Short-Circuit Logic | 2012-06-29 | Paper |
| Inversive meadows and divisive meadows | 2012-05-23 | Paper |
| Thread algebra for poly-threading | 2011-10-18 | Paper |
| A calculus for four-valued sequential logic | 2011-07-07 | Paper |
| Straight-line instruction sequence completeness for total calculation on cancellation meadows | 2011-05-25 | Paper |
| Data Linkage Dynamics with Shedding | 2011-05-18 | Paper |
| On Hoare-McCarthy algebras | 2010-12-22 | Paper |
| Short-circuit logic | 2010-10-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 |
| An upper bound for the equational specification of finite state services | 2009-12-04 | 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 |
| Division safe calculation in totalised fields | 2009-05-08 | Paper |
| Meadows and the equational specification of division | 2009-03-25 | Paper |
| Skew Meadows | 2009-01-07 | Paper |
| The rational numbers as an abstract data type | 2008-12-21 | Paper |
| Program algebra with a jump-shift instruction | 2008-12-11 | Paper |
| Differential Meadows | 2008-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457378 | 2008-04-14 | Paper |
| Maurer computers for pipelined instruction processing | 2008-04-10 | Paper |
| Simulating Turing machines on Maurer machines | 2008-04-07 | Paper |
| Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
| Fields, Meadows and Abstract Data Types | 2008-03-25 | 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 |
| Elementary Algebraic Specifications of the Rational Complex Numbers | 2007-09-07 | Paper |
| A thread algebra with multi-level strategic interleaving | 2007-09-06 | 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 |
| 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 |
| Polarized process algebra with reactive composition | 2005-11-01 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Process algebra for hybrid systems | 2005-06-10 | Paper |
| Network algebra in Java | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825707 | 2004-11-05 | Paper |
| Branching time and orthogonal bisimulation equivalence | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449159 | 2004-02-08 | Paper |
| Process algebra with four-valued logic | 2004-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760255 | 2003-09-30 | Paper |
| Program algebra for sequential code | 2003-02-13 | Paper |
| Combining programs and state machines | 2003-02-13 | Paper |
| Molecular dynamics | 2003-02-13 | Paper |
| Algebra of timed frames | 2002-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550552 | 2002-08-25 | Paper |
| Process algebra and conditional composition | 2002-07-25 | Paper |
| Linear time and branching time semantics for recursion with merge | 2002-05-13 | Paper |
| Non-regular iterators in process algebra | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760242 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752047 | 2001-10-21 | 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/Q4518413 | 2000-11-28 | Paper |
| Program algebra for component code | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503951 | 2000-09-14 | Paper |
| On sequential composition, action prefixes and process prefix | 2000-08-14 | Paper |
| Real space process algebra | 2000-08-02 | Paper |
| The discrete time TOOLBUS. -- A software coordination architecture | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223007 | 1999-01-07 | Paper |
| Process algebra with propositional signals | 1998-07-23 | Paper |
| Network algebra for asynchronous dataflow∗ | 1998-03-04 | Paper |
| Equational specifications, complete term rewriting systems, and computable and semicomputable algebras | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890705 | 1996-08-25 | Paper |
| A propositional logic with 4 values: true, false, divergent and meaningless | 1996-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865611 | 1996-07-17 | Paper |
| Discrete time process algebra | 1996-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865612 | 1996-04-22 | Paper |
| Axiomatizing probabilistic processes: ACP with generative probabilities | 1996-01-22 | Paper |
| Logic of transition systems | 1995-09-26 | Paper |
| Homomorphism preserving algebraic specifications require hidden sorts | 1995-08-01 | Paper |
| The data type variety of stack algebras | 1995-05-30 | Paper |
| Bisimulation is two-way simulation | 1995-02-09 | Paper |
| Which data types have \(\omega\)-complete initial algebra specifications? | 1994-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284236 | 1994-03-24 | Paper |
| Decidability of bisimulation equivalence for process generating context-free languages | 1993-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029584 | 1993-03-28 | Paper |
| UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY | 1992-06-28 | Paper |
| Recursive process definitions with the state operator | 1991-01-01 | Paper |
| Real time process algebra | 1991-01-01 | Paper |
| Module algebra | 1990-01-01 | Paper |
| Term-rewriting systems with rule priorities | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490964 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733426 | 1989-01-01 | Paper |
| Global renaming operators in concrete process algebra | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792231 | 1988-01-01 | Paper |
| Readies and Failures in the Algebra of Communicating Processes | 1988-01-01 | Paper |
| On the consistency of Koomen's fair abstraction rule | 1987-01-01 | Paper |
| Algebraic specifications of computable and semicomputable data types | 1987-01-01 | Paper |
| Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774929 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776607 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805891 | 1987-01-01 | Paper |
| Conditional rewrite rules: Confluence and termination | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028334 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727367 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742698 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727412 | 1986-01-01 | Paper |
| Algebra of communicating processes with abstraction | 1985-01-01 | Paper |
| Top-down design and the algebra of communicating processes | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3702500 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186720 | 1984-01-01 | Paper |
| Proving program inclusion using Hoare's logic | 1984-01-01 | Paper |
| The axiomatic semantics of programs based on Hoare's logic | 1984-01-01 | Paper |
| Hoare's logic for programming languages with two data types | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217583 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330491 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678664 | 1984-01-01 | Paper |
| Process algebra for synchronous communication | 1984-01-01 | Paper |
| Hoare's logic and Peano's arithmetic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3042376 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657410 | 1983-01-01 | Paper |
| Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664413 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666247 | 1983-01-01 | Paper |
| A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
| A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
| Two theorems about the completeness of Hoare's logic | 1982-01-01 | Paper |
| Expressiveness and the completeness of Hoare's logic | 1982-01-01 | Paper |
| Floyd's principle, correctness theories and program equivalence | 1982-01-01 | Paper |
| Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs | 1982-01-01 | Paper |
| On the elimination of iteration quantifiers in a fragment of algorithmic logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3327706 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340122 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341873 | 1982-01-01 | Paper |
| The completeness of the algebraic specification methods for computable data types | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674616 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3935453 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939218 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3951525 | 1982-01-01 | Paper |
| Another incompleteness result for Hoare's logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4741695 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186716 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904041 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904042 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912001 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917477 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919061 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919062 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919067 | 1981-01-01 | Paper |
| Small specifications for large finite data structures | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929011 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948575 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948578 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3951524 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960142 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739904 | 1981-01-01 | Paper |
| Invertible terms in the lambda calculus | 1980-01-01 | Paper |
| Discourse between processes | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854600 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854601 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3860822 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868737 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878740 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878741 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3881903 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883473 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893286 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893287 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896478 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3938490 | 1980-01-01 | Paper |
| Recursive assertions are not enough - or are they? | 1979-01-01 | Paper |
| Church-Rosser strategies in the lambda calculus | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208066 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851588 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851592 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853107 | 1979-01-01 | Paper |
| Effective Transformations on Probabilistic Data | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906395 | 1979-01-01 | Paper |
| Recursion theory on processes | 1979-01-01 | Paper |
| Degrees of partial functions | 1978-01-01 | Paper |
| What is an abstract datatype? | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164793 | 1978-01-01 | Paper |
| Degrees of sensible lambda theories | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138116 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182476 | 1976-01-01 | Paper |
