| Publication | Date of Publication | Type |
|---|
| Diagrammatic algebra of first order logic | 2025-06-18 | Paper |
String diagrams for premonoidal categories
Logical Methods in Computer Science | 2025-05-06 | Paper |
| 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
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
Monoidal Width: Capturing Rank Width
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
String diagrammatic electrical circuit theory
(available as arXiv preprint) | 2024-02-13 | Paper |
| String diagrammatic electrical circuit theory | 2024-02-13 | Paper |
scientific article; zbMATH DE number 7799618 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-05 | Paper |
scientific article; zbMATH DE number 7774236 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
Monoidal Width
Logical Methods in Computer Science | 2023-10-23 | Paper |
| String Diagrammatic Trace Theory | 2023-06-28 | Paper |
String diagram rewrite theory III: Confluence with and without Frobenius
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
| scientific article; zbMATH DE number 7649898 (Why is no real title available?) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649945 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7649903 (Why is no real title available?) | 2023-02-03 | Paper |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Compositional Diagrammatic First-Order Logic
1514.03021 | 2022-12-07 | Paper |
| Regular Monoidal Languages | 2022-07-01 | Paper |
| scientific article; zbMATH DE number 7533336 (Why is no real title available?) | 2022-05-28 | Paper |
Graphical Conjunctive Queries.
(available as arXiv preprint) | 2022-05-28 | Paper |
String diagram rewrite theory. I: Rewriting with Frobenius structure
Journal of the ACM | 2022-03-31 | Paper |
| Monoidal Width: Unifying Tree Width, Path Width and Branch Width | 2022-02-15 | Paper |
| scientific article; zbMATH DE number 7438162 (Why is no real title available?) | 2021-12-02 | Paper |
scientific article; zbMATH DE number 7438162 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-02 | Paper |
Bialgebraic foundations for the operational semantics of string diagrams
Information and Computation | 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
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 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
(available as arXiv preprint) | 2020-09-23 | Paper |
Rule algebras for adhesive categories
(available as arXiv preprint) | 2020-07-30 | 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
(available as arXiv preprint) | 2019-06-04 | Paper |
| Monoidal multiplexing | 2018-11-23 | Paper |
A categorical approach to open and interconnected dynamical systems
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A categorical approach to open and interconnected dynamical systems
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Functorial Semantics for Relational Theories | 2017-11-23 | Paper |
Confluence of graph rewriting with interfaces
Programming Languages and Systems | 2017-05-19 | Paper |
The calculus of signal flow diagrams. I: Linear relations on streams.
Information and Computation | 2016-12-22 | Paper |
Towards compositional graph theory
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Full abstraction for signal flow graphs
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Interacting Hopf algebras
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Processes and unfoldings: concurrent computations in adhesive categories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Lawvere categories as composed PROPs
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Compositional reachability in Petri nets
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Relational presheaves, change of base and weak simulation
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Transformation and refinement of rigid structures
Graph Transformation | 2014-09-26 | Paper |
A categorical semantics of signal flow graphs
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
A programming language for spatial distribution of net systems
Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
Making the unobservable, unobservable
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Interacting bialgebras are Frobenius
Lecture Notes in Computer Science | 2014-04-16 | Paper |
A well-behaved LTS for the pi-calculus (abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
General reversibility
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Connector algebras for C/E and P/T nets' interactions
Logical Methods in Computer Science | 2013-09-26 | Paper |
| A congruence for Petri nets | 2013-09-25 | Paper |
Nets, relations and linking diagrams
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Deriving bisimulation congruences: a 2-categorical approach
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Relational presheaves as labelled transition systems
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Van Kampen colimits as bicolimits in Span
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Unfolding Grammars in Adhesive Categories
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
\textsc{WiCcA}: LTS generation tool for wire calculus
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Adhesivity is not enough: local Church-Rosser revisited
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Being Van Kampen is a universal property
Logical Methods in Computer Science | 2011-05-26 | Paper |
Deriving structural labelled transitions for mobile ambients
Information and Computation | 2010-10-07 | Paper |
Representations of Petri net interactions
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
| Deriving labelled transition systems -- a structural approach | 2009-09-22 | Paper |
| scientific article; zbMATH DE number 5604126 (Why is no real title available?) | 2009-09-15 | Paper |
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Toposes Are Adhesive
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Subobject transformation systems
Applied Categorical Structures | 2008-07-30 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Semantic Barbs and Biorthogonality
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Adhesive and quasiadhesive categories
RAIRO - Theoretical Informatics and Applications | 2005-09-01 | Paper |
Adhesive and quasiadhesive categories
RAIRO - Theoretical Informatics and Applications | 2005-09-01 | Paper |
Adhesive and quasiadhesive categories
RAIRO - Theoretical Informatics and Applications | 2005-09-01 | Paper |
Locating reaction with 2-categories
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2059571 (Why is no real title available?) | 2004-03-17 | Paper |
| scientific article; zbMATH DE number 1956527 (Why is no real title available?) | 2003-07-30 | Paper |
String Diagrams for Premonoidal Categories
(available as arXiv preprint) | N/A | Paper |
Diagrammatic Algebra of First Order Logic
(available as arXiv preprint) | N/A | Paper |
