| Publication | Date of Publication | Type |
|---|
| 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 | 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 | 2024-03-05 | 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 | 2023-09-25 | Paper |
| Categorical foundations of gradient-based learning | 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 | 2023-03-22 | Paper |
| String diagram rewrite theory III: Confluence with and without Frobenius | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875350 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875399 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875403 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875361 | 2023-02-03 | Paper |
| String diagram rewrite theory II: Rewriting with symmetric monoidal structure | 2022-12-20 | Paper |
| Model theory of monadic predicate logic with the infinity quantifier | 2022-06-14 | Paper |
| Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals | 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 | 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 |
| Bialgebraic foundations for the operational semantics of string diagrams | 2021-11-25 | Paper |
| A string diagrammatic axiomatisation of finite-state automata | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155681 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989395 | 2021-05-25 | Paper |
| The Logical Essentials of Bayesian Reasoning | 2021-02-16 | Paper |
| Rewriting with Frobenius | 2021-01-20 | Paper |
| A String Diagrammatic Axiomatisation of Finite-State Automata | 2020-09-30 | Paper |
| Contextual equivalence for signal flow graphs | 2020-09-23 | Paper |
| Concurrent Kleene algebra with observations: from hypotheses to completeness | 2020-09-23 | Paper |
| The Power of the Weak | 2020-09-11 | Paper |
| Brzozowski goes concurrent -- a Kleene theorem for pomset languages | 2020-05-27 | Paper |
| A formal semantics of influence in Bayesian reasoning | 2020-05-26 | Paper |
| Causal inference by string diagram surgery | 2020-01-28 | Paper |
| Concurrent Kleene algebra: free model and completeness | 2019-09-13 | Paper |
| Bialgebraic Semantics for String Diagrams | 2019-06-04 | Paper |
| On series-parallel pomset languages: rationality, context-freeness and automata | 2019-03-27 | Paper |
| Causal Inference by String Diagram Surgery | 2018-11-20 | Paper |
| Model Theory of Monadic Predicate Logic with the Infinity Quantifier | 2018-09-10 | Paper |
| Universal constructions for (co)relations: categories, monoidal categories, and props | 2018-09-06 | Paper |
| A universal construction for (co)relations | 2018-08-13 | Paper |
| Interacting Hopf Algebras: the theory of linear systems | 2018-05-04 | Paper |
| Rewriting modulo symmetric monoidal structure | 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 | 2018-04-23 | Paper |
| A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus | 2017-07-03 | Paper |
| Confluence of graph rewriting with interfaces | 2017-05-19 | Paper |
| The calculus of signal flow diagrams. I: Linear relations on streams. | 2016-12-22 | Paper |
| Full abstraction for signal flow graphs | 2016-09-29 | Paper |
| Interacting Hopf algebras | 2016-09-05 | Paper |
| Lawvere categories as composed PROPs | 2016-07-15 | Paper |
| Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure | 2015-11-10 | Paper |
| How to Kill Epsilons with a Dagger | 2015-09-11 | Paper |
| Bialgebraic semantics for logic programming | 2015-04-22 | Paper |
| A categorical semantics of signal flow graphs | 2014-09-15 | Paper |
| Interacting bialgebras are Frobenius | 2014-04-16 | Paper |
| Saturated semantics for coalgebraic logic programming | 2013-09-13 | Paper |
