| Publication | Date of Publication | Type |
|---|
| A complete diagrammatic calculus for Boolean satisfiability | 2026-04-02 | Paper |
| Graphical quadratic algebra | 2026-03-20 | Paper |
| On iteration in discrete probabilistic programming | 2026-01-14 | Paper |
| A categorical approach to DIBI models | 2026-01-14 | Paper |
| Graphical affine algebra | 2024-12-19 | Paper |
| String diagram rewriting modulo commutative (co)monoid structure | 2024-11-26 | Paper |
String diagrams for strictification and coherence
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Functorial string diagrams for reverse-mode automatic differentiation | 2024-09-25 | Paper |
| String diagrams for non-strict monoidal categories | 2024-09-25 | Paper |
| A categorical approach to synthetic chemistry | 2024-09-13 | Paper |
| Rewriting for monoidal closed categories | 2024-05-27 | Paper |
String Diagrams for Layered Explanations
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
The cost of compositionality: a high-performance implementation of string diagram composition
(available as arXiv preprint) | 2024-02-13 | Paper |
| The cost of compositionality: a high-performance implementation of string diagram composition | 2024-02-13 | Paper |
| Functorial Semantics as a Unifying Perspective on Logic Programming | 2023-12-08 | Paper |
| From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) | 2023-12-08 | Paper |
| A Categorical Model for Retrosynthetic Reaction Analysis | 2023-11-07 | Paper |
An axiomatic approach to differentiation of polynomial circuits
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
Categorical foundations of gradient-based learning
Programming Languages and Systems | 2023-08-03 | Paper |
| String Diagrams for $\lambda$-calculi and Functional Computation | 2023-05-30 | Paper |
| Data-Parallel Algorithms for String Diagrams | 2023-05-01 | Paper |
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Logical Methods in Computer Science | 2023-03-22 | Paper |
String diagram rewrite theory III: Confluence with and without Frobenius
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
| scientific article; zbMATH DE number 7649893 (Why is no real title available?) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649945 (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 |
| scientific article; zbMATH DE number 7649903 (Why is no real title available?) | 2023-02-03 | Paper |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Model theory of monadic predicate logic with the infinity quantifier
Archive for Mathematical Logic | 2022-06-14 | Paper |
Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
| Hennessy-Milner results for probabilistic PDL | 2022-04-29 | Paper |
| String Diagram Rewriting Modulo Commutative (Co)monoid Structure | 2022-04-08 | Paper |
String diagram rewrite theory. I: Rewriting with Frobenius structure
Journal of the ACM | 2022-03-31 | Paper |
| Categories of Differentiable Polynomial Circuits for Machine Learning | 2022-03-12 | Paper |
| String diagrams for non-strict monoidal categories | 2022-01-27 | Paper |
| Reverse derivative ascent: a categorical approach to learning Boolean circuits | 2022-01-10 | Paper |
Reverse derivative ascent: a categorical approach to learning Boolean circuits
(available as arXiv preprint) | 2022-01-10 | Paper |
Bialgebraic foundations for the operational semantics of string diagrams
Information and Computation | 2021-11-25 | Paper |
A string diagrammatic axiomatisation of finite-state automata
(available as arXiv preprint) | 2021-10-18 | Paper |
scientific article; zbMATH DE number 7407791 (Why is no real title available?)
(available as arXiv preprint) | 2021-10-08 | Paper |
| scientific article; zbMATH DE number 7407791 (Why is no real title available?) | 2021-10-08 | Paper |
scientific article; zbMATH DE number 7350768 (Why is no real title available?)
(available as arXiv preprint) | 2021-05-25 | Paper |
| scientific article; zbMATH DE number 7350768 (Why is no real title available?) | 2021-05-25 | Paper |
The Logical Essentials of Bayesian Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
Rewriting with Frobenius
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
A String Diagrammatic Axiomatisation of Finite-State Automata
(available as arXiv preprint) | 2020-09-30 | Paper |
Contextual equivalence for signal flow graphs
(available as arXiv preprint) | 2020-09-23 | Paper |
Concurrent Kleene algebra with observations: from hypotheses to completeness
(available as arXiv preprint) | 2020-09-23 | Paper |
The Power of the Weak
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Brzozowski goes concurrent -- a Kleene theorem for pomset languages
(available as arXiv preprint) | 2020-05-27 | Paper |
| A formal semantics of influence in Bayesian reasoning | 2020-05-26 | Paper |
Causal inference by string diagram surgery
(available as arXiv preprint) | 2020-01-28 | Paper |
Concurrent Kleene algebra: free model and completeness
(available as arXiv preprint) | 2019-09-13 | Paper |
Bialgebraic Semantics for String Diagrams
(available as arXiv preprint) | 2019-06-04 | Paper |
On series-parallel pomset languages: rationality, context-freeness and automata
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Causal Inference by String Diagram Surgery
(available as arXiv preprint) | 2018-11-20 | Paper |
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
(available as arXiv preprint) | 2018-09-10 | Paper |
Universal constructions for (co)relations: categories, monoidal categories, and props
(available as arXiv preprint) | 2018-09-06 | Paper |
A universal construction for (co)relations
(available as arXiv preprint) | 2018-08-13 | Paper |
| Interacting Hopf Algebras: the theory of linear systems | 2018-05-04 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| The algebra of partial equivalence relations | 2018-04-23 | Paper |
| A predicate/state transformer semantics for Bayesian learning | 2018-04-23 | Paper |
Weak MSO: automata and expressiveness modulo bisimilarity
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 |
A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Confluence of graph rewriting with interfaces
Programming Languages and Systems | 2017-05-19 | Paper |
The calculus of signal flow diagrams. I: Linear relations on streams.
Information and Computation | 2016-12-22 | Paper |
Full abstraction for signal flow graphs
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Lawvere categories as composed PROPs
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
Theoretical Computer Science | 2015-11-10 | Paper |
How to Kill Epsilons with a Dagger
Advanced Information Systems Engineering | 2015-09-11 | Paper |
Bialgebraic semantics for logic programming
Logical Methods in Computer Science | 2015-04-22 | Paper |
A categorical semantics of signal flow graphs
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Interacting bialgebras are Frobenius
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Saturated semantics for coalgebraic logic programming
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
