The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antonio Bucciarelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonio Bucciarelli, Benjamin Leperchey
    Hypergraphs and Degrees of Parallelism: A Completeness Result. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:58-71 [Conf]
  2. Antonio Bucciarelli, Thomas Ehrhard
    Extensional Embedding of a Strongly Stable Model of PCF. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:35-46 [Conf]
  3. Antonio Bucciarelli, Ivano Salvo
    Totality, Definability and Boolean Ciruits. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:808-819 [Conf]
  4. Antonio Bucciarelli, Thomas Ehrhard
    Sequentiality and Strong Stability [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:138-145 [Conf]
  5. 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]
  6. Antonio Bucciarelli, Antonino Salibra
    The Sensible Graph Theories of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:276-285 [Conf]
  7. Antonio Bucciarelli, Antonino Salibra
    The Minimal Graph Model of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:300-307 [Conf]
  8. Antonio Bucciarelli
    Another Approach to Sequentiality: Kleene's Unimonotone Functions. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:333-358 [Conf]
  9. Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
    Relative Definability and Models of Unary PCF. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:75-89 [Conf]
  10. Antonio Bucciarelli
    Logical Reconstruction of Bi-domains. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:99-111 [Conf]
  11. Antonio Bucciarelli, Thomas Ehrhard
    On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:102, n:3, pp:247-282 [Journal]
  12. Antonio Bucciarelli, Thomas Ehrhard
    On phase semantics and denotational semantics: the exponentials. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:205-241 [Journal]
  13. Antonio Bucciarelli
    Bi-Models: Relational Versus Domain-Theoretic Approaches. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:251-266 [Journal]
  14. Antonio Bucciarelli, Thomas Ehrhard
    Sequentiality in an Extensional Framework [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:2, pp:265-296 [Journal]
  15. 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]
  16. Antonio Bucciarelli
    Degrees of Parallelism in the Continuous Type Hierarchy. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:59-71 [Journal]
  17. Antonio Bucciarelli, Thomas Ehrhard
    A Theory of Sequentiality. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:273-291 [Journal]
  18. Antonio Bucciarelli, Pasquale Malacaria
    Relative definability of boolean functions via hypergraphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:91-110 [Journal]
  19. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
    Not Enough Points Is Enough. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:298-312 [Conf]

  20. A Relational Model of a Parallel and Non-deterministic lambda-Calculus. [Citation Graph (, )][DBLP]


  21. On Linear Information Systems [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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