Roberto Di Cosmo

	2011
50		Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: MPM: a modular package manager. CBSE 2011: 179-188
49		Pietro Abate, Roberto Di Cosmo: Predicting upgrade failures using dependency analysis. ICDE Workshops 2011: 145-150
48		Roberto Di Cosmo, Olivier Lhomme, Claude Michel: Aligning component upgrades LoCoCo 2011: 1-11
47		Roberto Di Cosmo, Jérôme Vouillon: On software component co-installability. SIGSOFT FSE 2011: 256-266
46		Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli: Sources of Inter-package Conflicts in Debian CoRR abs/1110.1354: (2011)
45		Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli: Supporting software evolution in component-based FOSS systems. Sci. Comput. Program. 76(12): 1144-1160 (2011)
	2010
44		Roberto Di Cosmo, Jaap Boender: Using strong conflicts to detect quality issues in component-based complex systems. ICSE 2010: 163-172
43		Roberto Di Cosmo, Stefano Zacchiroli: Feature Diagrams as Package Dependencies. SPLC 2010: 476-480
42		Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4): (2010)
	2009
41		Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli: Strong dependencies between software components. ESEM 2009: 89-99
40		Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos: Package upgrades in FOSS distributions: details and challenges CoRR abs/0902.1610: (2009)
39		Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli: Strong Dependencies between Software Components CoRR abs/0905.4226: (2009)
	2008
38		Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli: Improving the Quality of GNU/Linux Distributions. COMPSAC 2008: 1240-1246
37		Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477
36		Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos: Package Upgrades In FOSS Distributions: Details And Challenges. HotSWUp 2008
35		Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis: Skeletal Parallel Programming with OCamlP3l 2.0. Parallel Processing Letters 18(1): 149-164 (2008)
	2007
34		Roberto Di Cosmo, Zheng Li, Susanna Pelagatti: A calculus for parallel computations over multidimensional dense arrays. Computer Languages, Systems & Structures 33(3-4): 82-110 (2007)
	2006
33		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. ASE 2006: 199-208
32		Roberto Di Cosmo: Educating the e-citizen. ITiCSE 2006: 1
31		Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat: Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Logic 141(1-2): 35-50 (2006)
30		François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain decomposition and skeleton programming with OCamlP3l. Parallel Computing 32(7-8): 539-550 (2006)
	2005
29		François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO 2005: 811-818
28		Roberto Di Cosmo, François Pottier, Didier Rémy: Subtyping Recursive Types Modulo Associative Commutative Products. TLCA 2005: 179-193
27		Roberto Di Cosmo: A short survey of isomorphisms of types. Mathematical Structures in Computer Science 15(5): 825-838 (2005)
	2004
26		Roberto Di Cosmo, Thomas Dufour: The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. LPAR 2004: 240-256
25		Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore: Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL 2004: 64-76
	2003
24		Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski: Proof Nets And Explicit Substitutions. Mathematical Structures in Computer Science 13(3): 409-450 (2003)
23		Roberto Di Cosmo, Susanna Pelagatti: A Calculus for Dense Array Distributions. Parallel Processing Letters 13(3): 377-388 (2003)
	2002
22		Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat: Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS 2002: 147-
	2000
21		Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski: Proof Nets and Explicit Substitutions. FoSSaCS 2000: 63-81
20		Jean-Vincent Loddo, Roberto Di Cosmo: Playing Logic Programs with the Alpha-Beta Algorithm. LPAR 2000: 207-224
	1999
19		Vincent Balat, Roberto Di Cosmo: A Linear Logical View of Linear Type Isomorphisms. CSL 1999: 250-265
18		Roberto Di Cosmo, Stefano Guerrini: Strong Normalization of Proof Nets Modulo Structural Congruences. RTA 1999: 75-89
	1998
17		Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet: A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373
	1997
16		Roberto Di Cosmo, Neil Ghani: On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP 1997: 237-247
15		Roberto Di Cosmo, Delia Kesner: Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). LICS 1997: 35-46
	1996
