Alessandro Di Giorgio

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

Collaborative distances:

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

2024

A Diagrammatic Algebra for Program Logics.

Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore

CoRR, 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