Stefano Zacchiroli

Cited by

	All	Since 2018
Citations	2122	1042
h-index	27	18
i10-index	52	30

220

110

165

2007200820092010201120122013201420152016201720182019202020212022202354 43 65 80 102 138 132 100 110 117 92 106 160 183 174 206 211

Public access

View all

7 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
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Antoine PietriGoogleVerified email at google.com
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 RuscioAssociate Professor, DISIM, 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
Guillaume ROUSSEAUUniversity Paris DiderotVerified email at univ-paris-diderot.fr
Diomidis SpinellisProfessor, AUEB and TUDelftVerified email at aueb.gr
Davide RossiAssociate Professor, University of BolognaVerified email at unibo.it
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Kuniyasu SuzakiAIST: National Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
Gabriele D'AngeloAssistant Professor, Computer Science, University of BolognaVerified email at unibo.it
Daniel M. GermanProfessor, Computer Science, University of VictoriaVerified email at uvic.ca

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	143	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	102	2007
Strong dependencies between software components P Abate, R Di Cosmo, J Boender, S Zacchiroli 2009 3rd International Symposium on Empirical Software Engineering and …, 2009	85	2009
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	80	2008
Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018	75	2018
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	75	2006
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	74	2012
Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014	71	2014
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	59	2012
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	57	2014
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	51	2011
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	51	2010
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	50	2019
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Types for Proofs and Programs: International Workshop, TYPES 2006 …, 2007	50	2007
Automatic deployment of services in the cloud with aeolus blender R Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa …, 2015	49	2015
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	48	2012
Common Upgradeability Description Format (CUDF) 2.0 R Treinen, S Zacchiroli The Mancoosi project (FP7) 3, 2009	44*	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	41	2011
Content cloaking: preserving privacy with Google Docs and other Web applications G d'Angelo, F Vitali, S Zacchiroli Proceedings of the 2010 ACM symposium on applied computing, 826-830, 2010	39	2010
Reproducible builds: Increasing the integrity of software supply chains C Lamb, S Zacchiroli IEEE Software 39 (2), 62-70, 2021	37	2021

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