The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Roberto Di Cosmo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincent Balat, Roberto Di Cosmo
    A Linear Logical View of Linear Type Isomorphisms. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:250-265 [Conf]
  2. Roberto Di Cosmo, Delia Kesner
    Rewriting with Extensional Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:215-232 [Conf]
  3. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Proof Nets and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:63-81 [Conf]
  4. Roberto Di Cosmo, Neil Ghani
    On Modular Properties of Higher Order Extensional Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:237-247 [Conf]
  5. Roberto Di Cosmo, Delia Kesner
    A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:645-656 [Conf]
  6. Roberto Di Cosmo, Delia Kesner
    Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:462-472 [Conf]
  7. Pierre-Louis Curien, Roberto Di Cosmo
    A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:291-302 [Conf]
  8. Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
    Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:199-208 [Conf]
  9. Roberto Di Cosmo, Delia Kesner
    Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:35-46 [Conf]
  10. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
    Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:147-0 [Conf]
  11. Roberto Di Cosmo, Thomas Dufour
    The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:240-256 [Conf]
  12. Jean-Vincent Loddo, Roberto Di Cosmo
    Playing Logic Programs with the Alpha-Beta Algorithm. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:207-224 [Conf]
  13. F. Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, P. Weis
    Domain Decomposition and Skeleton Programming with OCamlP3l. [Citation Graph (0, 0)][DBLP]
    PARCO, 2005, pp:811-818 [Conf]
  14. Maria Virginia Aponte, Roberto Di Cosmo
    Type Isomorphisms for Module Signatures. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:334-346 [Conf]
  15. Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet
    A Game Semantics Foundation for Logic Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:355-373 [Conf]
  16. Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
    Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:64-76 [Conf]
  17. Roberto Di Cosmo
    Type Isomorphisms in a Type-Assignment Framework. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:200-210 [Conf]
  18. Roberto Di Cosmo
    On the Power of Simple Diagrams. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:200-214 [Conf]
  19. Roberto Di Cosmo, Stefano Guerrini
    Strong Normalization of Proof Nets Modulo Structural Congruences. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:75-89 [Conf]
  20. Roberto Di Cosmo, Adolfo Piperno
    Expanding Extensional Polymorphism. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:139-153 [Conf]
  21. Roberto Di Cosmo, François Pottier, Didier Rémy
    Subtyping Recursive Types Modulo Associative Commutative Products. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:179-193 [Conf]
  22. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
    Remarks on isomorphisms in typed lambda calculi with empty and sum types. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:35-50 [Journal]
  23. Roberto Di Cosmo
    Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:2, pp:176-201 [Journal]
  24. Roberto Di Cosmo
    Deciding Type Isomorphisms in a Type-Assignment Framework. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:4, pp:485-525 [Journal]
  25. Pierre-Louis Curien, Roberto Di Cosmo
    A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:2, pp:299-327 [Journal]
  26. Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
    Provable Isomorphisms of Types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:231-247 [Journal]
  27. Roberto Di Cosmo, Delia Kesner
    Simulating Expansions without Expansions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1994, v:4, n:3, pp:315-362 [Journal]
  28. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Proof Nets And Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:3, pp:409-450 [Journal]
  29. F. Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, P. Weis
    Domain decomposition and skeleton programming with OCamlP3l. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2006, v:32, n:7-8, pp:539-550 [Journal]
  30. Roberto Di Cosmo, Susanna Pelagatti
    A Calculus for Dense Array Distributions. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2003, v:13, n:3, pp:377-388 [Journal]
  31. Roberto Di Cosmo, Delia Kesner
    Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:2, pp:201-220 [Journal]
  32. Roberto Di Cosmo
    Educating the e-citizen. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2006, pp:1- [Conf]

  33. Improving the Quality of GNU/Linux Distributions. [Citation Graph (, )][DBLP]


  34. On Isomorphisms of Intersection Types. [Citation Graph (, )][DBLP]


  35. Feature Diagrams as Package Dependencies. [Citation Graph (, )][DBLP]


  36. Strong dependencies between software components. [Citation Graph (, )][DBLP]


  37. Package Upgrades In FOSS Distributions: Details And Challenges. [Citation Graph (, )][DBLP]


  38. A calculus for parallel computations over multidimensional dense arrays. [Citation Graph (, )][DBLP]


  39. Package upgrades in FOSS distributions: details and challenges [Citation Graph (, )][DBLP]


  40. Strong Dependencies between Software Components [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002