| 2008 |
|---|
| 27 | EE | Adolfo Piperno:
Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version)
CoRR abs/0804.4881: (2008) |
| 2003 |
|---|
| 26 | EE | Erich Grädel,
Joseph Y. Halpern,
Radha Jagadeesan,
Adolfo Piperno:
LICS 2001 special issue.
ACM Trans. Comput. Log. 4(3): 295 (2003) |
| 25 | | Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo:
Intersection Types and lambda-Definability.
Mathematical Structures in Computer Science 13(1): 15-53 (2003) |
| 2002 |
|---|
| 24 | EE | Richard Kennaway,
Zurab Khasidashvili,
Adolfo Piperno:
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
RTA 2002: 51-65 |
| 2000 |
|---|
| 23 | | Zurab Khasidashvili,
Adolfo Piperno:
A syntactical analysis of normalization.
J. Log. Comput. 10(3): 381-410 (2000) |
| 1999 |
|---|
| 22 | EE | Antonio Bucciarelli,
Silvia De Lorenzis,
Adolfo Piperno,
Ivano Salvo:
Some Computational Properties of Intersection Types.
LICS 1999: 109-118 |
| 21 | EE | Adolfo Piperno:
An Algebraic View of the Böhm-Out Technique.
Theor. Comput. Sci. 212(1-2): 233-246 (1999) |
| 1998 |
|---|
| 20 | | Zurab Khasidashvili,
Adolfo Piperno:
Normalization of Typable Terms by Superdevelopments.
CSL 1998: 260-282 |
| 19 | | Pierluigi Crescenzi,
Paolo Penna,
Adolfo Piperno:
Linear area upward drawings of AVL trees.
Comput. Geom. 9(1-2): 25-42 (1998) |
| 18 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput. 27(5): 1376-1419 (1998) |
| 1996 |
|---|
| 17 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci. 170(1-2): 83-128 (1996) |
| 1995 |
|---|
| 16 | | Adolfo Piperno:
Normalization and Extensionality (Extended Abstract)
LICS 1995: 300-310 |
| 15 | | Roberto Di Cosmo,
Adolfo Piperno:
Expanding Extensional Polymorphism.
TLCA 1995: 139-153 |
| 14 | | Ugo de'Liguoro,
Adolfo Piperno:
Non Deterministic Extensions of Untyped Lambda-Calculus.
Inf. Comput. 122(2): 149-177 (1995) |
| 1994 |
|---|
| 13 | | Corrado Böhm,
Adolfo Piperno,
Stefano Guerrini:
Lambda-Definition of Function(al)s by Normal Forms.
ESOP 1994: 135-149 |
| 12 | | Pierluigi Crescenzi,
Adolfo Piperno:
Optimal-Area Upward Drawings of AVL Trees.
Graph Drawing 1994: 307-317 |
| 11 | | Adolfo Piperno,
Simona Ronchi Della Rocca:
Type Inference and Extensionality
LICS 1994: 196-205 |
| 10 | | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Fully Abstract Semantics for Concurrent Lambda-calculus.
TACS 1994: 16-35 |
| 1993 |
|---|
| 9 | | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
MFCS 1993: 403-412 |
| 1992 |
|---|
| 8 | | Ugo de'Liguoro,
Adolfo Piperno:
Must Preorder in Non-Deterministic Untyped Lambda-Calculus.
CAAP 1992: 203-220 |
| 7 | | Ugo de'Liguoro,
Adolfo Piperno,
Richard Statman:
Retracts in simply typed lambda-beta-eta-calculus
LICS 1992: 461-469 |
| 6 | | Pierluigi Crescenzi,
Giuseppe Di Battista,
Adolfo Piperno:
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees.
Comput. Geom. 2: 187-200 (1992) |
| 1990 |
|---|
| 5 | | Adolfo Piperno,
Enrico Tronci:
Regular Systems in lambda-Calculus.
Int. J. Found. Comput. Sci. 1(3): 325-340 (1990) |
| 1989 |
|---|
| 4 | | Adolfo Piperno:
Abstraction Problems in Combinatory Logic a Compositive Approach.
Theor. Comput. Sci. 66(1): 27-43 (1989) |
| 1988 |
|---|
| 3 | | Corrado Böhm,
Adolfo Piperno:
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus
LICS 1988: 91-101 |
| 1987 |
|---|
| 2 | | Corrado Böhm,
Adolfo Piperno:
Surjectivity for Finite Sets of Combinators by Weak Reduction.
CSL 1987: 27-43 |
| 1 | | Adolfo Piperno:
A Compositive Abstraction Algorithm for Combinatory Logic.
TAPSOFT, Vol.2 1987: 39-51 |
