Stefano Zacchiroli

Available identifiers

zbMath Open zacchiroli.stefanoDBLP53/2641WikidataQ2268618 ScholiaQ2268618MaRDI QIDQ476171

List of research outcomes

Publication	Date of Publication	Type
Replication Package for Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code	2024-11-30	Dataset
The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code - Replication Package	2024-07-18	Dataset
The Software Heritage License Dataset (2022 Edition)	2024-01-08	Dataset
Geographic Diversity in Public Code Contributions — Replication Package	2022-03-28	Dataset
A Large-scale Dataset of (Open Source) License Text Variants	2022-03-23	Dataset
Worldwide Gender Differences in Public Code Contributions - Replication Package	2022-02-09	Dataset
The General Index of Software Engineering Papers	2022-01-25	Dataset
Image-based Many-language Programming Language Identification - Replication Package	2021-06-22	Dataset
Gender Differences in Public Code Contributions: a 50-year Perspective - Replication Package	2020-10-30	Dataset
The Software Heritage Graph Dataset	2019-03-05	Dataset
Automatic Application Deployment in the Cloud: from Practice to Theory and Back	2017-09-12	Paper
Aeolus: a component model for the cloud	2014-11-28	Paper
Tinycals: Step by Step Tacticals	2013-12-20	Paper
Component Reconfiguration in the Presence of Conflicts	2013-08-07	Paper
A Model Driven Approach to Upgrade Package-Based Software Systems	2010-12-07	Paper
Spurious disambiguation errors and how to get rid of them	2009-09-18	Paper
Crafting a Proof Assistant	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5460254	2008-05-05	Paper
User interaction with the Matita proof assistant	2007-12-03	Paper
Spurious Disambiguation Error Detection	2007-11-28	Paper
From Notation to Semantics: There and Back Again	2007-09-05	Paper
Types for Proofs and Programs	2006-11-13	Paper
Mathematical Knowledge Management	2005-08-26	Paper

Research outcomes over time

This page was built for person: Stefano Zacchiroli