| Publication | Date of Publication | Type |
|---|
| A categorical approach to coalgebraic fixpoint logic | 2025-01-20 | Paper |
| Proving behavioural apartness | 2025-01-20 | Paper |
| On star expressions and completeness theorems | 2024-12-17 | Paper |
| Forward and backward steps in a fibration | 2024-11-26 | Paper |
| Bisimilar states in uncertain structures | 2024-11-26 | Paper |
On tools for completeness of Kleene algebra with hypotheses
Logical Methods in Computer Science | 2024-06-27 | Paper |
| Processes parametrised by an algebraic theory | 2024-06-24 | Paper |
| A new approach for active automata learning based on apartness | 2024-01-23 | Paper |
Preservation and reflection of bisimilarity via invertible steps
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks
Programming Languages and Systems | 2023-08-03 | Paper |
Learning language intersections
Lecture Notes in Computer Science | 2023-07-26 | Paper |
On tools for completeness of Kleene algebra with hypotheses
(available as arXiv preprint) | 2023-03-30 | Paper |
| Expressive Logics for Coinductive Predicates | 2023-02-07 | Paper |
Separation and Renaming in Nominal Sets
(available as arXiv preprint) | 2023-02-07 | Paper |
scientific article; zbMATH DE number 7649889 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649949 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
A categorical framework for learning generalised tree automata
(available as arXiv preprint) | 2022-12-07 | Paper |
| Corecursion up-to via causal transformations | 2022-12-07 | Paper |
Bisimilarity of open terms in stream GSOS
(available as arXiv preprint) | 2022-11-04 | Paper |
Fast computations on ordered nominal sets
Theoretical Computer Science | 2022-10-14 | Paper |
scientific article; zbMATH DE number 7559476 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559448 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7471679 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471679 (Why is no real title available?) | 2022-02-09 | Paper |
| Distributive laws for monotone specifications | 2021-12-08 | Paper |
Distributive laws for monotone specifications
(available as arXiv preprint) | 2021-12-08 | Paper |
Steps and traces
Journal Of Logic And Computation | 2021-10-21 | Paper |
Learning pomset automata
(available as arXiv preprint) | 2021-10-18 | Paper |
| Effectively eliminating auxiliaries | 2021-05-20 | Paper |
| On the specification of operations on the rational behaviour of systems | 2021-04-27 | Paper |
On the specification of operations on the rational behaviour of systems
(available as arXiv preprint) | 2021-04-27 | Paper |
Learning weighted automata over principal ideal domains
(available as arXiv preprint) | 2020-09-23 | Paper |
Up-to techniques for branching bisimilarity
SOFSEM 2020: Theory and Practice of Computer Science | 2020-07-20 | Paper |
Completeness and incompleteness of synchronous Kleene algebra
(available as arXiv preprint) | 2020-05-05 | Paper |
Coalgebra learning via duality
(available as arXiv preprint) | 2020-01-28 | Paper |
Preservation of Equations by Monoidal Monads
(available as arXiv preprint) | 2020-01-17 | Paper |
| scientific article; zbMATH DE number 7149819 (Why is no real title available?) | 2020-01-10 | Paper |
scientific article; zbMATH DE number 7149819 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-10 | Paper |
Distributive laws for monotone specifications
Acta Informatica | 2019-10-17 | Paper |
Companions, causality and codensity
(available as arXiv preprint) | 2019-08-13 | Paper |
Verifying OpenJDK's sort method for generic collections
Journal of Automated Reasoning | 2019-02-15 | Paper |
Fast computations on ordered nominal sets
Theoretical Aspects of Computing – ICTAC 2018 | 2018-11-23 | Paper |
| (In)finite trace equivalence of probabilistic transition systems | 2018-10-23 | Paper |
Steps and traces
(available as arXiv preprint) | 2018-10-23 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| Monoidal company for accessible functors | 2018-08-13 | Paper |
Coinduction up-to in a fibrational setting
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Coalgebraic minimization of automata by initiality and finality | 2018-04-23 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| Lax bialgebras and up-to techniques for weak bisimulations | 2017-09-12 | Paper |
Companions, codensity and causality
Lecture Notes in Computer Science | 2017-05-19 | Paper |
A general account of coinduction up-to
Acta Informatica | 2017-04-20 | Paper |
Coalgebraic trace semantics via forgetful logics
Logical Methods in Computer Science | 2017-04-11 | Paper |
Structural congruence for bialgebraic semantics
Journal of Logical and Algebraic Methods in Programming | 2016-11-07 | Paper |
Duality of equations and coequations via contravariant adjunctions
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
| Rational operational models | 2016-04-12 | Paper |
Proving language inclusion and equivalence by coinduction
Information and Computation | 2015-12-28 | Paper |
Coalgebraic Trace Semantics via Forgetful Logics
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Unbounded allocation in bounded heaps
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Presenting distributive laws
Logical Methods in Computer Science | 2015-08-25 | Paper |
Proof pearl: The KeY to correct and stable sorting
Journal of Automated Reasoning | 2015-06-23 | Paper |
Coalgebraic bisimulation-up-to
Lecture Notes in Computer Science | 2014-11-04 | Paper |
A coalgebraic foundation for coinductive union types
Automata, Languages, and Programming | 2014-07-01 | Paper |
Combining bialgebraic semantics and equations
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Presenting distributive laws
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Bounded model checking of recursive programs with pointers in K
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Coinductive proof techniques for language equivalence
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Automated verification of recursive programs with pointers
Automated Reasoning | 2012-09-05 | Paper |
Composing Codensity Bisimulations
(available as arXiv preprint) | N/A | Paper |
