Pietro Abate
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2002–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MSR | Mining Component Repositories for Installability Issues. | Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli |
| 2015 | POPL | Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate |
| 2011 | ICDE | Predicting upgrade failures using dependency analysis. | Pietro Abate, Roberto Di Cosmo |
| 2009 | ESEM | Strong dependencies between software components. | Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli |
| 2007 | LPAR | One-Pass Tableaux for Computation Tree Logic. | Pietro Abate, Rajeev Gor, Florian Widmann |
| 2003 | TABLEAUX | The Tableaux Work Bench. | Pietro Abate, Rajeev Gor |
| 2002 | SEKE | A scalable approach to the design of SW architectures with dynamically create/destroyed components. | Pietro Abate, Marco Bernardo |