Surjectivity for Finite Sets of Combinators by Weak Reduction. - Corrado Böhm; Adolfo Piperno (CSL, 1987)

A Compositive Abstraction Algorithm for Combinatory Logic. - Adolfo Piperno (TAPSOFT, Vol.2, 1987)

Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus - Corrado Böhm; Adolfo Piperno (LICS, 1988)

Abstraction Problems in Combinatory Logic a Compositive Approach. - Adolfo Piperno (Theor. Comput. Sci., 1989)

Regular Systems in lambda-Calculus. - Adolfo Piperno; Enrico Tronci (Int. J. Found. Comput. Sci., 1990)

Must Preorder in Non-Deterministic Untyped Lambda-Calculus. - Ugo de'Liguoro; Adolfo Piperno (CAAP, 1992)

Retracts in simply typed lambda-beta-eta-calculus - Ugo de'Liguoro; Adolfo Piperno; Richard Statman (LICS, 1992)

A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees. - Pierluigi Crescenzi; Giuseppe Di Battista; Adolfo Piperno (Comput. Geom., 1992)

Filter Models for a Parallel and Non Deterministic Lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (MFCS, 1993)

Lambda-Definition of Function(al)s by Normal Forms. - Corrado Böhm; Adolfo Piperno; Stefano Guerrini (ESOP, 1994)

Optimal-Area Upward Drawings of AVL Trees. - Pierluigi Crescenzi; Adolfo Piperno (GD, 1994)

Type Inference and Extensionality - Adolfo Piperno; Simona Ronchi Della Rocca (LICS, 1994)

Fully Abstract Semantics for Concurrent Lambda-calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (TACS, 1994)

Normalization and Extensionality (Extended Abstract) - Adolfo Piperno (LICS, 1995)

Expanding Extensional Polymorphism. - Roberto Di Cosmo; Adolfo Piperno (TLCA, 1995)

Non Deterministic Extensions of Untyped Lambda-Calculus. - Ugo de'Liguoro; Adolfo Piperno (Inf. Comput., 1995)

Filter Models for Conjunctive-Disjunctive lambda-Calculi. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (Theor. Comput. Sci., 1996)

Normalization of Typable Terms by Superdevelopments. - Zurab Khasidashvili; Adolfo Piperno (CSL, 1998)

Linear area upward drawings of AVL trees. - Pierluigi Crescenzi; Paolo Penna; Adolfo Piperno (Comput. Geom., 1998)

A Filter Model for Concurrent lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (SIAM J. Comput., 1998)

Some Computational Properties of Intersection Types. - Antonio Bucciarelli; Silvia De Lorenzis; Adolfo Piperno; Ivano Salvo (LICS, 1999)

An Algebraic View of the Böhm-Out Technique. - Adolfo Piperno (Theor. Comput. Sci., 1999)

A syntactical analysis of normalization. - Zurab Khasidashvili; Adolfo Piperno (J. Log. Comput., 2000)

Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. - Richard Kennaway; Zurab Khasidashvili; Adolfo Piperno (RTA, 2002)

Intersection Types and lambda-Definability. - Antonio Bucciarelli; Adolfo Piperno; Ivano Salvo (Math. Struct. Comput. Sci., 2003)

LICS 2001 special issue. - Erich Grädel; Joseph Y. Halpern; Radha Jagadeesan; Adolfo Piperno (ACM Trans. Comput. Log., 2003)

Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) - Adolfo Piperno (CoRR, 2008)

Practical graph isomorphism, II. - Brendan D. McKay; Adolfo Piperno (J. Symb. Comput., 2014)

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. - Stefano Guerrini; Henk Barendrengt; Adolfo Piperno (Math. Struct. Comput. Sci., 2017)

Isomorphism Test for Digraphs with Weighted Edges. - Adolfo Piperno (SEA, 2018)

Conflict vs Causality in Event Structures. - Daniele Gorla; Ivano Salvo; Adolfo Piperno (EXPRESS/SOS, 2019)