 | 2009 |
| 18 |  | Angelo Di Iorio,
Davide Rossi,
Fabio Vitali,
Stefano Zacchiroli:
Where are your manners?: Sharing best community practices in the web 2.0.
SAC 2009: 681-687 |
| 17 |  | Roberto Di Cosmo,
Stefano Zacchiroli,
Paulo Trezentos:
Package upgrades in FOSS distributions: details and challenges
CoRR abs/0902.1610: (2009) |
| 16 |  | Angelo Di Iorio,
Fabio Vitali,
Davide Rossi,
Stefano Zacchiroli:
Where are your Manners? Sharing Best Community Practices in the Web 2.0
CoRR abs/0905.2509: (2009) |
| 15 |  | Pietro Abate,
Jaap Boender,
Roberto Di Cosmo,
Stefano Zacchiroli:
Strong Dependencies between Software Components
CoRR abs/0905.4226: (2009) |
| 14 |  | Davide Di Ruscio,
Patrizio Pelliccione,
Alfonso Pierantonio,
Stefano Zacchiroli:
Towards maintainer script modernization in FOSS distributions
CoRR abs/0909.5087: (2009) |
| 13 |  | Ralf Treinen,
Stefano Zacchiroli:
Expressing advanced user preferences in component installation
CoRR abs/0909.5091: (2009) |
| 2008 |
| 12 |  | Angelo Di Iorio,
Fabio Vitali,
Stefano Zacchiroli:
Wiki content templating.
WWW 2008: 615-624 |
| 11 |  | Ralf Treinen,
Stefano Zacchiroli:
Solving package dependencies: from EDOS to Mancoosi
CoRR abs/0811.3620: (2008) |
| 10 |  | Ralf Treinen,
Stefano Zacchiroli:
Description of the CUDF Format
CoRR abs/0811.3621: (2008) |
| 2007 |
| 9 |  | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Spurious Disambiguation Error Detection.
Calculemus/MKM 2007: 381-392 |
| 8 |  | Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Tinycals: Step by Step Tacticals.
Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007) |
| 7 |  | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
User Interaction with the Matita Proof Assistant.
J. Autom. Reasoning 39(2): 109-139 (2007) |
| 2006 |
| 6 |  | Angelo Di Iorio,
Stefano Zacchiroli:
Constrained Wiki: an Oxymoron?
Int. Sym. Wikis 2006: 89-98 |
| 5 |  | Luca Padovani,
Stefano Zacchiroli:
From Notation to Semantics: There and Back Again.
MKM 2006: 194-207 |
| 4 |  | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Crafting a Proof Assistant.
TYPES 2006: 18-32 |
| 2004 |
| 3 |  | Luca Padovani,
Claudio Sacerdoti Coen,
Stefano Zacchiroli:
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
GPCE 2004: 469-487 |
| 2 |  | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Efficient Ambiguous Parsing of Mathematical Formulae.
MKM 2004: 347-362 |
| 1 |  | Andrea Asperti,
Ferruccio Guidi,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp.
TYPES 2004: 17-32 |