| 2008 |
|---|
| 10 | EE | Angelo Di Iorio,
Fabio Vitali,
Stefano Zacchiroli:
Wiki content templating.
WWW 2008: 615-624 |
| 2007 |
|---|
| 9 | EE | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Spurious Disambiguation Error Detection.
Calculemus/MKM 2007: 381-392 |
| 8 | EE | Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Tinycals: Step by Step Tacticals.
Electr. Notes Theor. Comput. Sci. 174(2): 125-142 (2007) |
| 7 | EE | 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 | EE | Angelo Di Iorio,
Stefano Zacchiroli:
Constrained Wiki: an Oxymoron?
Int. Sym. Wikis 2006: 89-98 |
| 5 | EE | Luca Padovani,
Stefano Zacchiroli:
From Notation to Semantics: There and Back Again.
MKM 2006: 194-207 |
| 4 | EE | Andrea Asperti,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
Crafting a Proof Assistant.
TYPES 2006: 18-32 |
| 2004 |
|---|
| 3 | EE | 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 | EE | Claudio Sacerdoti Coen,
Stefano Zacchiroli:
Efficient Ambiguous Parsing of Mathematical Formulae.
MKM 2004: 347-362 |
| 1 | EE | Andrea Asperti,
Ferruccio Guidi,
Claudio Sacerdoti Coen,
Enrico Tassi,
Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp.
TYPES 2004: 17-32 |
