| Publication | Date of Publication | Type |
|---|
| Algebraic reasoning over relational structures | 2026-04-02 | Paper |
| Positive data languages | 2024-12-03 | Paper |
| Higher-order mathematical operational semantics (early ideas) | 2024-11-26 | Paper |
| Nominal topology for data languages | 2024-11-14 | Paper |
| Monoidal extended stone duality | 2024-10-30 | Paper |
| Logical predicates in higher-order mathematical operational semantics | 2024-10-30 | Paper |
| Stateful structural operational semantics | 2024-05-27 | Paper |
Eilenberg's variety theorem without Boolean operations
Information and Computation | 2024-02-02 | Paper |
Nominal Büchi Automata with Name Allocation
(available as arXiv preprint) | 2023-08-21 | Paper |
Syntactic Minimization Of Nondeterministic Finite Automata.
(available as arXiv preprint) | 2023-08-08 | Paper |
Reiterman’s Theorem on Finite Algebras for a Monad
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
Coalgebraic semantics for nominal automata
(available as arXiv preprint) | 2022-12-07 | Paper |
| Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
scientific article; zbMATH DE number 7561623 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
On the behaviour of coalgebras with side effects and algebras with effectful iteration
Journal Of Logic And Computation | 2021-10-21 | Paper |
Nondeterministic syntactic complexity
(available as arXiv preprint) | 2021-10-18 | Paper |
On language varieties without Boolean operations
(available as arXiv preprint) | 2021-10-04 | Paper |
Automata Learning
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| scientific article; zbMATH DE number 7204669 (Why is no real title available?) | 2020-05-27 | Paper |
Eilenberg Theorems for Free
(available as arXiv preprint) | 2020-05-26 | Paper |
Equational axiomatization of algebras with structure
(available as arXiv preprint) | 2020-01-28 | Paper |
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
(available as arXiv preprint) | 2019-11-14 | Paper |
Generalized Eilenberg theorem. Varieties of languages in a category
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| On algebras with effectful iteration | 2018-10-23 | Paper |
| Finite behaviours and finitary corecursion | 2018-08-13 | Paper |
A categorical approach to syntactic monoids
(available as arXiv preprint) | 2018-05-30 | Paper |
Varieties of Languages in a Category
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Syntactic monoids in a category
(available as arXiv preprint) | 2017-07-11 | Paper |
A fibrational approach to automata theory
(available as arXiv preprint) | 2017-07-11 | Paper |
Schützenberger products in a category
Developments in Language Theory | 2016-08-30 | Paper |
Profinite monads, profinite equations, and Reiterman's theorem
Lecture Notes in Computer Science | 2016-06-10 | Paper |
| On continuous nondeterminism and state minimality | 2016-05-13 | Paper |
Coalgebraic constructions of canonical nondeterministic automata
Theoretical Computer Science | 2015-11-10 | Paper |
Canonical nondeterministic automata
Advanced Information Systems Engineering | 2015-09-11 | Paper |
On finitary functors and their presentations
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Generalized Eilenberg theorem. I: Local varieties of languages
Lecture Notes in Computer Science | 2014-04-16 | Paper |
A characterisation of NL/poly via nondeterministic finite automata
Descriptional Complexity of Formal Systems | 2013-08-09 | Paper |
