dblp.uni-trier.dewww.uni-trier.de

Adolfo Piperno Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
27EEAdolfo Piperno: Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) CoRR abs/0804.4881: (2008)
2003
26EEErich 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
24EERichard 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
22EEAntonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo: Some Computational Properties of Intersection Types. LICS 1999: 109-118
21EEAdolfo Piperno: An Algebraic View of the Böhm-Out Technique. Theor. Comput. Sci. 212(1-2): 233-246 (1999)
1998
20EEZurab 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)
18EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
1996
17EEMariangiola 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
13EECorrado 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
9EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
1992
8EEUgo 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
2EECorrado Böhm, Adolfo Piperno: Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL 1987: 27-43
1EEAdolfo Piperno: A Compositive Abstraction Algorithm for Combinatory Logic. TAPSOFT, Vol.2 1987: 39-51

Coauthor Index

1Giuseppe Di Battista [6]
2Corrado Böhm [2] [3] [13]
3Antonio Bucciarelli [22] [25]
4Roberto Di Cosmo [15]
5Pierluigi Crescenzi (Pilu Crescenzi) [6] [12] [19]
6Mariangiola Dezani-Ciancaglini [9] [10] [17] [18]
7Erich Grädel [26]
8Stefano Guerrini [13]
9Joseph Y. Halpern [26]
10Radha Jagadeesan [26]
11Richard Kennaway [24]
12Zurab Khasidashvili [20] [23] [24]
13Silvia De Lorenzis [22]
14Paolo Penna [19]
15Simona Ronchi Della Rocca [11]
16Ivano Salvo [22] [25]
17Richard Statman [7]
18Enrico Tronci [5]
19Ugo de'Liguoro [7] [8] [9] [10] [14] [17] [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)