update paper list

diff --git a/research/publications.mdwn b/research/publications.mdwn
index 3f23088..389eb13 100644 (file)
--- 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 ]]
 
 in reverse chronological order.
 [[toc ]]
 

-# journal publications
+# journal articles

 
  1. <a class="paper_download" href="nrhm-overlapping-conversions.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli.
       **Towards the unification of formats for overlapping markup**
 
  1. <a class="paper_download" href="nrhm-overlapping-conversions.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> 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.
     """]]
 
     *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. <a class="paper_download" href="web30-semantics-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli.
+      **Web Semantics via Wiki Templating**
+      . <em>
+       To appear in Handbook of research on Web 2.0, 3.0 and x.0:
+       technologies, business and social applications.
+      </em>
+    [[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
 
 # conference proceedings
 

+ 1. <a class="paper_download" href="hotswup-package-upgrade.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Roberto Di Cosmo, Paulo Trezentos, Stefano Zacchiroli.
+      **Package Upgrades in FOSS Distributions: Details and Challenges**
+      . <em>
+       Submitted for publication in proceedings of
+               <a href="http://www.hotswup.org/">First ACM Workshop
+         on Hot Topics in Software Upgrades (HotSWUp)</a>. 20 October 2008,
+       Nashville, Tennessee.
+      </em>
+    [[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. <a class="paper_download" href="wiki-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli.
       **Wiki Content Templating**
       . <em>
  1. <a class="paper_download" href="wiki-templating.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli.
       **Wiki Content Templating**
       . <em>