| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 0 | 0.34 | 2022 |
| From Farkas' Lemma to Linear Programming - an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). | 0 | 0.34 | 2021 |
| A String Diagrammatic Axiomatisation of Finite-State Automata | 0 | 0.34 | 2021 |
| Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness | 0 | 0.34 | 2020 |
| The Power of the Weak | 0 | 0.34 | 2020 |
| Contextual Equivalence for Signal Flow Graphs | 0 | 0.34 | 2020 |
| Bialgebraic Semantics for String Diagrams. | 0 | 0.34 | 2019 |
| CARTOGRAPHER - A Tool for String Diagrammatic Reasoning (Tool Paper). | 0 | 0.34 | 2019 |
| Model theory of monadic predicate logic with the infinity quantifier | 0 | 0.34 | 2018 |
| Deconstructing Lawvere with distributive laws. | 0 | 0.34 | 2018 |
| Interacting Hopf Algebras- the Theory of Linear Systems | 7 | 0.82 | 2018 |
| Concurrent Kleene Algebra: Free Model and Completeness. | 1 | 0.36 | 2018 |
| The Logical Essentials of Bayesian Reasoning. | 3 | 0.50 | 2018 |
| Rewriting with Frobenius. | 0 | 0.34 | 2018 |
| A Universal Construction for (Co)Relations. | 1 | 0.37 | 2017 |
| A Formal Semantics of Influence in Bayesian Reasoning. | 1 | 0.38 | 2017 |
| Confluence of Graph Rewriting with Interfaces. | 1 | 0.35 | 2017 |
| The Algebra of Partial Equivalence Relations. | 2 | 0.42 | 2016 |
| Rewriting modulo symmetric monoidal structure. | 10 | 0.61 | 2016 |
| Lawvere Categories As Composed Props | 3 | 0.47 | 2016 |
| A Predicate/State Transformer Semantics for Bayesian Learning. | 9 | 0.69 | 2016 |
| Full Abstraction for Signal Flow Graphs | 25 | 1.01 | 2015 |
| Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. | 1 | 0.35 | 2015 |
| A Categorical Semantics of Signal Flow Graphs. | 17 | 0.94 | 2014 |
| Weak MSO: automata and expressiveness modulo bisimilarity | 4 | 0.43 | 2014 |
| Interacting Bialgebras Are Frobenius. | 6 | 0.56 | 2014 |
| How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. | 3 | 0.38 | 2014 |
| Interacting Hopf algebras | 5 | 0.57 | 2014 |
| A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus | 4 | 0.46 | 2013 |
| Saturated Semantics for Coalgebraic Logic Programming. | 7 | 0.52 | 2013 |
