| Publication | Date of Publication | Type |
|---|
| On difunctions | 2023-08-08 | Paper |
| Categorical fixed point calculus | 2022-12-16 | Paper |
| Components and acyclicity of graphs. An exercise in combining precision with concision | 2021-11-24 | Paper |
| An analysis of repeated graph search | 2020-05-05 | Paper |
| Factor theory and the unity of opposites | 2016-12-15 | Paper |
| Pair algebras and Galois connections. | 2016-06-09 | Paper |
| First-past-the-post games | 2012-09-05 | Paper |
| Algorithmic problem solving | 2011-10-19 | Paper |
| On Euclid's algorithm and elementary number theory | 2011-02-21 | Paper |
| The algorithmics of solitaire-like games | 2010-07-26 | Paper |
| Generic properties of datatypes. | 2010-03-09 | Paper |
| Datatype-generic termination proofs | 2009-05-08 | Paper |
| Exercises in Quantifier Manipulation | 2009-04-02 | Paper |
| Recounting the Rationals: Twice! | 2008-08-28 | Paper |
| The Capacity-C Torch Problem | 2008-08-28 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Regular algebra applied to language problems | 2006-03-16 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Safety of abstract interpretations for free, via logical relations and Galois connections | 2004-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808686 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738112 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738114 | 2004-08-11 | Paper |
| The associativity of equivalence and the Towers of Hanoi problem | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763668 | 2002-01-21 | Paper |
| Final Dialgebras: From Categories to Allegories | 2000-05-11 | Paper |
| A calculational approach to mathematical induction | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362972 | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362885 | 1997-11-13 | Paper |
| Reductivity | 1996-09-11 | Paper |
| Demonic operators and monotype factors | 1994-10-19 | Paper |
| Calculating path algorithms | 1994-07-21 | Paper |
| Relational programming laws in the tree, list, bag, set hierarchy | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281661 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993054 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971279 | 1992-06-25 | Paper |
| Do-it-yourself type theory | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4730750 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823124 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823123 | 1988-01-01 | Paper |
| A While-rule in Martin-Lof's Theory of Types | 1987-01-01 | Paper |
| Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667930 | 1983-01-01 | Paper |
| An alternative implementation of an insertion-only recovery technique | 1982-01-01 | Paper |
| A comparison of gaussian and gauss-jordan elimination in regular algebra | 1982-01-01 | Paper |
| Locally Least-Cost Error Recovery in Earley's Algorithm | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3862436 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124349 | 1977-01-01 | Paper |
| An alternative approach to the improvement of LR(k) parsers | 1976-01-01 | Paper |
| Regular Algebra Applied to Path-finding Problems | 1975-01-01 | Paper |
