| 2025 | MSR | 50 Years of Programming Language Evolution through the Software Heritage looking glass. | Adle Desmazires, Roberto Di Cosmo, Valentin Lorentz |
| 2017 | CP | NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. | Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | CONCUR | Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). | Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | ICSOC | Automatic Deployment of Services in the Cloud with Aeolus Blender. | Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | MSR | Mining Component Repositories for Installability Issues. | Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli |
| 2015 | MSR | A Historical Analysis of Debian Package Incompatibilities. | Malick Claes, Tom Mens, Roberto Di Cosmo, Jrme Vouillon |
| 2014 | ICSE | Easing software component repository evolution. | Jrme Vouillon, Mehdi Dogguy, Roberto Di Cosmo |
| 2013 | ICALP | Component Reconfiguration in the Presence of Conflicts. | Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2013 | ICSE | Broken sets in software repository evolution. | Jrme Vouillon, Roberto Di Cosmo |
| 2012 | MSR | Why do software packages conflict? | Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli |
| 2012 | SEFM | Towards a Formal Component Model for the Cloud. | Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2011 | ICDE | Predicting upgrade failures using dependency analysis. | Pietro Abate, Roberto Di Cosmo |
| 2010 | SPLC | Feature Diagrams as Package Dependencies. | Roberto Di Cosmo, Stefano Zacchiroli |
| 2009 | ESEM | Strong dependencies between software components. | Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli |
| 2008 | COMPSAC | Improving the Quality of GNU/Linux Distributions. | Jaap Boender, Roberto Di Cosmo, Jrme Vouillon, Berke Durak, Fabio Mancinelli |
| 2008 | CSL | On Isomorphisms of Intersection Types. | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta |
| 2006 | ITiCSE | Educating the e-citizen. | Roberto Di Cosmo |
| 2004 | LPAR | The Equational Theory of < N, 0, 1, +, , uparrow > Is Decidable, but Not Finitely Axiomatisable. | Roberto Di Cosmo, Thomas Dufour |
| 2004 | POPL | Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
| 2002 | LICS | Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. | Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat |
| 2000 | FOSSACS | Proof Nets and Explicit Substitutions. | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski |
| 2000 | LPAR | Playing Logic Programs with the Alpha-Beta Algorithm. | Jean-Vincent Loddo, Roberto Di Cosmo |
| 1999 | CSL | A Linear Logical View of Linear Type Isomorphisms. | Vincent Balat, Roberto Di Cosmo |
| 1997 | ICALP | On Modular Properties of Higher Order Extensional Lambda Calculi. | Roberto Di Cosmo, Neil Ghani |
| 1997 | LICS | Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). | Roberto Di Cosmo, Delia Kesner |
| 1995 | CSL | Rewriting with Extensional Polymorphic Lambda-Calculus. | Roberto Di Cosmo, Delia Kesner |
| 1994 | ICALP | Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. | Roberto Di Cosmo, Delia Kesner |
| 1993 | ICALP | A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. | Roberto Di Cosmo, Delia Kesner |
| 1992 | POPL | Type Isomorphisms in a Type-Assignment Framework. | Roberto Di Cosmo |
| 1991 | ICALP | A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. | Pierre-Louis Curien, Roberto Di Cosmo |