| 2023 | CSL | Frobenius Structures in Star-Autonomous Categories. | Cdric de Lacroix, Luigi Santocanale |
| 2018 | AiML | Ruitenburg's Theorem via Duality and Bounded Bisimulations. | Silvio Ghilardi, Luigi Santocanale |
| 2018 | FOSSACS | The Equational Theory of the Natural Join and Inner Union is Decidable. | Luigi Santocanale |
| 2017 | CSL | Aleph1 and the Modal mu-Calculus. | Maria Joo Gouveia, Luigi Santocanale |
| 2016 | FOSSACS | Fixed-Point Elimination in the Intuitionistic Propositional Calculus. | Silvio Ghilardi, Maria Joo Gouveia, Luigi Santocanale |
| 2013 | CSL | Cuts for circular proofs: semantics and cut-elimination. | Jrme Fortier, Luigi Santocanale |
| 2010 | AiML | Uniform Interpolation for Monotone Modal Logic. | Luigi Santocanale, Yde Venema |
| 2009 | CSL | On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. | J. Robin B. Cockett, Luigi Santocanale |
| 2008 | LPAR | The Variable Hierarchy for the Lattice -Calculus. | Walid Belkhir, Luigi Santocanale |
| 2007 | CONCUR | A Nice Labelling for Tree-Like Event Structures of Degree 3. | Luigi Santocanale |
| 2007 | LPAR | Completeness for Flat Modal Fixpoint Logics. | Luigi Santocanale, Yde Venema |
| 2005 | LICS | Completions of -algebras. | Luigi Santocanale |
| 2003 | FOSSACS | Ambiguous Classes in the Games -Calculus Hierarchy. | Andr Arnold, Luigi Santocanale |
| 2003 | LPAR | Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. | Silvio Ghilardi, Luigi Santocanale |
| 2002 | FOSSACS | A Calculus of Circular Proofs and Its Categorical Semantics. | Luigi Santocanale |
| 2001 | MFCS | On the Equational Definition of the Least Prefixed Point. | Luigi Santocanale |