| Publication | Date of Publication | Type |
|---|
On difunctions
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Categorical fixed point calculus
Category Theory and Computer Science | 2022-12-16 | Paper |
Components and acyclicity of graphs. An exercise in combining precision with concision
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
An analysis of repeated graph search
| 2020-05-05 | Paper |
Factor theory and the unity of opposites
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Pair algebras and Galois connections.
Information Processing Letters | 2016-06-09 | Paper |
First-past-the-post games
Lecture Notes in Computer Science | 2012-09-05 | Paper |
Algorithmic problem solving
| 2011-10-19 | Paper |
On Euclid's algorithm and elementary number theory
Science of Computer Programming | 2011-02-21 | Paper |
The algorithmics of solitaire-like games
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Generic properties of datatypes.
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Datatype-generic termination proofs
Theory of Computing Systems | 2009-05-08 | Paper |
Exercises in Quantifier Manipulation
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Recounting the Rationals: Twice!
Lecture Notes in Computer Science | 2008-08-28 | Paper |
The Capacity-C Torch Problem
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Regular algebra applied to language problems
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Safety of abstract interpretations for free, via logical relations and Galois connections
Science of Computer Programming | 2004-10-04 | Paper |
scientific article; zbMATH DE number 2090019 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2087342 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087344 (Why is no real title available?)
| 2004-08-11 | Paper |
The associativity of equivalence and the Towers of Hanoi problem
Information Processing Letters | 2002-07-25 | Paper |
scientific article; zbMATH DE number 1692936 (Why is no real title available?)
| 2002-01-21 | Paper |
Final Dialgebras: From Categories to Allegories
RAIRO - Theoretical Informatics and Applications | 2000-05-11 | Paper |
A calculational approach to mathematical induction
Theoretical Computer Science | 1998-07-22 | Paper |
scientific article; zbMATH DE number 1086722 (Why is no real title available?)
| 1998-03-17 | Paper |
scientific article; zbMATH DE number 1086635 (Why is no real title available?)
| 1997-11-13 | Paper |
Reductivity
Science of Computer Programming | 1996-09-11 | Paper |
Demonic operators and monotype factors
Mathematical Structures in Computer Science | 1994-10-19 | Paper |
Calculating path algorithms
Science of Computer Programming | 1994-07-21 | Paper |
Relational programming laws in the tree, list, bag, set hierarchy
Science of Computer Programming | 1994-07-21 | Paper |
scientific article; zbMATH DE number 512947 (Why is no real title available?)
| 1994-04-07 | Paper |
scientific article; zbMATH DE number 43673 (Why is no real title available?)
| 1992-09-17 | Paper |
scientific article; zbMATH DE number 8790 (Why is no real title available?)
| 1992-06-25 | Paper |
Do-it-yourself type theory
Formal Aspects of Computing | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4115920 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4096760 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4096759 (Why is no real title available?)
| 1988-01-01 | Paper |
A While-rule in Martin-Lof's Theory of Types
The Computer Journal | 1987-01-01 | Paper |
Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3821091 (Why is no real title available?)
| 1983-01-01 | Paper |
An alternative implementation of an insertion-only recovery technique
Acta Informatica | 1982-01-01 | Paper |
A comparison of gaussian and gauss-jordan elimination in regular algebra
International Journal of Computer Mathematics | 1982-01-01 | Paper |
Locally Least-Cost Error Recovery in Earley's Algorithm
ACM Transactions on Programming Languages and Systems | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3664392 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3550201 (Why is no real title available?)
| 1977-01-01 | Paper |
An alternative approach to the improvement of LR(k) parsers
Acta Informatica | 1976-01-01 | Paper |
Regular Algebra Applied to Path-finding Problems
IMA Journal of Applied Mathematics | 1975-01-01 | Paper |
