| No. |
Title |
Author |
Year |
| 1 |
String Diagrammatic Trace Theory |
Earnshaw, Matthew et al. |
2023 |
| 2 |
Regular Monoidal Languages |
Earnshaw, Matthew et al. |
2022 |
| 3 |
Compositional Modelling of Network Games |
Di Lavore, Elena et al. |
2021 |
| 4 |
Diagrammatic Polyhedral Algebra |
Bonchi, Filippo et al. |
2021 |
| 5 |
On Doctrines and Cartesian Bicategories |
Bonchi, Filippo et al. |
2021 |
| 6 |
Bialgebraic Semantics for String Diagrams |
Bonchi, Filippo et al. |
2019 |
| 7 |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) |
Sobocinski, Pawel et al. |
2019 |
| 8 |
The Axiom of Choice in Cartesian Bicategories |
Bonchi, Filippo et al. |
2019 |
| 9 |
Graphical Conjunctive Queries |
Bonchi, Filippo et al. |
2018 |
| 10 |
Rule Algebras for Adhesive Categories |
Behr, Nicolas et al. |
2018 |
| 11 |
Refinement for Signal Flow Graphs |
Bonchi, Filippo et al. |
2017 |
| 12 |
Front Matter, Table of Contents, Preface, List of Authors |
Moss, Lawrence S. et al. |
2015 |
| 13 |
LIPIcs, Volume 35, CALCO'15, Complete Volume |
Moss, Lawrence S. et al. |
2015 |
| 14 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences |
Sobocinski, Pawel |
2005 |
