| 2026 | CSL | A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2026 | ICALP | A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes. | Wojciech Rozowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | CALCO | An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. | Antonio Lorenzin, Fabio Zanasi |
| 2025 | CALCO | String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability. | Ralph Sarkis, Fabio Zanasi |
| 2025 | CSL | A Complete Diagrammatic Calculus for Automata Simulation. | Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | ESOP | A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. | Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi |
| 2025 | ICTAC | Graphical Quadratic Algebra. | Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson |
| 2025 | KR | Categorical Explaining Functors: Ensuring Coherence in Logical Explanations. | Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicol Navarin |
| 2025 | MFCS | Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. | Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi |
| 2024 | FSCD | A Categorical Approach to DIBI Models. | Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi |
| 2024 | FSCD | On Iteration in Discrete Probabilistic Programming. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2024 | ICTAC | Disconnection Rules are Complete for Chemical Reactions. | Ella Gale, Leo Lobski, Fabio Zanasi |
| 2024 | ICTAC | Learning Closed Signal Flow Graphs. | Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi |
| 2023 | CALCO | String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. | Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi |
| 2023 | CSL | String Diagrams for Non-Strict Monoidal Categories. | Paul W. Wilson, Dan R. Ghica, Fabio Zanasi |
| 2023 | CSL | Functorial String Diagrams for Reverse-Mode Automatic Differentiation. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2023 | ICTAC | A Categorical Approach to Synthetic Chemistry. | Ella Gale, Leo Lobski, Fabio Zanasi |
| 2022 | ESOP | Categorical Foundations of Gradient-Based Learning. | Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi |
| 2022 | FSCD | Rewriting for Monoidal Closed Categories. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2021 | CALCO | From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). | Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi |
| 2021 | CALCO | Functorial Semantics as a Unifying Perspective on Logic Programming. | Tao Gu, Fabio Zanasi |
| 2021 | FOSSACS | A String Diagrammatic Axiomatisation of Finite-State Automata. | Robin Piedeleu, Fabio Zanasi |
| 2020 | FOSSACS | Contextual Equivalence for Signal Flow Graphs. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2020 | FOSSACS | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2020 | MFPS | Hennessy-Milner Results for Probabilistic PDL. | Tao Gu, Alexandra Silva, Fabio Zanasi |
| 2019 | CALCO | A Coalgebraic Perspective on Probabilistic Logic Programming. | Tao Gu, Fabio Zanasi |
| 2019 | CALCO | CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). | Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi |
| 2019 | CONCUR | Bialgebraic Semantics for String Diagrams. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | FOSSACS | Causal Inference by String Diagram Surgery. | Bart Jacobs, Aleks Kissinger, Fabio Zanasi |
| 2019 | LICS | Graphical Affine Algebra. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2018 | ESOP | Concurrent Kleene Algebra: Free Model and Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2018 | LICS | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | CALCO | A Universal Construction for (Co)Relations. | Brendan Fong, Fabio Zanasi |
| 2017 | CONCUR | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2017 | ESOP | Confluence of Graph Rewriting with Interfaces. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | MFCS | A Formal Semantics of Influence in Bayesian Reasoning. | Bart Jacobs, Fabio Zanasi |
| 2016 | LICS | Rewriting modulo symmetric monoidal structure. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2015 | POPL | Full Abstraction for Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | CONCUR | A Categorical Semantics of Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | CSL | Weak MSO: automata and expressiveness modulo bisimilarity. | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2014 | FOSSACS | Interacting Bialgebras Are Frobenius. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2013 | CALCO | Saturated Semantics for Coalgebraic Logic Programming. | Filippo Bonchi, Fabio Zanasi |
| 2013 | LICS | A Characterization Theorem for the Alternation-Free Fragment of the Modal -Calculus. | Alessandro Facchini, Yde Venema, Fabio Zanasi |