A scalable approach to the design of SW architectures with dynamically create/destroyed components. - Pietro Abate; Marco Bernardo 001 (SEKE, 2002)

The Tableaux Work Bench. - Pietro Abate; Rajeev Goré (TABLEAUX, 2003)

One-Pass Tableaux for Computation Tree Logic. - Pietro Abate; Rajeev Goré; Florian Widmann (LPAR, 2007)

The Tableau Workbench. - Pietro Abate; Rajeev Goré (M4M, 2007)

An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. - Pietro Abate; Rajeev Goré; Florian Widmann (M4M, 2007)

Strong dependencies between software components. - Pietro Abate; Roberto Di Cosmo; Jaap Boender; Stefano Zacchiroli (ESEM, 2009)

MPM: a modular package manager. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (CBSE, 2011)

Predicting upgrade failures using dependency analysis. - Pietro Abate; Roberto Di Cosmo (ICDE Workshops, 2011)

Dependency solving: A separate concern in component evolution management. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (J. Syst. Softw., 2012)

Bootstrapping software distributions. - Pietro Abate; Johannes Schauer (CBSE, 2013)

A modular package manager architecture. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (Inf. Softw. Technol., 2013)

Learning from the future of component repositories. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (Sci. Comput. Program., 2014)

Mining Component Repositories for Installability Issues. - Pietro Abate; Roberto Di Cosmo; Louis Gesbert; Fabrice Le Fessant; Ralf Treinen; Stefano Zacchiroli (MSR, 2015)

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Pietro Abate (POPL, 2015)

Adoption of Academic Tools in Open Source Communities: The Debian Case Study. - Pietro Abate; Roberto Di Cosmo (OSS, 2017)

Dependency Solving Is Still Hard, but We Are Getting Better at It. - Pietro Abate; Roberto Di Cosmo; Georgios Gousios; Stefano Zacchiroli (SANER, 2020)