| 1999 | LICS | Some Computational Properties of Intersection Types. | Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo |
| 1998 | CSL | Normalization of Typable Terms by Superdevelopments. | Zurab Khasidashvili, Adolfo Piperno |
| 1995 | LICS | Normalization and Extensionality (Extended Abstract) | Adolfo Piperno |
| 1994 | ESOP | Lambda-Definition of Function(al)s by Normal Forms. | Corrado Bhm, Adolfo Piperno, Stefano Guerrini |
| 1994 | GD | Optimal-Area Upward Drawings of AVL Trees. | Pierluigi Crescenzi, Adolfo Piperno |
| 1994 | LICS | Type Inference and Extensionality | Adolfo Piperno, Simona Ronchi Della Rocca |
| 1993 | MFCS | Filter Models for a Parallel and Non Deterministic Lambda-Calculus. | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
| 1992 | LICS | Retracts in simply typed lambda-beta-eta-calculus | Ugo de'Liguoro, Adolfo Piperno, Richard Statman |
| 1988 | LICS | Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus | Corrado Bhm, Adolfo Piperno |
| 1987 | CSL | Surjectivity for Finite Sets of Combinators by Weak Reduction. | Corrado Bhm, Adolfo Piperno |