Search the dblp DataBase

Publications of Author

1. Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
   A Generative Approach to the Implementation of Language Bindings for the Document Object Model. [Citation Graph (0, 0)][DBLP]
   GPCE, 2004, pp:469-487 [Conf]
   
2. Luca Padovani, Stefano Zacchiroli
   From Notation to Semantics: There and Back Again. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:194-207 [Conf]
   
3. Claudio Sacerdoti Coen, Stefano Zacchiroli
   Efficient Ambiguous Parsing of Mathematical Formulae. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:347-362 [Conf]
   
4. Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   A Content Based Mathematical Search Engine: Whelp. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:17-32 [Conf]
   
5. Angelo Di Iorio, Stefano Zacchiroli
   Constrained Wiki: an Oxymoron? [Citation Graph (0, 0)][DBLP]
   Int. Sym. Wikis, 2006, pp:89-98 [Conf]
   
6. Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   Tinycals: Step by Step Tacticals. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:125-142 [Journal]
   
7. Claudio Sacerdoti Coen, Stefano Zacchiroli
   Spurious Disambiguation Error Detection. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:381-392 [Conf]
   
8. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   Crafting a Proof Assistant. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:18-32 [Conf]
   
9. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   User Interaction with the Matita Proof Assistant. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2007, v:39, n:2, pp:109-139 [Journal]
   
10. 
    The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining. [Citation Graph (, )][DBLP]
    
    
11. 
    Where are your manners?: Sharing best community practices in the web 2.0. [Citation Graph (, )][DBLP]
    
    
12. 
    Content cloaking: preserving privacy with Google Docs and other web applications. [Citation Graph (, )][DBLP]
    
    
13. 
    Feature Diagrams as Package Dependencies. [Citation Graph (, )][DBLP]
    
    
14. 
    Wiki content templating. [Citation Graph (, )][DBLP]
    
    
15. 
    Strong dependencies between software components. [Citation Graph (, )][DBLP]
    
    
16. 
    Package Upgrades In FOSS Distributions: Details And Challenges. [Citation Graph (, )][DBLP]
    
    
17. 
    Solving package dependencies: from EDOS to Mancoosi [Citation Graph (, )][DBLP]
    
    
18. 
    Description of the CUDF Format [Citation Graph (, )][DBLP]
    
    
19. 
    Package upgrades in FOSS distributions: details and challenges [Citation Graph (, )][DBLP]
    
    
20. 
    Where are your Manners? Sharing Best Community Practices in the Web 2.0 [Citation Graph (, )][DBLP]
    
    
21. 
    Strong Dependencies between Software Components [Citation Graph (, )][DBLP]
    
    
22. 
    Towards maintainer script modernization in FOSS distributions [Citation Graph (, )][DBLP]
    
    
23. 
    Expressing advanced user preferences in component installation [Citation Graph (, )][DBLP]