Adolfo Piperno

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