Stefano Zacchiroli

Cited by

	All	Since 2019
Citations	2463	1247
h-index	29	20
i10-index	56	34

280

140

210

20072008200920102011201220132014201520162017201820192020202120222023202458 45 65 83 102 139 132 97 114 118 92 112 158 192 173 214 272 230

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
Gabriele D'AngeloAssistant Professor (tenured), 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	183	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
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
Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018	84	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	78	2006
Reproducible builds: Increasing the integrity of software supply chains C Lamb, S Zacchiroli IEEE Software 39 (2), 62-70, 2021	75	2021
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	69	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	64	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
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
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	53	2010
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	47*	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
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	40	2010

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