|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 22 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli |
Supporting software evolution in component-based FOSS systems.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli |
Sources of Inter-package Conflicts in Debian |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli |
MPM: a modular package manager. |
CBSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Stefano Zacchiroli |
Feature Diagrams as Package Dependencies. |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele D'Angelo, Fabio Vitali, Stefano Zacchiroli |
Content cloaking: preserving privacy with Google Docs and other web applications. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Google Docs, privacy, Web 2.0, AJAX |
| 1 | Lucas Nussbaum, Stefano Zacchiroli |
The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining. |
MSR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli |
Strong Dependencies between Software Components |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Angelo Di Iorio, Fabio Vitali, Davide Rossi, Stefano Zacchiroli |
Where are your Manners? Sharing Best Community Practices in the Web 2.0 |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ralf Treinen, Stefano Zacchiroli |
Expressing advanced user preferences in component installation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos |
Package upgrades in FOSS distributions: details and challenges |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli |
Towards maintainer script modernization in FOSS distributions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli |
Towards a Model Driven Approach to Upgrade Complex Software Systems. |
ENASE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Angelo Di Iorio, Davide Rossi, Fabio Vitali, Stefano Zacchiroli |
Where are your manners?: Sharing best community practices in the web 2.0. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
validation, best-practices, web personalization, web annotations |
| 1 | Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli |
Strong dependencies between software components. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Spurious Disambiguation Errors and How to Get Rid of Them. |
Mathematics in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
metavariables, user interaction, Ambiguity, semantic analysis |
| 1 | Ralf Treinen, Stefano Zacchiroli |
Solving package dependencies: from EDOS to Mancoosi |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ralf Treinen, Stefano Zacchiroli |
Description of the CUDF Format |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli |
Towards the unification of formats for overlapping markup. |
The New Review of Hypermedia and Multimedia |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos |
Package Upgrades In FOSS Distributions: Details And Challenges. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
FOSS, distribution, packages, rollback, upgrade |
| 1 | Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli |
Wiki content templating. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
wiki engine, semantic web, template, microformats |
| 1 | Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
Tinycals: Step by Step Tacticals. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
User Interaction with the Matita Proof Assistant. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Mathematical knowledge management, XML, Digital libraries, Authoring, Interactive theorem proving, Proof assistant |
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Spurious Disambiguation Error Detection. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Stefano Zacchiroli |
From Notation to Semantics: There and Back Again. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
Crafting a Proof Assistant. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Di Iorio, Stefano Zacchiroli |
Constrained Wiki: an Oxymoron? |
Int. Sym. Wikis |
2006 |
DBLP DOI BibTeX RDF |
Wiki system, assisted editing, validation |
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Efficient Ambiguous Parsing of Mathematical Formulae. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
A Content Based Mathematical Search Engine: Whelp. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")