| Publication | Date of Publication | Type |
|---|
| Graphical affine algebra | 2024-12-19 | Paper |
| String diagrammatic trace theory | 2024-12-03 | Paper |
| Regular monoidal languages | 2024-08-06 | Paper |
| Regular planar monoidal languages | 2024-06-25 | Paper |
| Monoidal Width: Capturing Rank Width | 2024-03-05 | Paper |
| String diagrammatic electrical circuit theory | 2024-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187057 | 2024-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061668 | 2023-12-08 | Paper |
| Monoidal Width | 2023-10-23 | Paper |
| String Diagrammatic Trace Theory | 2023-06-28 | Paper |
| String diagram rewrite theory III: Confluence with and without Frobenius | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875356 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875399 | 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 |
| Compositional Diagrammatic First-Order Logic | 2022-12-07 | Paper |
| Regular Monoidal Languages | 2022-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079733 | 2022-05-28 | Paper |
| Graphical Conjunctive Queries. | 2022-05-28 | Paper |
| String diagram rewrite theory. I: Rewriting with Frobenius structure | 2022-03-31 | Paper |
| Monoidal Width: Unifying Tree Width, Path Width and Branch Width | 2022-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013817 | 2021-12-02 | Paper |
| Bialgebraic foundations for the operational semantics of string diagrams | 2021-11-25 | Paper |
| Calculational proofs in relational graphical linear algebra | 2021-07-08 | Paper |
| A non-interleaving process calculus for multi-party synchronisation | 2021-02-09 | Paper |
| Rewriting with Frobenius | 2021-01-20 | Paper |
| Functorial Semantics for Partial Theories | 2020-11-12 | Paper |
| Span(Graph): a Canonical Feedback Algebra of Open Transition Systems | 2020-10-20 | Paper |
| Contextual equivalence for signal flow graphs | 2020-09-23 | Paper |
| Rule algebras for adhesive categories | 2020-07-30 | Paper |
| Compositional modelling of network games | 2020-06-05 | Paper |
| Refinement for signal flow graphs | 2020-05-27 | Paper |
| Cartesian bicategories with choice | 2020-03-20 | Paper |
| Bialgebraic Semantics for String Diagrams | 2019-06-04 | Paper |
| Monoidal multiplexing | 2018-11-23 | Paper |
| A categorical approach to open and interconnected dynamical systems | 2018-04-23 | Paper |
| Rewriting modulo symmetric monoidal structure | 2018-04-23 | Paper |
| Functorial Semantics for Relational Theories | 2017-11-23 | 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 |
| Towards compositional graph theory | 2016-12-16 | Paper |
| Full abstraction for signal flow graphs | 2016-09-29 | Paper |
| Interacting Hopf algebras | 2016-09-05 | Paper |
| Processes and unfoldings: concurrent computations in adhesive categories | 2016-07-26 | Paper |
| Lawvere categories as composed PROPs | 2016-07-15 | Paper |
| Compositional reachability in Petri nets | 2015-10-28 | Paper |
| Relational presheaves, change of base and weak simulation | 2015-04-28 | Paper |
| Transformation and refinement of rigid structures | 2014-09-26 | Paper |
| A categorical semantics of signal flow graphs | 2014-09-15 | Paper |
| A programming language for spatial distribution of net systems | 2014-07-08 | Paper |
| Making the unobservable, unobservable | 2014-06-27 | Paper |
| Interacting bialgebras are Frobenius | 2014-04-16 | Paper |
| A well-behaved LTS for the pi-calculus (abstract) | 2014-01-10 | Paper |
| General reversibility | 2013-12-13 | Paper |
| Connector algebras for C/E and P/T nets' interactions | 2013-09-26 | Paper |
| A congruence for Petri nets | 2013-09-25 | Paper |
| Nets, relations and linking diagrams | 2013-09-13 | Paper |
| Deriving bisimulation congruences: a 2-categorical approach | 2013-08-15 | Paper |
| Relational presheaves as labelled transition systems | 2012-09-20 | Paper |
| Van Kampen colimits as bicolimits in Span | 2012-06-01 | Paper |
| Unfolding Grammars in Adhesive Categories | 2012-06-01 | Paper |
| \textsc{WiCcA}: LTS generation tool for wire calculus | 2011-09-02 | Paper |
| Adhesivity is not enough: local Church-Rosser revisited | 2011-08-17 | Paper |
| Being Van Kampen is a universal property | 2011-05-26 | Paper |
| Deriving structural labelled transitions for mobile ambients | 2010-10-07 | Paper |
| Representations of Petri net interactions | 2010-08-31 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Deriving labelled transition systems -- a structural approach | 2009-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396010 | 2009-09-15 | Paper |
| Quasitoposes, Quasiadhesive Categories and Artin Glueing | 2009-03-10 | Paper |
| Toposes Are Adhesive | 2008-11-27 | Paper |
| Deriving Structural Labelled Transitions for Mobile Ambients | 2008-11-25 | Paper |
| Subobject transformation systems | 2008-07-30 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Semantic Barbs and Biorthogonality | 2007-09-07 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Adhesive and quasiadhesive categories | 2005-09-01 | Paper |
| Locating reaction with 2-categories | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457841 | 2004-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417873 | 2003-07-30 | Paper |
| String Diagrams for Premonoidal Categories | N/A | Paper |
| Diagrammatic Algebra of First Order Logic | N/A | Paper |
