Alessandro Di Giorgio

According to our database, Alessandro Di Giorgio authored at least 11 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The calculus of neo-Peircean relations.

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

CoRR, May, 2025

Rewriting for Traced Monoidal Closed Categories.

Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi

Proceedings of the Graph Transformation - 18th International Conference, 2025

A Diagrammatic Algebra for Program Logics.

Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore

Proceedings of the Foundations of Software Science and Computation Structures, 2025

Tape Diagrams for Monoidal Monads.

Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.

Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Diagrammatic Algebra of First Order Logic.

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Deconstructing the Calculus of Relations with Tape Diagrams.

Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria

Proc. ACM Program. Lang., January, 2023

2021

Diagrammatic Polyhedral Algebra.

Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski

CoRR, 2021

Diagrammatic Polyhedral Algebra.

Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).

Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2019

Backus FP Revisited: A Parallel Perspective on Modern Multicores.

Alessandro Di Giorgio, Marco Danelutto

Proceedings of the Parallel Computing: Technology Trends, 2019