Alessandro Di Giorgio

21 papers A* 1B 7Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Parametric Iteration in Resource Theories.
CSL
Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2026 B conf
String Diagrams for Closed Symmetric Monoidal Categories.
CSL
Callum Reader, Alessandro Di Giorgio
2025 B conf
A Diagrammatic Algebra for Program Logics.
FoSSaCS
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
A Diagrammatic Basis for Computer Programming.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
Parametric Iteration in Resource Theories.
CoRR
Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2025 B conf
Rewriting for Traced Monoidal Closed Categories.
ICGT
Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
2025 J jnl
String Diagrams for Closed Symmetric Monoidal Categories.
CoRR
Callum Reader, Alessandro Di Giorgio
2025 B conf
Tape Diagrams for Monoidal Monads.
CALCO
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
Tape Diagrams for Monoidal Monads.
CoRR
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
The calculus of neo-Peircean relations.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 J jnl
A Diagrammatic Algebra for Program Logics.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2024 A* conf
Diagrammatic Algebra of First Order Logic.
LICS
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 J jnl
Diagrammatic Algebra of First Order Logic.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 B conf
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.
MFCS
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2024 J jnl
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2023 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
Proc. ACM Program. Lang.
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2022 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2021 — conf
Diagrammatic Polyhedral Algebra.
FSTTCS
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021 J jnl
Diagrammatic Polyhedral Algebra.
CoRR
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021 B conf
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).
CALCO
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
2019 — conf
Backus FP Revisited: A Parallel Perspective on Modern Multicores.
PARCO
Alessandro Di Giorgio, Marco Danelutto