| Publication | Date of Publication | Type |
|---|
| String Diagrams for Layered Explanations | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6153343 | 2024-02-13 | Paper |
| From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) | 2023-12-08 | Paper |
| Functorial Semantics as a Unifying Perspective on Logic Programming | 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/Q5875361 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875399 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875403 | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5019680 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5111639 | 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 |
| A predicate/state transformer semantics for Bayesian learning | 2018-04-23 | Paper |
| The algebra of partial equivalence relations | 2018-04-23 | Paper |
| Weak MSO | 2018-04-23 | Paper |
| Rewriting modulo symmetric monoidal structure | 2018-04-23 | Paper |
| A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-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 |
