Adolfo Piperno

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 3

Top Topics

Weighted Distance

Graph Isomorphism

Top Venues

Math. Struct. Comput. Sci.

Publications

Daniele Gorla, Ivano Salvo, Adolfo Piperno
Conflict vs Causality in Event Structures. EXPRESS/SOS (2019)
Adolfo Piperno
Isomorphism Test for Digraphs with Weighted Edges. SEA (2018)
Stefano Guerrini, Henk Barendrengt, Adolfo Piperno
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. Math. Struct. Comput. Sci. 27 (5) (2017)
Brendan D. McKay, Adolfo Piperno
Practical graph isomorphism, II. J. Symb. Comput. 60 (2014)
Brendan D. McKay, Adolfo Piperno
Practical graph isomorphism, II CoRR (2013)
Adolfo Piperno
Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) CoRR (2008)
Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
Intersection Types and lambda-Definability. Math. Struct. Comput. Sci. 13 (1) (2003)
Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
LICS 2001 special issue. ACM Trans. Comput. Log. 4 (3) (2003)
Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA (2002)
Zurab Khasidashvili, Adolfo Piperno
A syntactical analysis of normalization. J. Log. Comput. 10 (3) (2000)
Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
Some Computational Properties of Intersection Types. LICS (1999)
Adolfo Piperno
An Algebraic View of the Böhm-Out Technique. Theor. Comput. Sci. 212 (1-2) (1999)
Pierluigi Crescenzi, Paolo Penna, Adolfo Piperno
Linear area upward drawings of AVL trees. Comput. Geom. 9 (1-2) (1998)
Zurab Khasidashvili, Adolfo Piperno
Normalization of Typable Terms by Superdevelopments. CSL (1998)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27 (5) (1998)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170 (1-2) (1996)
Adolfo Piperno
Normalization and Extensionality (Extended Abstract) LICS (1995)
Roberto Di Cosmo, Adolfo Piperno
Expanding Extensional Polymorphism. TLCA (1995)
Ugo de'Liguoro, Adolfo Piperno
Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. 122 (2) (1995)
Adolfo Piperno, Simona Ronchi Della Rocca
Type Inference and Extensionality LICS (1994)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Fully Abstract Semantics for Concurrent Lambda-calculus. TACS (1994)
Corrado Böhm, Adolfo Piperno, Stefano Guerrini
Lambda-Definition of Function(al)s by Normal Forms. ESOP (1994)
Pierluigi Crescenzi, Adolfo Piperno
Optimal-Area Upward Drawings of AVL Trees. Graph Drawing (1994)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS (1993)
Pierluigi Crescenzi, Giuseppe Di Battista, Adolfo Piperno
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees. Comput. Geom. 2 (1992)
Ugo de'Liguoro, Adolfo Piperno, Richard Statman
Retracts in simply typed lambda-beta-eta-calculus LICS (1992)
Ugo de'Liguoro, Adolfo Piperno
Must Preorder in Non-Deterministic Untyped Lambda-Calculus. CAAP (1992)
Adolfo Piperno, Enrico Tronci
Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci. 1 (3) (1990)
Adolfo Piperno
Abstraction Problems in Combinatory Logic a Compositive Approach. Theor. Comput. Sci. 66 (1) (1989)
Corrado Böhm, Adolfo Piperno
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus LICS (1988)
Corrado Böhm, Adolfo Piperno
Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL (1987)
Adolfo Piperno
A Compositive Abstraction Algorithm for Combinatory Logic. TAPSOFT, Vol.2 (1987)