Stefano Zacchiroli

MaRDI QIDQ476171zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 (invited paper)	2017-09-12	Paper
Aeolus: a component model for the cloud Information and Computation	2014-11-28	Paper
Tinycals: step by step tacticals Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Component reconfiguration in the presence of conflicts Automata, Languages, and Programming	2013-08-07	Paper
A Model Driven Approach to Upgrade Package-Based Software Systems Communications in Computer and Information Science	2010-12-07	Paper
Spurious disambiguation errors and how to get rid of them Mathematics in Computer Science	2009-09-18	Paper
Crafting a Proof Assistant Lecture Notes in Computer Science	2009-03-10	Paper
Searching mathematics on the web: state of the art and future developments	2008-05-05	Paper
User interaction with the Matita proof assistant Journal of Automated Reasoning	2007-12-03	Paper
Spurious Disambiguation Error Detection Towards Mechanized Mathematical Assistants	2007-11-28	Paper
From Notation to Semantics: There and Back Again Lecture Notes in Computer Science	2007-09-05	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper

Research outcomes over time

This page was built for person: Stefano Zacchiroli