Pietro Abate

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 3

Top Topics

Learning Objects

Proprietary Software

Frequent Itemsets

Top Venues

Inf. Softw. Technol.

Publications

Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
Dependency Solving Is Still Hard, but We Are Getting Better at It. CoRR (2020)
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
Dependency Solving Is Still Hard, but We Are Getting Better at It. SANER (2020)
Pietro Abate, Roberto Di Cosmo
Adoption of Academic Tools in Open Source Communities: The Debian Case Study. OSS (2017)
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
Mining Component Repositories for Installability Issues. MSR (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL (2015)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. Sci. Comput. Program. 90 (2014)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
A modular package manager architecture. Inf. Softw. Technol. 55 (2) (2013)
Pietro Abate, Johannes Schauer
Bootstrapping software distributions. CBSE (2013)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85 (10) (2012)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. CBSE (2012)
Pietro Abate, Roberto Di Cosmo
Predicting upgrade failures using dependency analysis. ICDE Workshops (2011)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
MPM: a modular package manager. CBSE (2011)
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
Strong Dependencies between Software Components CoRR (2009)
Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli
Strong dependencies between software components. ESEM (2009)
Pietro Abate, Rajeev Goré, Florian Widmann
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. Electron. Notes Theor. Comput. Sci. 231 (2009)
Pietro Abate, Rajeev Goré
The Tableau Workbench. Electron. Notes Theor. Comput. Sci. 231 (2009)
Pietro Abate, Rajeev Goré, Florian Widmann
One-Pass Tableaux for Computation Tree Logic. LPAR (2007)
Pietro Abate, Rajeev Goré, Florian Widmann
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR (2007)
Pietro Abate, Rajeev Goré
The Tableaux Work Bench. TABLEAUX (2003)
Pietro Abate, Marco Bernardo
A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE (2002)