The following pages link to Stefano Zacchiroli (Q476171):
Displaying 23 items.
- Aeolus: a component model for the cloud (Q476172) (← links)
- Spurious disambiguation errors and how to get rid of them (Q841693) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Tinycals: step by step tacticals (Q2867943) (← links)
- A Model Driven Approach to Upgrade Package-Based Software Systems (Q3058802) (← links)
- Crafting a Proof Assistant (Q3612433) (← links)
- Mathematical Knowledge Management (Q5313073) (← links)
- Component Reconfiguration in the Presence of Conflicts (Q5327433) (← links)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Q5357691) (← links)
- Spurious Disambiguation Error Detection (Q5428286) (← links)
- (Q5460254) (← links)
- From Notation to Semantics: There and Back Again (Q5756753) (← links)
- Types for Proofs and Programs (Q5898170) (← links)
- The Software Heritage Graph Dataset (Q6716119) (← links)
- Gender Differences in Public Code Contributions: a 50-year Perspective - Replication Package (Q6716120) (← links)
- Image-based Many-language Programming Language Identification - Replication Package (Q6716124) (← links)
- Worldwide Gender Differences in Public Code Contributions - Replication Package (Q6716126) (← links)
- Geographic Diversity in Public Code Contributions — Replication Package (Q6716133) (← links)
- A Large-scale Dataset of (Open Source) License Text Variants (Q6716134) (← links)
- The Software Heritage License Dataset (2022 Edition) (Q6716138) (← links)
- The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code - Replication Package (Q6716141) (← links)
- Replication Package for Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code (Q6716144) (← links)
- The General Index of Software Engineering Papers (Q6716146) (← links)
