Open System Categorical Quantum Semantics in Natural Language Processing. - Robin Piedeleu; Dimitri Kartsaklis; Bob Coecke; Mehrnoosh Sadrzadeh (CALCO, 2015)

Interacting Conceptual Spaces. - Josef Bolt; Bob Coecke; Fabrizio Genovese; Martha Lewis; Daniel Marsden; Robin Piedeleu (SLPCS@QPL, 2016)

Interacting Conceptual Spaces I : Grammatical Composition of Concepts. - Joe Bolt; Bob Coecke; Fabrizio Genovese; Martha Lewis; Dan Marsden; Robin Piedeleu (CoRR, 2017)

Uniqueness of Composition in Quantum Theory and Linguistics. - Bob Coecke; Fabrizio Genovese; Stefano Gogioso; Dan Marsden; Robin Piedeleu (QPL, 2017)

Bialgebraic Semantics for String Diagrams. - Filippo Bonchi; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (CONCUR, 2019)

Graphical Affine Algebra. - Filippo Bonchi; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (LICS, 2019)

Diagrammatic algebra: from linear to concurrent systems. - Filippo Bonchi; Joshua Holland; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (Proc. ACM Program. Lang., 2019)

Contextual Equivalence for Signal Flow Graphs. - Filippo Bonchi; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (FoSSaCS, 2020)

A String Diagrammatic Axiomatisation of Finite-State Automata. - Robin Piedeleu; Fabio Zanasi (FoSSaCS, 2021)

Bialgebraic foundations for the operational semantics of string diagrams. - Filippo Bonchi; Robin Piedeleu; Pawel Sobocinski 001; Fabio Zanasi (Inf. Comput., 2021)

Graphical Piecewise-Linear Algebra. - Guillaume Boisseau; Robin Piedeleu (FoSSaCS, 2022)

A Complete Diagrammatic Calculus for Boolean Satisfiability. - Tao Gu 002; Robin Piedeleu; Fabio Zanasi (MFPS, 2022)

String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. - Aleksandar Milosavljevic; Robin Piedeleu; Fabio Zanasi (CALCO, 2023)

An Introduction to String Diagrams for Computer Scientists. - Robin Piedeleu; Fabio Zanasi (CoRR, 2023)

A Finite Axiomatisation of Finite-State Automata Using String Diagrams. - Robin Piedeleu; Fabio Zanasi (Log. Methods Comput. Sci., 2023)

On Iteration in Discrete Probabilistic Programming. - Mateo Torres-Ruiz; Robin Piedeleu; Alexandra Silva 001; Fabio Zanasi (FSCD, 2024)

Graphical Quadratic Algebra. - Dario Stein; Fabio Zanasi; Richard Samuelson; Robin Piedeleu (CoRR, 2024)

A Complete Diagrammatic Calculus for Automata Simulation. - Thibaut Antoine; Robin Piedeleu; Alexandra Silva 001; Fabio Zanasi (CSL, 2025)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. - Robin Piedeleu; Mateo Torres-Ruiz; Alexandra Silva 001; Fabio Zanasi (ESOP (2), 2025)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure. - Aleksandar Milosavljevic; Robin Piedeleu; Fabio Zanasi (Log. Methods Comput. Sci., 2025)

The Algebra of Parity Games. - Robin Piedeleu (CoRR, 2025)