Stefano Zacchiroli

142 papers A* 4A 21B 7C 1Misc 3Journal 79Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic Much? Adoption of Coding Agents on GitHub.
CoRR
Romain Robbes, Théo Matricon, Thomas Degueule, André C. Hora, Stefano Zacchiroli
2026 J jnl
DRAGON: Robust Classification for Very Large Collections of Software Repositories.
CoRR
Stefano Balla, Stefano Zacchiroli, Thomas Degueule, Jean-Rémy Falleri, Romain Robbes
2026 J jnl
Determining the intrinsic structure of public software development history: an exploratory study.
Empir. Softw. Eng.
Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli
2026 J jnl
Docker Does Not Guarantee Reproducibility.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2026 J jnl
Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity.
CoRR
Romain Robbes, Théo Matricon, Thomas Degueule, André C. Hora, Stefano Zacchiroli
2025 A* conf
Altered Histories in Version Control System Repositories: Evidence from the Trenches.
ASE
Solal Rapaport, Laurent Pautet, Samuel Tardieu, Stefano Zacchiroli
2025 J jnl
Altered Histories in Version Control System Repositories: Evidence from the Trenches.
CoRR
Solal Rapaport, Laurent Pautet, Samuel Tardieu, Stefano Zacchiroli
2025 A conf
Automatic Classification of Software Repositories: a Systematic Mapping Study.
EASE
Stefano Balla, Thomas Degueule, Romain Robbes, Jean-Rémy Falleri, Stefano Zacchiroli
2025 J jnl
Chasing One-day Vulnerabilities Across Open Source Forks.
CoRR
Romain Lefeuvre, Charly Reux, Stefano Zacchiroli, Olivier Barais, Benoît Combemale
2025 A conf
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
MSR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
Finding Software Supply Chain Attack Paths with Logical Attack Graphs.
CoRR
Luis Soeiro, Thomas Robert, Stefano Zacchiroli
2025 A conf
Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry.
SANER
Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2025 J jnl
On the compressibility of large-scale source code datasets.
J. Syst. Softw.
Antonio Boffa, Roberto Di Cosmo, Paolo Ferragina, Andrea Guerra, Giovanni Manzini, Giorgio Vinciguerra, Stefano Zacchiroli
2025 A* conf
ROSA: Finding Backdoors with Fuzzing.
ICSE
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
2025 J jnl
ROSA: Finding Backdoors with Fuzzing.
CoRR
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
2025 J jnl
Subverting or preserving the institution: Competing IT firm and foundation discourses about open source.
New Media Soc.
Laure Muselli, Mathieu O'Neil, Fred Pailler, Stefano Zacchiroli
2025 J jnl
The impact of the COVID-19 pandemic on women's contribution to public code.
Empir. Softw. Eng.
Annalí Casanueva Artís, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
University Rents Enabling Corporate Innovation: Mapping Academic Researcher Coding and Discursive Labour in the R Language Ecosystem.
CoRR
Xiaolan Cai, Mathieu O'Neil, Stefano Zacchiroli
2025 A conf
Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code.
MSR
Luis Soeiro, Thomas Robert, Stefano Zacchiroli
2025 J jnl
Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code.
CoRR
Luis Soeiro, Thomas Robert, Stefano Zacchiroli
2024 J jnl
Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality.
New Media Soc.
Mathieu O'Neil, Laure Muselli, Xiaolan Cai, Stefano Zacchiroli
2024 J jnl
Code stylometry vs formatting and minification.
PeerJ Comput. Sci.
Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli
2024 J jnl
Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry.
CoRR
Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2024 — conf
Reproducibility of Build Environments through Space and Time.
NIER@ICSE
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2024 J jnl
Reproducibility of Build Environments through Space and Time.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2024 — conf
Source Code Archiving to the Rescue of Reproducible Deployment.
ACM-REP
Ludovic Courtès, Timothy Sample, Stefano Zacchiroli, Simon Tournier
2024 J jnl
Source Code Archiving to the Rescue of Reproducible Deployment.
CoRR
Ludovic Courtès, Timothy Sample, Simon Tournier, Stefano Zacchiroli
2024 J jnl
Stylometry for real-world expert coders: a zero-shot approach.
PeerJ Comput. Sci.
Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2024 J jnl
The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code.
CoRR
Annalí Casanueva Artís, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann
2024 — conf
WebGraph: The Next Generation (Is in Rust).
WWW (Companion Volume)
Tommaso Fontana, Sebastiano Vigna, Stefano Zacchiroli
2023 B conf
Assessing the Threat Level of Software Supply Chains with the Log Model.
IEEE Big Data
Luis Soeiro, Thomas Robert, Stefano Zacchiroli
2023 J jnl
Assessing the Threat Level of Software Supply Chains with the Log Model.
CoRR
Luis Soeiro, Thomas Robert, Stefano Zacchiroli
2023 — conf
Fingerprinting and Building Large Reproducible Datasets.
ACM-REP
Romain Lefeuvre, Jessie Galasso, Benoît Combemale, Houari A. Sahraoui, Stefano Zacchiroli
2023 J jnl
Fingerprinting and Building Large Reproducible Datasets.
CoRR
Romain Lefeuvre, Jessie Galasso, Benoît Combemale, Houari A. Sahraoui, Stefano Zacchiroli
2023 J jnl
Robust and scalable content-and-structure indexing.
VLDB J.
Kevin Wellenzohn, Michael H. Böhlen, Sven Helmer, Antoine Pietri, Stefano Zacchiroli
2023 J jnl
The Software Heritage License Dataset (2022 Edition).
CoRR
Jesús M. González-Barahona, Sergio Raúl Montes León, Gregorio Robles, Stefano Zacchiroli
2023 — ch.
The Software Heritage Open Science Ecosystem.
Software Ecosystems: Tooling and Analytics
Roberto Di Cosmo, Stefano Zacchiroli
2023 J jnl
The Software Heritage Open Science Ecosystem.
CoRR
Roberto Di Cosmo, Stefano Zacchiroli
2023 J jnl
The software heritage license dataset (2022 edition).
Empir. Softw. Eng.
Jesús M. González-Barahona, Sergio Raúl Montes León, Gregorio Robles, Stefano Zacchiroli
2023 J jnl
Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source Code.
CoRR
Yiming Sun, Daniel M. Germán, Stefano Zacchiroli
2023 J jnl
Using the uniqueness of global identifiers to determine the provenance of Python software source code.
Empir. Softw. Eng.
Yiming Sun, Daniel M. Germán, Stefano Zacchiroli
2022 A conf
A Large-scale Dataset of (Open Source) License Text Variants.
MSR
Stefano Zacchiroli
2022 J jnl
A Large-scale Dataset of (Open Source) License Text Variants.
CoRR
Stefano Zacchiroli
2022 C conf
Efficient Prior Publication Identification for Open Source Code.
OpenSym
Daniele Serafini, Stefano Zacchiroli
2022 J jnl
Efficient Prior Publication Identification for Open Source Code.
CoRR
Daniele Serafini, Stefano Zacchiroli
2022 J jnl
Geographic Diversity in Public Code Contributions.
CoRR
Davide Rossi, Stefano Zacchiroli
2022 A conf
Geographic Diversity in Public Code Contributions: An Exploratory Large-Scale Study Over 50 Years.
MSR
Davide Rossi, Stefano Zacchiroli
2022 J jnl
Reproducible Builds: Increasing the Integrity of Software Supply Chains.
IEEE Softw.
Chris Lamb, Stefano Zacchiroli
2022 J jnl
Robust and Scalable Content-and-Structure Indexing (Extended Version).
CoRR
Kevin Wellenzohn, Michael H. Böhlen, Sven Helmer, Antoine Pietri, Stefano Zacchiroli
2022 A conf
Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis.
ESEM
Zeinab Abou Khalil, Stefano Zacchiroli
2022 J jnl
Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis.
CoRR
Zeinab Abou Khalil, Stefano Zacchiroli
2022 A conf
The General Index of Software Engineering Papers.
MSR
Zeinab Abou Khalil, Stefano Zacchiroli
2022 J jnl
The General Index of Software Engineering Papers.
CoRR
Zeinab Abou Khalil, Stefano Zacchiroli
2022 — conf
Worldwide Gender Differences in Public Code Contributions and how they have been affected by the COVID-19 pandemic.
ICSE-SEIS
Davide Rossi, Stefano Zacchiroli
2022 J jnl
Worldwide Gender Differences in Public Code Contributions.
CoRR
Davide Rossi, Stefano Zacchiroli
2021 J jnl
'Open source has won and lost the war': Legitimising commercial-communal hybridisation in a FOSS project.
New Media Soc.
Mathieu O'Neil, Laure Muselli, Mahin Raissi, Stefano Zacchiroli
2021 Misc conf
Content-Based Textual File Type Detection at Scale.
ICMLC
Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
2021 J jnl
Content-Based Textual File Type Detection at Scale.
CoRR
Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
2021 J jnl
Gender Differences in Public Code Contributions: A 50-Year Perspective.
IEEE Softw.
Stefano Zacchiroli
2021 J jnl
Image-based many-language programming language identification.
PeerJ Comput. Sci.
Francesca Del Bonifro, Maurizio Gabbrielli, Antonio Lategano, Stefano Zacchiroli
2021 — ed.
Open Source Systems - 17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12-13, 2021, Proceedings
OSS
Davide Taibi, Valentina Lenarduzzi, Terhi Kilamo, Stefano Zacchiroli
2021 J jnl
Reproducible Builds: Increasing the Integrity of Software Supply Chains.
CoRR
Chris Lamb, Stefano Zacchiroli
2021 — conf
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development.
ICSE (Companion Volume)
Thibault Allançon, Antoine Pietri, Stefano Zacchiroli
2021 J jnl
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development.
CoRR
Thibault Allançon, Antoine Pietri, Stefano Zacchiroli
2020 J jnl
Continuous Open Source License Compliance.
Computer
Simon Phipps, Stefano Zacchiroli
2020 J jnl
Continuous Open Source License Compliance.
CoRR
Simon Phipps, Stefano Zacchiroli
2020 A conf
Dependency Solving Is Still Hard, but We Are Getting Better at It.
SANER
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
2020 J jnl
Dependency Solving Is Still Hard, but We Are Getting Better at It.
CoRR
Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli
2020 A conf
Determining the Intrinsic Structure of Public Software Development History.
MSR
Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli
2020 J jnl
Determining the Intrinsic Structure of Public Software Development History.
CoRR
Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli
2020 A conf
Forking Without Clicking: on How to Identify Software Repository Forks.
MSR
Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli
2020 J jnl
Forking Without Clicking: on How to Identify Software Repository Forks.
CoRR
Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli
2020 J jnl
Gender Differences in Public Code Contributions: a 50-year Perspective.
CoRR
Stefano Zacchiroli
2020 J jnl
Referencing Source Code Artifacts: A Separate Concern in Software Citation.
Comput. Sci. Eng.
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
2020 J jnl
Referencing Source Code Artifacts: a Separate Concern in Software Citation.
CoRR
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
2020 J jnl
Software provenance tracking at the scale of public source code.
Empir. Softw. Eng.
Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli
2020 A conf
The Software Heritage Graph Dataset: Large-scale Analysis of Public Software Development History.
MSR
Antoine Pietri, Diomidis Spinellis, Stefano Zacchiroli
2020 J jnl
The Software Heritage Graph Dataset: Large-scale Analysis of Public Software Development History.
CoRR
Antoine Pietri, Diomidis Spinellis, Stefano Zacchiroli
2020 A conf
Ultra-Large-Scale Repository Analysis via Graph Compression.
SANER
Paolo Boldi, Antoine Pietri, Sebastiano Vigna, Stefano Zacchiroli
2019 J jnl
Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale.
CoRR
Guillaume Rousseau, Roberto Di Cosmo, Stefano Zacchiroli
2019 A conf
The software heritage graph dataset: public software development under one roof.
MSR
Antoine Pietri, Diomidis Spinellis, Stefano Zacchiroli
2018 J jnl
Building the universal archive of source code.
Commun. ACM
Jean-François Abramatic, Roberto Di Cosmo, Stefano Zacchiroli
2018 — conf
Identifiers for Digital Objects: The case of software source code preservation.
iPRES
Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli
2018 J jnl
Spacetime Characterization of Real-Time Collaborative Editing.
Proc. ACM Hum. Comput. Interact.
Gabriele D'Angelo, Angelo Di Iorio, Stefano Zacchiroli
2018 — conf
Towards Universal Software Evolution Analysis.
BENEVOL
Antoine Pietri, Stefano Zacchiroli
2017 — ed.
Open Source Systems: Towards Robust Practices - 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
OSS
Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli
2017 B conf
Software Heritage: Scholarly and Educational Synergies with Preserving Our Software Commons.
ITiCSE
Stefano Zacchiroli
2017 — conf
Software Heritage: Why and How to Preserve Software Source Code.
iPRES
Roberto Di Cosmo, Stefano Zacchiroli
2017 J jnl
The Debsources Dataset: two decades of free and open source software.
Empir. Softw. Eng.
Matthieu Caneill, Daniel M. Germán, Stefano Zacchiroli
2015 B conf
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).
CONCUR
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015 A conf
Automatic Deployment of Services in the Cloud with Aeolus Blender.
ICSOC
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015 J jnl
Editorial.
J. Web Eng.
Angelo Di Iorio, Davide Rossi, Stefano Zacchiroli
2015 A conf
Mining Component Repositories for Installability Issues.
MSR
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
2015 A conf
The Debsources Dataset: Two Decades of Debian Source Code Metadata.
MSR
Stefano Zacchiroli
2014 J jnl
Aeolus: A component model for the cloud.
Inf. Comput.
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2014 A* conf
Automated synthesis and deployment of cloud applications.
ASE
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
2014 A conf
Debsources: live and historical views on macro-level software evolution.
ESEM
Matthieu Caneill, Stefano Zacchiroli
2014 J jnl
Learning from the future of component repositories.
Sci. Comput. Program.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2014 J jnl
Web Technologies: Selected & extended papers from WT ACM SAC 2012.
Sci. Comput. Program.
Angelo Di Iorio, Davide Rossi, Stefano Zacchiroli
2013 J jnl
A modular package manager architecture.
Inf. Softw. Technol.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2013 — conf
Aeolus: Mastering the Complexity of Cloud Application Deployment.
ESOCC
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2013 — conf
Component Reconfiguration in the Presence of Conflicts.
ICALP (2)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2013 J jnl
Editorial.
Softw. Pract. Exp.
Angelo Di Iorio, Davide Rossi, Stefano Zacchiroli
2012 J jnl
Constrained Wiki: The WikiWay to Validating Content.
Adv. Hum. Comput. Interact.
Angelo Di Iorio, Francesco Draicchio, Fabio Vitali, Stefano Zacchiroli
2012 J jnl
Dependency solving: A separate concern in component evolution management.
J. Syst. Softw.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 — conf
Formal Aspects of Free and Open Source Software Components - A Short Survey.
FMCO
Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 — conf
Learning from the future of component repositories.
CBSE
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 B conf
Towards a Formal Component Model for the Cloud.
SEFM
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
2012 A conf
Why do software packages conflict?
MSR
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011 J jnl
Enforcing Type-Safe Linking using Inter-Package Relationships.
Stud. Inform. Univ.
Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli
2011 — conf
MPM: a modular package manager.
CBSE
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011 J jnl
Sources of Inter-package Conflicts in Debian
CoRR
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli
2011 J jnl
Supporting software evolution in component-based FOSS systems.
Sci. Comput. Program.
Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
2010 Misc conf
Content cloaking: preserving privacy with Google Docs and other web applications.
SAC
Gabriele D'Angelo, Fabio Vitali, Stefano Zacchiroli
2010 B conf
Feature Diagrams as Package Dependencies.
SPLC
Roberto Di Cosmo, Stefano Zacchiroli
2010 A conf
The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining.
MSR
Lucas Nussbaum, Stefano Zacchiroli
2009 — conf
A Model Driven Approach to Upgrade Package-Based Software Systems.
ENASE (Selected Papers)
Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
2009 J jnl
Expressing advanced user preferences in component installation
CoRR
Ralf Treinen, Stefano Zacchiroli
2009 J jnl
Package upgrades in FOSS distributions: details and challenges
CoRR
Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos
2009 J jnl
Strong Dependencies between Software Components
CoRR
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
2009 A conf
Strong dependencies between software components.
ESEM
Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli
2009 B conf
Towards a Model Driven Approach to Upgrade Complex Software Systems.
ENASE
Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
2009 J jnl
Towards maintainer script modernization in FOSS distributions
CoRR
Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
2009 J jnl
Where are your Manners? Sharing Best Community Practices in the Web 2.0
CoRR
Angelo Di Iorio, Fabio Vitali, Davide Rossi, Stefano Zacchiroli
2009 Misc conf
Where are your manners?: Sharing best community practices in the web 2.0.
SAC
Angelo Di Iorio, Davide Rossi, Fabio Vitali, Stefano Zacchiroli
2008 J jnl
Description of the CUDF Format
CoRR
Ralf Treinen, Stefano Zacchiroli
2008 — conf
Package Upgrades In FOSS Distributions: Details And Challenges.
HotSWUp
Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos
2008 J jnl
Solving package dependencies: from EDOS to Mancoosi
CoRR
Ralf Treinen, Stefano Zacchiroli
2008 J jnl
Spurious Disambiguation Errors and How to Get Rid of Them.
Math. Comput. Sci.
Claudio Sacerdoti Coen, Stefano Zacchiroli
2008 J jnl
Towards the unification of formats for overlapping markup.
New Rev. Hypermedia Multim.
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
2008 A* conf
Wiki content templating.
WWW
Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli
2007 — conf
Spurious Disambiguation Error Detection.
Calculemus/MKM
Claudio Sacerdoti Coen, Stefano Zacchiroli
2007 J jnl
User Interaction with the Matita Proof Assistant.
J. Autom. Reason.
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2007 — —
User interaction widgets for interactive theorem proving.
Stefano Zacchiroli
2006 — conf
Constrained Wiki: an Oxymoron?
Int. Sym. Wikis
Angelo Di Iorio, Stefano Zacchiroli
2006 — conf
Crafting a Proof Assistant.
TYPES
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2006 — conf
From Notation to Semantics: There and Back Again.
MKM
Luca Padovani, Stefano Zacchiroli
2006 — conf
Tinycals: Step by Step Tacticals.
UITP@FLoC
Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2004 — conf
A Content Based Mathematical Search Engine: Whelp.
TYPES
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
2004 B conf
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
GPCE
Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
2004 — conf
Efficient Ambiguous Parsing of Mathematical Formulae.
MKM
Claudio Sacerdoti Coen, Stefano Zacchiroli