Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roberto Di Cosmo" ( http://dblp.L3S.de/Authors/Roberto_Di_Cosmo )

  Author page on DBLP  Author page in RDF  Community of Roberto Di Cosmo in ASPL-2

Publication years (Num. hits)
1991-1997 (16) 1998-2006 (17) 2007-2011 (17)
Publication types (Num. hits)
article(18) inproceedings(32)
Venues (Conferences, Journals, ...)
ICALP(4) Mathematical Structures in Com...(4) CoRR(3) CSL(3) J. Funct. Program.(2) LICS(2) LPAR(2) Parallel Processing Letters(2) POPL(2) RTA(2) TLCA(2) ACM Trans. Comput. Log.(1) Ann. Pure Appl. Logic(1) ASE(1) CBSE(1) COMPSAC(1) More (+10 of total 33)
Authors
Roberto Di Cosmo(50) Delia Kesner(8) Stefano Zacchiroli(8) Jaap Boender(5) Pietro Abate(4) Vincent Balat(4) Jérôme Vouillon(3) Marcelo P. Fiore(3) Pierre Weis(3) Susanna Pelagatti(3) A. Vodicka(2) Berke Durak(2) Elio Giovannetti(2) Emmanuel Polonowski(2) Fabio Mancinelli(2) François Clément(2) More (+10 of total 42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 12 keywords
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli Supporting software evolution in component-based FOSS systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli Sources of Inter-package Conflicts in Debian Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Roberto Di Cosmo, Olivier Lhomme, Claude Michel Aligning component upgrades Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pietro Abate, Roberto Di Cosmo Predicting upgrade failures using dependency analysis. Search on Bibsonomy ICDE Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli MPM: a modular package manager. Search on Bibsonomy CBSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Jérôme Vouillon On software component co-installability. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta On isomorphisms of intersection types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Stefano Zacchiroli Feature Diagrams as Package Dependencies. Search on Bibsonomy SPLC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Jaap Boender Using strong conflicts to detect quality issues in component-based complex systems. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli Strong Dependencies between Software Components Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos Package upgrades in FOSS distributions: details and challenges Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli Strong dependencies between software components. Search on Bibsonomy ESEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis Skeletal Parallel Programming with OCamlP3l 2.0. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos Package Upgrades In FOSS Distributions: Details And Challenges. Search on Bibsonomy HotSWUp The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FOSS, distribution, packages, rollback, upgrade
1Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli Improving the Quality of GNU/Linux Distributions. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta On Isomorphisms of Intersection Types. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Zheng Li, Susanna Pelagatti A calculus for parallel computations over multidimensional dense arrays. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis Domain decomposition and skeleton programming with OCamlP3l. Search on Bibsonomy Parallel Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat Remarks on isomorphisms in typed lambda calculi with empty and sum types. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo Educating the e-citizen. Search on Bibsonomy ITiCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fabio 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. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo A short survey of isomorphisms of types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, François Pottier, Didier Rémy Subtyping Recursive Types Modulo Associative Commutative Products. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis Domain Decomposition and Skeleton Programming with OCamlP3l. Search on Bibsonomy PARCO The full citation details ... 2005 DBLP  BibTeX  RDF
1Roberto Di Cosmo, Thomas Dufour The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
1Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski Proof Nets And Explicit Substitutions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Susanna Pelagatti A Calculus for Dense Array Distributions. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jean-Vincent Loddo, Roberto Di Cosmo Playing Logic Programs with the Alpha-Beta Algorithm. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski Proof Nets and Explicit Substitutions. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Stefano Guerrini Strong Normalization of Proof Nets Modulo Structural Congruences. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Linear Logic, Proof Nets, Strong Normalization
1Vincent Balat, Roberto Di Cosmo A Linear Logical View of Linear Type Isomorphisms. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet A Game Semantics Foundation for Logic Programming (Extended Abstract). Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Neil Ghani On Modular Properties of Higher Order Extensional Lambda Calculi. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Pierre-Louis Curien, Roberto Di Cosmo A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. Search on Bibsonomy J. Funct. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo On the Power of Simple Diagrams. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Maria Virginia Aponte, Roberto Di Cosmo Type Isomorphisms for Module Signatures. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
1Roberto Di Cosmo Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Adolfo Piperno Expanding Extensional Polymorphism. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Rewriting with Extensional Polymorphic Lambda-Calculus. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Simulating Expansions without Expansions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo Deciding Type Isomorphisms in a Type-Assignment Framework. Search on Bibsonomy J. Funct. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo Provable Isomorphisms of Types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo Type Isomorphisms in a Type-Assignment Framework. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF ML
1Pierre-Louis Curien, Roberto Di Cosmo A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.