Concepedia

Stefano Zacchiroli

SZ

34

Publications

1.2K

Citations

21

H-Index

2005

Active since

Affiliations

Université Paris Cité(Current)

Délégation Paris 7

Institut national de recherche en sciences et technologies du numérique

University of Bologna

Sorbonne Paris Cité

Stefano Zacchiroli is an author at Université Paris Cité specializing in engineering, software engineering, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware EngineeringSoftware AnalysisSoftware DesignSoftware MaintenanceProgram AnalysisSystem SoftwareSoftware TestingData Science

Publications per year

2005–2022

34

Publications

34

Software Heritage: Why and How to Preserve Software Source Code

Roberto Di Cosmo, Stefano Zacchiroli · Phaidra (Universität Wien) · 2017 · 112 citations · Full text

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, E. ̃Tassi et al. · Journal of Automated Reasoning · 2007 · 82 citations

Artificial Intelligence, Engineering, Automated Reasoning +9

Strong dependencies between software components

Pietro Abate, Roberto Di Cosmo, Jaap Boender et al. · 2009 · 71 citations · Full text

Software Maintenance, Strong Dependencies, Engineering +18

Reproducible Builds: Increasing the Integrity of Software Supply Chains

Chris Lamb, Stefano Zacchiroli · IEEE Software · 2021 · 69 citations · Full text

Aeolus: A component model for the cloud

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli et al. · Information and Computation · 2014 · 64 citations

Cluster Computing, Engineering, Cloud Computing Architecture +8

Rows per page

1–5 of 34