| Publication | Date of Publication | Type |
|---|
| Monoidal Width: Capturing Rank Width | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6153336 | 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/Q5875361 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875399 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5150076 | 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 | 2014-01-10 | Paper |
| General Reversibility | 2013-12-13 | Paper |
| Connector algebras for C/E and P/T nets' interactions | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848079 | 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 |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q3397630 | 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 |
