| 2026 | FSCD | Groups and Inverse Semigroups in Lambda Calculus. | Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra |
| 2016 | LICS | Factor Varieties and Symbolic Computation. | Antonino Salibra, Giulio Manzonetto, Giordano Favro |
| 2012 | CSL | On the equational consistency of order-theoretic models of the lambda-calculus. | Alberto Carraro, Antonino Salibra |
| 2012 | MFCS | Scott Is Always Simple. | Antonino Salibra |
| 2010 | CSL | Exponentials with Infinite Multiplicities. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2010 | MFCS | Resource Combinatory Algebras. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2009 | LICS | Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. | Alberto Carraro, Antonino Salibra |
| 2008 | MFCS | From lambda-Calculus to Universal Algebra and Back. | Giulio Manzonetto, Antonino Salibra |
| 2007 | CSL | Lambda Theories of Effective Lambda Models. | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
| 2006 | LICS | Boolean Algebras for Lambda Calculus. | Giulio Manzonetto, Antonino Salibra |
| 2004 | LICS | The Sensible Graph Theories of Lambda Calculus. | Antonio Bucciarelli, Antonino Salibra |
| 2003 | MFCS | The Minimal Graph Model of Lambda Calculus. | Antonio Bucciarelli, Antonino Salibra |
| 2001 | LICS | A Continuum of Theories of Lambda Calculus without Semantics. | Antonino Salibra |
| 1993 | MFCS | A Representation Theorem for Lambda Abstraction Algebras. | Don Pigozzi, Antonino Salibra |
| 1991 | COMPASS | A Soft Stairway to Institutions. | Antonino Salibra, Giuseppe Scollo |
| 1990 | MFCS | Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. | Vincenzo Manca, Antonino Salibra |
| 1989 | MFCS | On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). | Vincenzo Manca, Antonino Salibra, Giuseppe Scollo |