Stefano Zacchiroli

Cited by

	All	Since 2016
Citations	1448	625
h-index	22	16
i10-index	41	22

160

120

20062007200820092010201120122013201420152016201720182019202020218 49 46 67 76 108 128 122 97 104 116 94 112 146 151 5

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
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
aspertiUniversity of BolognaVerified email at cs.unibo.it
Davide Di RuscioAssociate Professor, DISIM, University of L'Aquila (Italy)Verified email at di.univaq.it
Alfonso PierantonioProfessor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Patrizio PelliccioneFull Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Antoine PietriInriaVerified email at inria.fr
Enrico TassiUniversita' della Calabria and INFNVerified email at fis.unical.it
Morane GruenpeterSoftware Heritage, INRIAVerified email at inria.fr
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
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
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
Gabriele D'AngeloAssistant Professor, Computer Science, University of BolognaVerified email at unibo.it
Paulo TrezentosAssistant Professor, ISCTE-IULVerified email at iscte.pt
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it

Stefano Zacchiroli

Université de Paris and Inria, France

Verified email at irif.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
User interaction with the Matita proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli Journal of Automated Reasoning 39 (2), 109-139, 2007	97	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	75	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	73	2008
A content based mathematical search engine: Whelp A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli International Workshop on Types for Proofs and Programs, 17-32, 2004	70	2004
Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014	57	2014
Software heritage: Why and how to preserve software source code R Di Cosmo, S Zacchiroli	52	2017
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli International Workshop on Types for Proofs and Programs, 18-32, 2006	51	2006
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	46	2012
Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018	45	2018
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	45	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	45	2011
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	42	2012
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	39	2010
Constrained wiki: an oxymoron? A Di Iorio, S Zacchiroli Proceedings of the 2006 international symposium on Wikis, 89-98, 2006	37	2006
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	36	2015
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	36	2012
MPM: a modular package manager P Abate, R DiCosmo, R Treinen, S Zacchiroli Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011	32	2011
Wiki content templating A Di Iorio, F Vitali, S Zacchiroli Proceedings of the 17th international conference on World Wide Web, 615-624, 2008	29	2008
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	28	2010
Towards the unification of formats for overlapping markup P Marinelli, F Vitali, S Zacchiroli New Review of Hypermedia and Multimedia 14 (1), 57-94, 2008	28	2008

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

Upload PDF

Follow this author

Cited by

Co-authors