From: Stefano Zacchiroli Date: Tue, 9 Sep 2008 11:33:07 +0000 (+0200) Subject: update paper list X-Git-Url: http://git.upsilon.cc/?p=homepage.git;a=commitdiff_plain;h=d486f39d57a9542df513b3d35e7fc7299ad3d82e update paper list --- diff --git a/research/publications.mdwn b/research/publications.mdwn index 3f23088e..389eb13f 100644 --- a/research/publications.mdwn +++ b/research/publications.mdwn @@ -5,7 +5,7 @@ Here is a list of my **academic papers**, classified by type of publication and in reverse chronological order. [[toc ]] -# journal publications +# journal articles 1. [.pdf] Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli. **Towards the unification of formats for overlapping markup** @@ -41,8 +41,31 @@ in reverse chronological order. *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics. """]] +# book chapters + + 1. [.pdf] Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli. + **Web Semantics via Wiki Templating** + . + To appear in Handbook of research on Web 2.0, 3.0 and x.0: + technologies, business and social applications. + + [[toggle id=id21 text="Abstract..."]] [[toggleable id=id21 text=""" + *Abstract:* A foreseeable incarnation of Web 3.0 is a Web inheriting machine un- derstandability from the (eternally to come) Semantic Web, and collab- orative editing from (the reality of) Web 2.0 applications. We review the research and development trends which are getting today Web nearer to such an incarnation. We present semantic wikis, microformats, and the so-called “lowercase semantic web”: they are the main approaches at closing the technological gap between content authors and Semantic Web technologies. We discuss a too often neglected aspect of the associated technologies, namely how much they adhere to the wiki philosophy of open editing: is there an intrinsic incompatibility between semantic rich content and unconstrained editing? We show that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon. + """]] + # conference proceedings + 1. [.pdf] Roberto Di Cosmo, Paulo Trezentos, Stefano Zacchiroli. + **Package Upgrades in FOSS Distributions: Details and Challenges** + . + Submitted for publication in proceedings of + First ACM Workshop + on Hot Topics in Software Upgrades (HotSWUp). 20 October 2008, + Nashville, Tennessee. + + [[toggle id=id22 text="Abstract..."]] [[toggleable id=id22 text=""" + *Abstract:* The upgrade problems faced by FOSS (Free and Open Source Software) distributions have characteristics not easily found in other contexts. We describe the structure of distribution packages and the roles played by their components in the package upgrade process. We show that state of the art package managers have shortcomings unable to cope with, and responsible for, frequent upgrade failures. We present current countermeasures to such failures and argue that they are unsuitable to deal with most kinds of upgrade failures. We sketch alternative solutions that are worth investigating. + """]] 1. [.pdf] Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli. **Wiki Content Templating** .