| 2003 | VMCAI | Properties of a Type Abstract Interpreter. | Roberta Gori, Giorgio Levi |
| 2002 | VMCAI | An Experiment in Type Inference and Verification by Abstract Interpretation. | Roberta Gori, Giorgio Levi |
| 2001 | LPAR | How to Transform an Analyzer into a Verifier. | Marco Comini, Roberta Gori, Giorgio Levi |
| 2000 | PEPM | Non Pair-Sharing and Freeness Analysis Through Linear Refinement. | Giorgio Levi, Fausto Spoto |
| 2000 | SAS | Abstract Interpretation Based Semantics of Sequent Calculi. | Gianluca Amato, Giorgio Levi |
| 1999 | PPDP | On the Verification of Finite Failure. | Roberta Gori, Giorgio Levi |
| 1994 | ICLP | Abstracting Synchronization in Concurrent Constraint Programming. | Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi |
| 1994 | LOPSTR | Abstract Debugging of Logic Program. | Marco Comini, Giorgio Levi, Giuliana Vitiello |
| 1993 | ICLP | Chemical Logic Programming? | Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi |
| 1993 | ICLP | A Formalization of Metaprogramming for real. | Giorgio Levi, Davide Ramundo |
| 1993 | POPL | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | ICLP | Observational Equivalences for Logic Programs. | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | LPAR | A Two Steps Semantics for Logic Programs with Negation. | Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
| 1992 | POPL | Modeling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1992 | SAS | Static Analysis of CLP Programs over Numeric Domains. | Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi |
| 1991 | ICALP | On the Semantics of Logic Programs. | Maurizio Gabbrielli, Giorgio Levi |
| 1991 | ICLP | An OR-Compositional Semantics for Logic Programs. | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1991 | ICLP | Modeling Answer Constraints in Constraint Logic Programs. | Maurizio Gabbrielli, Giorgio Levi |
| 1991 | ICLP | On the Semantics of Logic Programs. | Giorgio Levi |
| 1991 | SAS | Modelling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1988 | ICLP | Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. | Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre |
| 1988 | ICLP | A New Declarative Semantics for Logic Languages. | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
| 1988 | ICLP | Models, Unfolding Rules and Fixpoint Semantics. | Giorgio Levi |
| 1987 | ICLP | An Approach to the Declarative Semantics of Synchronization in Logic Languages. | Giorgio Levi, Catuscia Palamidessi |
| 1983 | ICLP | On Compiling Prolog Programs on Demand Driven Architectures. | Marco Bellia, Giorgio Levi, Maurizio Martelli |
| 1983 | ICLP | On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. | Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |
| 1982 | ICLP | Toward an Inductionless Technique for Proving Properties of Logic Programs. | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi |
| 1979 | ICSE | A Flexible Environment for Program Development Based on a Symbolic Interpreter. | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini |
| 1975 | GI | Pattern Matching and Call by Pattern. | Giorgio Levi, Franco Sirovich |
| 1975 | IJCAI | A Problem Reduction Model for Non-Independent Subproblems. | Giorgio Levi, Franco Sirovich |
| 1975 | MFCS | Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. | Giorgio Levi, Franco Sirovich |