| 2025 | CSL | A Strictly Linear Subatomic Proof System. | Victoria Barrett, Alessio Guglielmi, Benjamin Ralph |
| 2025 | LICS | Proof Compression via Subatomic Logic and Guarded Substitutions. | Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straburger |
| 2017 | CSL | Removing Cycles from Proofs. | Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph |
| 2010 | LICS | Breaking Paths in Atomic Flows for Classical Logic. | Alessio Guglielmi, Tom Gundersen, Lutz Straburger |
| 2010 | LPAR | A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. | Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot |
| 2003 | ICLP | A Tutorial on Proof Theoretic Foundations of Logic Programming. | Paola Bruscoli, Alessio Guglielmi |
| 2003 | LPAR | On Structuring Proof Search for First Order Linear Logic. | Paola Bruscoli, Alessio Guglielmi |
| 2002 | LPAR | A Non-commutative Extension of MELL. | Alessio Guglielmi, Lutz Straburger |
| 2001 | CSL | Non-commutativity and MELL in the Calculus of Structures. | Alessio Guglielmi, Lutz Straburger |
| 1994 | ICLP | Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. | Alessio Guglielmi |
| 1993 | ICLP | Chemical Logic Programming? | Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi |