Backus FP Revisited: A Parallel Perspective on Modern Multicores. - Alessandro Di Giorgio 002; Marco Danelutto (PARCO, 2019)

From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). - Filippo Bonchi; Alessandro Di Giorgio 002; Fabio Zanasi (CALCO, 2021)

Diagrammatic Polyhedral Algebra. - Filippo Bonchi; Alessandro Di Giorgio 002; Pawel Sobocinski 001 (FSTTCS, 2021)

Diagrammatic Polyhedral Algebra. - Guillaume Boisseau; Filippo Bonchi; Alessandro Di Giorgio 002; Pawel Sobocinski 001 (CoRR, 2021)

Deconstructing the Calculus of Relations with Tape Diagrams. - Filippo Bonchi; Alessandro Di Giorgio 002; Alessio Santamaria (Proc. ACM Program. Lang., 2023)

Diagrammatic Algebra of First Order Logic. - Filippo Bonchi; Alessandro Di Giorgio 002; Nathan Haydon; Pawel Sobocinski 001 (LICS, 2024)

When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. - Filippo Bonchi; Alessandro Di Giorgio 002; Davide Trotta (MFCS, 2024)

Tape Diagrams for Monoidal Monads. - Filippo Bonchi; Cipriano Junior Cioffo; Alessandro Di Giorgio 002; Elena Di Lavore (CALCO, 2025)

A Diagrammatic Algebra for Program Logics. - Filippo Bonchi; Alessandro Di Giorgio 002; Elena Di Lavore (FoSSaCS, 2025)

Rewriting for Traced Monoidal Closed Categories. - Alessandro Di Giorgio 002; Dan R. Ghica; Fabio Zanasi (ICGT, 2025)

The calculus of neo-Peircean relations. - Filippo Bonchi; Alessandro Di Giorgio 002; Nathan Haydon; Pawel Sobocinski 001 (CoRR, 2025)