| Publication | Date of Publication | Type |
|---|
Dialectica Petri Nets
(available as arXiv preprint) | N/A | Paper |
| Order in partial Markov categories | 2026-08-11 | Paper |
| Effectful mealy machines: coalgebraic and causal traces (invited talk) | 2026-07-16 | Paper |
| Tape diagrams for monoidal monads | 2026-07-16 | Paper |
| Strong induction is an up-to technique | 2026-06-09 | Paper |
| Compositional modelling of network games | 2026-03-23 | Paper |
| Evidential decision theory via partial Markov categories | 2026-02-27 | Paper |
Dialectica Petri nets
Fundamenta Informaticae | 2026-01-22 | Paper |
The Magmoid of Normalized Stochastic Kernels
(available as arXiv preprint) | 2026-01-01 | Paper |
| A diagrammatic algebra for program logics | 2025-12-04 | Paper |
Coinductive streams in monoidal categories
Logical Methods in Computer Science | 2025-09-25 | Paper |
Partial Markov Categories
(available as arXiv preprint) | 2025-01-01 | Paper |
Tape Diagrams for Monoidal Monads
(available as arXiv preprint) | 2025-01-01 | Paper |
Timing via Pinwheel Double Categories
(available as arXiv preprint) | 2025-01-01 | Paper |
| Monoidal streams for dataflow programming | 2024-12-06 | Paper |
Monoidal Width: Capturing Rank Width
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Effectful Mealy Machines: Bisimulation and Trace
(available as arXiv preprint) | 2024-01-01 | Paper |
Monoidal Width
Logical Methods in Computer Science | 2023-10-23 | Paper |
| Evidential Decision Theory via Partial Markov Categories | 2023-01-30 | Paper |
| Coinductive Streams in Monoidal Categories | 2022-12-29 | Paper |
| Monoidal Width: Unifying Tree Width, Path Width and Branch Width | 2022-02-15 | Paper |
| Monoidal Streams for Dataflow Programming | 2022-02-04 | Paper |
scientific article; zbMATH DE number 7454911 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454911 (Why is no real title available?) | 2022-01-10 | Paper |
Monoidal Width: Unifying Tree Width, Path Width and Branch Width
(available as arXiv preprint) | 2022-01-01 | Paper |
| Span(Graph): a Canonical Feedback Algebra of Open Transition Systems | 2020-10-20 | Paper |
| Compositional modelling of network games | 2020-06-05 | Paper |
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
(available as arXiv preprint) | 2020-01-01 | Paper |
