Stefano Zacchiroli

Cited by

	All	Since 2020
Citations	2514	1144
h-index	30	20
i10-index	57	30

280

140

210

200720082009201020112012201320142015201620172018201920202021202220232024202558 45 65 83 101 140 134 96 114 117 92 112 158 193 173 211 273 246 46

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Angelo Di IorioUniversity of BolognaVerified email at cs.unibo.it
Antoine PietriGoogleVerified email at google.com
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
aspertiUniversity of BolognaVerified email at cs.unibo.it
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
Mathieu O'NeilProfessor, University of CanberraVerified email at canberra.edu.au
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Davide Di RuscioProfessor, University of L'Aquila (Italy)Verified email at di.univaq.it
Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Morane GruenpeterSoftware Heritage, INRIAVerified email at inria.fr
Davide RossiAssociate Professor, University of BolognaVerified email at unibo.it
Guillaume ROUSSEAUUniversity Paris DiderotVerified email at univ-paris-diderot.fr
Diomidis SpinellisProfessor, AUEB and TU DelftVerified email at aueb.gr
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Kuniyasu SuzakiIISEC: Institute of Information Security, Graduate SchoolVerified email at iisec.ac.jp
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Gabriele D'AngeloAssistant Professor (tenured), Computer Science, University of BolognaVerified email at unibo.it

Stefano Zacchiroli

LTCI, Télécom Paris, Polytechnique Institute of Paris, France

Verified email at telecom-paris.fr - Homepage

software engineering open source software formal methods digital preservation web technologies


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Software Heritage: Why and how to preserve software source code R Di Cosmo, S Zacchiroli iPRES 2017-14th International Conference on Digital Preservation, 1-10, 2017	194	2017
User interaction with the Matita proof assistant A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39, 109-139, 2007	104	2007
Dependency solving: a separate concern in component evolution management P Abate, R Di Cosmo, R Treinen, S Zacchiroli Journal of Systems and Software 85 (10), 2228-2240, 2012	88	2012
Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018	87	2018
Strong dependencies between software components P Abate, R Di Cosmo, J Boender, S Zacchiroli 2009 3rd International Symposium on Empirical Software Engineering and …, 2009	87	2009
Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014	85	2014
Package upgrades in FOSS distributions: Details and challenges R Di Cosmo, S Zacchiroli, P Trezentos Proceedings of the 1st international workshop on hot topics in software …, 2008	85	2008
Reproducible builds: Increasing the integrity of software supply chains C Lamb, S Zacchiroli IEEE Software 39 (2), 62-70, 2021	79	2021
A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006	78	2006
Why do software packages conflict? C Artho, K Suzaki, R Di Cosmo, R Treinen, S Zacchiroli 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 141-150, 2012	73	2012
The Software Heritage graph dataset: public software development under one roof A Pietri, D Spinellis, S Zacchiroli 2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019	66	2019
Automated synthesis and deployment of cloud applications R Di Cosmo, M Lienhardt, R Treinen, S Zacchiroli, J Zwolakowski, A Eiche, ... Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	64	2014
Automatic deployment of services in the cloud with aeolus blender R Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski International Conference on Service-Oriented Computing, 397-411, 2015	55	2015
The Ultimate Debian Database: Consolidating bazaar metadata for quality assurance and data mining L Nussbaum, S Zacchiroli 2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010 …, 2010	54	2010
Supporting software evolution in component-based FOSS systems R Di Cosmo, D Di Ruscio, P Pelliccione, A Pierantonio, S Zacchiroli Science of Computer Programming 76 (12), 1144-1160, 2011	53	2011
Towards a formal component model for the cloud R Di Cosmo, S Zacchiroli, G Zavattaro International Conference on Software Engineering and Formal Methods, 156-171, 2012	51	2012
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007	50	2007
Common Upgradeability Description Format (CUDF) 2.0 R Treinen, S Zacchiroli The Mancoosi project (FP7) 3, 2009	48*	2009
MPM: a modular package manager P Abate, R DiCosmo, R Treinen, S Zacchiroli Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011	42	2011
Identifiers for digital objects: the case of software source code preservation R Di Cosmo, M Gruenpeter, S Zacchiroli iPRES 2018-15th International Conference on Digital Preservation, 1-9, 2018	41	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors