- Strong Dependencies between Software Components Pietro Abate
- Towards Maintainer Script Modernization in FOSS Distributions
- Chapter XXXIV Wiki Semantics via Wiki
- Constrained Wiki: an Oxymoron? Angelo Di Iorio
- Content Cloaking: Preserving Privacy with Google Docs and other Web Applications
- Specific Targeted Research Project Contract no.214898
- Specific Targeted Research Project Contract no.214898
- Tinycals: step by step tacticals Claudio Sacerdoti Coen 1
- Brokers and Web-Services for Automatic Deduction: a Case Study
- Towards the unification of formats for overlapping markup Paolo Marinelli
- janvier 2010 Journes Francophones des Langages Applicatifs JFLA10 Enforcing Type-Safe Linking
- User Interaction Widgets for Interactive Theorem Proving
- Efficient Ambiguous Parsing of Mathematical Formulae
- Extreme Markup Languages 2007 Montral, Qubec August 7-10, 2007
- Universit`a degli Studi di Bologna Facolt`a di Scienze Matematiche, Fisiche e Naturali
- Enforcing Type-Safe Linking using Inter-Package Relationships
- Where are your Manners? Sharing Best Community Practices in the Web 2.0
- Expressing Advanced User Preferences in Component Installation
- The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining
- Supporting Software Evolution in Component-Based FOSS Systems$
- Math.comput.sci. 2 (2008), 355378 c 2008 Birkhauser Verlag Basel/Switzerland
- J Autom Reasoning (2007) 39:109139 DOI 10.1007/s10817-007-9070-5
- Wiki Content Templating Angelo Di Iorio
- Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli
- Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli
- A content based mathematical search engine: Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen,
- A Generative Approach to the Implementation of Language Bindings
- Package Upgrades in FOSS Distributions: Details and Challenges Roberto Di Cosmo Stefano Zacchiroli
- Co-Constraint Validation in a Streaming Context Paolo Marinelli
- Specific Targeted Research Project Contract no.214898
- Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators
- Templating Wiki Content for Fun and Profit Angelo Di Iorio Fabio Vitali Stefano Zacchiroli
- Solving Package Dependencies: From EDOS to Mancoosi
- A Model Driven Approach to Upgrade Package-Based Software Systems
- Feature Diagrams as Package Dependencies Roberto Di Cosmo and Stefano Zacchiroli
- New Developments in Electronic Publishing AMS/SMM Special Session, Houston, May 2004
- MPM : a modular package manager Pietro Abate
