The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adolfo Piperno: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  27. Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002