| Publication | Date of Publication | Type |
|---|
| Guarded Kleene algebra with tests: automata learning | 2026-04-02 | Paper |
| Canonical automata via distributive law homomorphisms | 2024-12-17 | Paper |
| Generators and bases for monadic closures | 2024-11-26 | Paper |
Symbolic register automata
Computer Aided Verification | 2024-02-16 | Paper |
| Compositional automata learning of synchronous systems | 2023-11-24 | Paper |
| scientific article; zbMATH DE number 7650339 (Why is no real title available?) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649889 (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 |
Algebras for tree decomposable graphs
Graph Transformation | 2022-09-01 | Paper |
| scientific article; zbMATH DE number 7559500 (Why is no real title available?) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7471718 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471718 (Why is no real title available?) | 2022-02-09 | Paper |
Categorical specification and implementation of replicated data types
Theoretical Computer Science | 2022-02-01 | Paper |
| Implementation correctness for replicated data types, categorically | 2021-07-08 | Paper |
| SDN-actors: modeling and verification of SDN programs | 2021-05-04 | Paper |
Actor-based model checking for software-defined networks
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Actor-based model checking for software-defined networks
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| Learning automata with side-effects | 2021-02-22 | Paper |
CALF: categorical automata learning framework
(available as arXiv preprint) | 2020-05-26 | Paper |
A (co)algebraic theory of succinct automata
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Decomposition structures for soft constraint evaluation problems: an algebraic approach | 2018-04-04 | Paper |
Learning nominal automata
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Network-conscious \(\pi\)-calculus -- a model of Pastry | 2016-08-01 | Paper |
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
A class of automata for the verification of infinite, resource-allocating behaviours
Trustworthy Global Computing | 2016-06-09 | Paper |
Causal trees, finally
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
A coalgebraic semantics for causality in Petri nets
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Revisiting causality, coalgebraically
Acta Informatica | 2015-03-02 | Paper |
A network-conscious \(\pi\)-calculus and its coalgebraic semantics
Theoretical Computer Science | 2014-07-25 | Paper |
