Stefano Zacchiroli

Cited by

	All	Since 2016
Citations	1550	701
h-index	22	16
i10-index	44	25

160

120

20062007200820092010201120122013201420152016201720182019202020218 50 44 67 77 102 130 120 98 111 114 91 110 144 155 84

Public access

View all

4 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
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
Antoine PietriInriaVerified email at inria.fr
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 PelliccioneFull Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Morane GruenpeterSoftware Heritage, INRIAVerified email at inria.fr
Enrico TassiProfessor of Physics, Physics Department, University of Calabria, Italy & INFN CosenzaVerified email at fis.unical.it
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
Gabriele D'AngeloAssistant Professor, Computer Science, University of BolognaVerified email at unibo.it
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
Paulo TrezentosAssistant Professor, ISCTE-IULVerified email at iscte.pt
Matthieu CaneillPhD Student, Univ. Grenoble Alpes (France)Verified email at imag.fr

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	99	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	77	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	71	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
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	68	2017
Aeolus: A component model for the cloud R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro Information and Computation 239, 100-121, 2014	58	2014
Building the universal archive of source code JF Abramatic, R Di Cosmo, S Zacchiroli Communications of the ACM 61 (10), 29-31, 2018	49	2018
Crafting a proof assistant A Asperti, CS Coen, E Tassi, S Zacchiroli International Workshop on Types for Proofs and Programs, 18-32, 2006	49	2006
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	48	2014
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	47	2012
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	47	2012
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	47	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	45	2010
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	43	2012
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	41	2015
Constrained wiki: an oxymoron? A Di Iorio, S Zacchiroli Proceedings of the 2006 international symposium on Wikis, 89-98, 2006	36	2006
MPM: a modular package manager P Abate, R DiCosmo, R Treinen, S Zacchiroli Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011	35	2011
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	31	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	30	2010
Wiki content templating A Di Iorio, F Vitali, S Zacchiroli Proceedings of the 17th international conference on World Wide Web, 615-624, 2008	30	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