14		Maria Virginia Aponte, Roberto Di Cosmo: Type Isomorphisms for Module Signatures. PLILP 1996: 334-346
13		Roberto Di Cosmo: On the Power of Simple Diagrams. RTA 1996: 200-214
12		Pierre-Louis Curien, Roberto Di Cosmo: A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. J. Funct. Program. 6(2): 299-327 (1996)
11		Roberto Di Cosmo, Delia Kesner: Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. Theor. Comput. Sci. 169(2): 201-220 (1996)
	1995
10		Roberto Di Cosmo, Delia Kesner: Rewriting with Extensional Polymorphic Lambda-Calculus. CSL 1995: 215-232
9		Roberto Di Cosmo, Adolfo Piperno: Expanding Extensional Polymorphism. TLCA 1995: 139-153
8		Roberto Di Cosmo: Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object Inf. Comput. 119(2): 176-201 (1995)
	1994
7		Roberto Di Cosmo, Delia Kesner: Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. ICALP 1994: 462-472
6		Roberto Di Cosmo, Delia Kesner: Simulating Expansions without Expansions. Mathematical Structures in Computer Science 4(3): 315-362 (1994)
	1993
5		Roberto Di Cosmo, Delia Kesner: A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. ICALP 1993: 645-656
4		Roberto Di Cosmo: Deciding Type Isomorphisms in a Type-Assignment Framework. J. Funct. Program. 3(4): 485-525 (1993)
	1992
3		Roberto Di Cosmo: Type Isomorphisms in a Type-Assignment Framework. POPL 1992: 200-210
2		Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo: Provable Isomorphisms of Types. Mathematical Structures in Computer Science 2(2): 231-247 (1992)
	1991
1		Pierre-Louis Curien, Roberto Di Cosmo: A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. ICALP 1991: 291-302

Coauthor Index

1	Pietro Abate	[39] [41] [49] [50]
2	Maria Virginia Aponte	[14]
3	Cyrille Artho (Cyrille Valentin Artho)	[46]
4	Vincent Balat	[19] [22] [25] [31]
5	Jaap Boender	[33] [38] [39] [41] [44]
6	Kim B. Bruce	[2]
7	François Clément	[29] [30]
8	Pierre-Louis Curien	[1] [12]
9	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[37] [42]
10	Thomas Dufour	[26]
11	Berke Durak	[33] [38]
12	Marcelo P. Fiore	[22] [25] [31]
13	Neil Ghani	[16]
14	Elio Giovannetti	[37] [42]
15	Stefano Guerrini	[18]
16	Delia Kesner	[5] [6] [7] [10] [11] [15] [21] [24]
17	Xavier Leroy	[33]
18	Olivier Lhomme	[48]
19	Zheng Li	[34] [35]
20	Jean-Vincent Loddo	[17] [20]
21	Giuseppe Longo	[2]
22	Fabio Mancinelli	[33] [38]
23	V. Martin	[29] [30]
24	Claude Michel	[48]
25	Stephane Nicolet	[17]
26	Susanna Pelagatti	[23] [34] [35]
27	Patrizio Pelliccione	[45]
28	Alfonso Pierantonio	[45]
29	Adolfo Piperno	[9]
30	Emmanuel Polonowski	[21] [24]
31	François Pottier	[28]
32	Didier Rémy	[28]
33	Davide Di Ruscio	[45]
34	Kuniyasu Suzaki	[46]
35	Makoto Tatsuta	[37] [42]
36	Ralf Treinen	[33] [50]
37	Paulo Trezentos	[36] [40]
38	A. Vodicka	[29] [30]
39	Jérôme Vouillon (Jerome Vouillon)	[33] [38] [47]
40	Pierre Weis	[29] [30] [35]
41	Stefano Zacchiroli	[36] [39] [40] [41] [43] [45] [46] [50]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page