Stefano Zacchiroli

	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

Coauthor Index

1	Pietro Abate	[15]
2	Andrea Asperti	[1] [4] [7]
3	Jaap Boender	[15]
4	Claudio Sacerdoti Coen	[1] [2] [3] [4] [7] [8] [9]
5	Roberto Di Cosmo	[15] [17]
6	Ferruccio Guidi	[1]
7	Angelo Di Iorio	[6] [12] [16] [18]
8	Luca Padovani	[3] [5]
9	Patrizio Pelliccione	[14]
10	Alfonso Pierantonio	[14]
11	Davide Rossi	[16] [18]
12	Davide Di Ruscio	[14]
13	Enrico Tassi	[1] [4] [7] [8]
14	Ralf Treinen	[10] [11] [13]
15	Paulo Trezentos	[17]
16	Fabio Vitali	[12] [16] [18]

Colors in the list of coauthors