Pietro Abate

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