| Publication | Date of Publication | Type |
|---|
| Algebraic graph derivations for graphical calculi | 2024-06-05 | Paper |
| scientific article; zbMATH DE number 7450012 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450012 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| A simple parallel implementation of interaction nets in Haskell | 2021-12-03 | Paper |
A simple parallel implementation of interaction nets in Haskell
(available as arXiv preprint) | 2021-12-03 | Paper |
| Dependently-typed formalisation of typed term graphs | 2021-03-03 | Paper |
Dependently-typed formalisation of typed term graphs
(available as arXiv preprint) | 2021-03-03 | Paper |
Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
Journal of Logical and Algebraic Methods in Programming | 2020-11-09 | Paper |
| Finite limits and anti-unification in substitution categories | 2020-06-08 | Paper |
| A flexible categorial formalisation of term graphs as directed hypergraphs | 2020-06-08 | Paper |
Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
Relational and Algebraic Methods in Computer Science | 2018-11-08 | Paper |
| CalcCheck: a proof checker for teaching the ``Logical approach to discrete math | 2018-10-04 | Paper |
An Optimized Cell BE Special Function Library Generated by Coconut
IEEE Transactions on Computers | 2017-08-08 | Paper |
Allegories and collagories for transformation of graph structures considered as coalgebras
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Mechanised relation-algebraic order theory in ordered categories without meets
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Categories of coalgebras with monadic homomorphisms
Advanced Information Systems Engineering | 2015-09-11 | Paper |
Towards ``mouldable code via nested code graph transformation
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
A mechanised abstract formalisation of concept lattices
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Towards certifiable implementation of graph transformation via relation categories
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
Certified Programs and Proofs | 2011-11-22 | Paper |
Collagories: relation-algebraic reasoning for gluing constructions
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Dependently-typed formalisation of relation-algebraic abstractions
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Determinisation of relational substitutions in ordered categories with domain
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Amalgamating pushout and pullback graph transformation in collagories
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Collagories for relational adhesive rewriting
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Bimonadic Semantics for Basic Pattern Matching Calculi
Lecture Notes in Computer Science | 2009-04-02 | Paper |
| Synthesizing and verifying multicore parallelism in categories of nested code graphs | 2009-03-09 | Paper |
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Determinisation of Relational Substitutions in Ordered Categories with Domain
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 1953883 (Why is no real title available?) | 2003-07-28 | Paper |
Parallel composition and decomposition of specifications
Information Sciences | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1390250 (Why is no real title available?) | 2002-02-17 | Paper |
Declarative term graph attribution for program generation
Journal of Universal Computer Science | 2001-05-13 | Paper |
Relational matching for graphical calculi of relations
Information Sciences | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1262795 (Why is no real title available?) | 1999-03-15 | Paper |
Relational treatment of term graphs with bound variables
Logic Journal of the IGPL | 1998-07-27 | Paper |
| scientific article; zbMATH DE number 1086641 (Why is no real title available?) | 1998-01-12 | Paper |
