| Publication | Date of Publication | Type |
|---|
| Initial algebras unchained -- a novel initial algebra construction formalized in Agda | 2025-06-18 | Paper |
| Bisimilar states in uncertain structures | 2024-11-26 | Paper |
| Action codes | 2024-11-14 | Paper |
| Supported sets -- a new foundation for nominal sets and automata | 2024-09-25 | Paper |
| Generic partition refinement and weighted tree automata | 2024-03-14 | Paper |
| A new approach for active automata learning based on apartness | 2024-01-23 | Paper |
| scientific article; zbMATH DE number 7774250 (Why is no real title available?) | 2023-12-08 | Paper |
Weighted and branching bisimilarities from generalized open maps
Lecture Notes in Computer Science | 2023-11-24 | Paper |
scientific article; zbMATH DE number 7730634 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
State identification and verification with satisfaction
Lecture Notes in Computer Science | 2023-07-26 | Paper |
scientific article; zbMATH DE number 7700633 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-23 | Paper |
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Logical Methods in Computer Science | 2023-01-09 | Paper |
Minimality Notions via Factorization Systems and Examples
Logical Methods in Computer Science | 2022-10-06 | Paper |
From generic partition refinement to weighted tree automata minimization
Formal Aspects of Computing | 2021-09-14 | Paper |
| Minimality Notions via Factorization Systems | 2021-06-14 | Paper |
Efficient Coalgebraic Partition Refinement
(available as arXiv preprint) | 2020-05-27 | Paper |
A new foundation for finitary corecursion and iterative algebras
Information and Computation | 2020-03-12 | Paper |
A coalgebraic view on reachability
Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
Efficient and modular coalgebraic partition refinement
(available as arXiv preprint) | 2020-02-05 | Paper |
Path category for free. Open morphisms from coalgebras with non-deterministic branching
(available as arXiv preprint) | 2020-01-28 | Paper |
| On finitary functors | 2019-11-14 | Paper |
On finitary functors
(available as arXiv preprint) | 2019-11-14 | Paper |
| Finitely presentable algebras for finitary monads | 2019-11-14 | Paper |
Finitely presentable algebras for finitary monads
(available as arXiv preprint) | 2019-11-14 | Paper |
A Coalgebraic View on Reachability
(available as arXiv preprint) | 2019-01-30 | Paper |
Predicate liftings and functor presentations in coalgebraic expression languages
(available as arXiv preprint) | 2018-10-23 | Paper |
scientific article; zbMATH DE number 6864542 (Why is no real title available?)
(available as arXiv preprint) | 2018-04-25 | Paper |
Finitary corecursion for the infinitary lambda calculus
(available as arXiv preprint) | 2017-07-11 | Paper |
Nominal automata with name binding
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
Applied Categorical Structures | 2016-10-20 | Paper |
A new foundation for finitary corecursion. The locally finite fixpoint and its properties
Lecture Notes in Computer Science | 2016-06-10 | Paper |
| A New Foundation for Finitary Corecursion | 2016-01-07 | Paper |
