| No. |
Title |
Author |
Year |
| 1 |
Diagrammatic Polyhedral Algebra |
Bonchi, Filippo et al. |
2021 |
| 2 |
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) |
Bonchi, Filippo et al. |
2021 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bonchi, Filippo et al. |
2021 |
| 4 |
LIPIcs, Volume 202, MFCS 2021, Complete Volume |
Bonchi, Filippo et al. |
2021 |
| 5 |
On Doctrines and Cartesian Bicategories |
Bonchi, Filippo et al. |
2021 |
| 6 |
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls) |
Bonchi, Filippo et al. |
2021 |
| 7 |
Bialgebraic Semantics for String Diagrams |
Bonchi, Filippo 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 |
Up-To Techniques for Behavioural Metrics via Fibrations |
Bonchi, Filippo et al. |
2018 |
| 11 |
Front Matter, Table of Contents, Preface, List of Authors |
Bonchi, Filippo et al. |
2017 |
| 12 |
LIPIcs, Volume 72, CALCO'17, Complete Volume |
Bonchi, Filippo et al. |
2017 |
| 13 |
Refinement for Signal Flow Graphs |
Bonchi, Filippo et al. |
2017 |
| 14 |
The Power of Convex Algebras |
Bonchi, Filippo et al. |
2017 |
| 15 |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
Bonchi, Filippo et al. |
2015 |
| 16 |
Towards Trace Metrics via Functor Lifting |
Baldan, Paolo et al. |
2015 |
| 17 |
Behavioral Metrics via Functor Lifting |
Baldan, Paolo et al. |
2014 |
| 18 |
Generalizing the powerset construction, coalgebraically |
Silva, Alexandra et al. |
2010 |
