Search filters

List of works by Stefano Zacchiroli

A Content Based Mathematical Search Engine: Whelp

A Model Driven Approach to Upgrade Package-Based Software Systems

article published in 2010

A modular package manager architecture

Aeolus: A component model for the cloud

article

Aeolus: Mastering the Complexity of Cloud Application Deployment

Automated synthesis and deployment of cloud applications

Automatic Deployment of Services in the Cloud with Aeolus Blender

Building the universal archive of source code

scientific article

Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality

scholarly publication

Component Reconfiguration in the Presence of Conflicts

Constrained Wiki

scholarly article published 2006

Constrained Wiki: The WikiWay to Validating Content

article by Angelo Di Iorio et al published 2012 in Advances in Human-Computer Interaction

Content cloaking

Continuous Open Source License Compliance

scientific article published in 2020

Crafting a Proof Assistant

Debsources

article

Dependency Solving Is Still Hard, but We Are Getting Better at It

Dependency solving: A separate concern in component evolution management

Editorial

Expressing advanced user preferences in component installation

Feature Diagrams as Package Dependencies

Formal Aspects of Free and Open Source Software Components

From Notation to Semantics: There and Back Again

Gender Differences in Public Code Contributions: A 50-Year Perspective

scientific article published in 2021

Geographic diversity in public code contributions

scientific article published on 18 October 2022

Identifiers for Digital Objects: the Case of Software Source Code Preservation ⬇️

scholarly article

Image-based many-language programming language identification

scientific article

Learning from the future of component repositories

Learning from the future of component repositories

article published in 2012

MPM

Mining Component Repositories for Installability Issues

Package upgrades in FOSS distributions

article published in 2008

Referencing Source Code Artifacts: a Separate Concern in Software Citation ⬇️

scholarly article

Reproducibility of Build Environments through Space and Time

scientific article published on 24 May 2024

Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis

scientific article published on 07 September 2022

Software Heritage : Why and How to Preserve Software Source Code ⬇️

article scientifique

Software provenance tracking at the scale of public source code

scientific article

Source Code Archiving to the Rescue of Reproducible Deployment

scientific article published on 11 July 2024

Spacetime Characterization of Real-Time Collaborative Editing

scientific article published on 01 November 2018

Spurious Disambiguation Error Detection

Spurious Disambiguation Errors and How to Get Rid of Them

Strong dependencies between software components

article

Subverting or preserving the institution: Competing IT firm and foundation discourses about open source

scholarly article

Supporting software evolution in component-based FOSS systems

scholarly article by Roberto Di Cosmo et al published December 2011 in Science of Computer Programming

The Debsources Dataset: two decades of free and open source software

scientific article published in 2016

The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development ⬇️

scholarly article published 12 February 2021

The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development

scientific article published on 08 May 2021

The Software Heritage Graph Dataset

scientific article published on 19 September 2020

The Software Heritage Graph Dataset: Public Software Development Under One Roof

scientific article published on 30 August 2019

The Software Heritage Graph Dataset: Public software development under one roof ⬇️

scholarly article

The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining

The general index of software engineering papers

scientific article published on 18 October 2022

The software heritage license dataset (2022 edition)

scientific article published in November 2023

Tinycals: Step by Step Tacticals

article by Claudio Sacerdoti Coen et al published May 2007 in Electronic Notes in Theoretical Computer Science

Towards a Formal Component Model for the Cloud

Towards maintainer script modernization in FOSS distributions

Towards the unification of formats for overlapping markup

User Interaction with the Matita Proof Assistant

Web Technologies: Selected & extended papers from WT ACM SAC 2012

WebGraph: The Next Generation (Is in Rust)

scientific article published on 12 May 2024

Where are your manners?

scholarly article published 2009

Why do software packages conflict?

scholarly article published June 2012

Wiki Semantics via Wiki Templating

Wiki content templating

Worldwide gender differences in public code contributions

scientific article published on 17 October 2022

ledger2beancount

Ledger to Beancount text-based converter

‘Open source has won and lost the war’: Legitimising commercial–communal hybridisation in a FOSS project

scientific article published in 2020

Paulina is supported by:

About Paulina

Help