add editorial info for handbook chapter
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Dec 2008 12:10:54 +0000 (13:10 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Dec 2008 12:10:54 +0000 (13:10 +0100)
research/publications.mdwn

index b9964ff..b32ec2f 100644 (file)
@@ -11,24 +11,21 @@ in reverse chronological order.
        In <a href="http://www.tandf.co.uk/journals/titles/13614568.asp">New
          Review of Hypermedia and
          Multimedia</a>,
-       <a href="http://www.informaworld.com/smpp/title~content=t713599880~db=all~tab=issueslist~branches=14#v14">Volume
-       14</a>, <a href="http://www.informaworld.com/smpp/title~content=g903097087~db=all">Issue
-       1</a>, January
+       <a href="http://www.informaworld.com/smpp/title~content=t713599880~db=all~tab=issueslist~branches=14#v14">Volume 14</a>,
+       <a href="http://www.informaworld.com/smpp/title~content=g903097087~db=all">Issue 1</a>, January
        2008, <a href="http://www.informaworld.com/smpp/content~db=all?content=10.1080/13614560802316145">pp. 57-94</a>.
-       <a href="http://www.tandf.co.uk/">Taylor and
-         Francis</a>, <a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN
-         1361-4568</a>.
+       <a href="http://www.tandf.co.uk/">Taylor and Francis</a>,
+       <a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN 1361-4568</a>.
       </em>
     [[toggle id=id20 text="Abstract..."]] [[toggleable id=id20 text="""
     *Abstract:* Overlapping markup refers to the issue of how to represent data structures more expressive than trees—for example direct acyclic graphs—using markup (meta-)languages which have been designed with trees in mind—for example XML. In this paper we observe that the state of the art in overlapping markup is far from being the widespread and consistent stack of standards and technologies readily available for XML and develop a roadmap for closing the gap. In particular we present in the paper the design and implementation of what we believe to be the first needed step, namely: a syntactic conversion framework among the plethora of overlapping markup serialization formats. The algorithms needed to perform the various conversions are presented in pseudo-code, they are meant to be used as blueprints for researchers and practitioners which need to write batch translation programs from one format to the other.
     """]]
  1. <a class="paper_download" href="mcs-disambiguation-errors.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s11786-008-0058-2" title="Document Object Identifier">doi&gt;</a></span> Claudio Sacerdoti Coen, Stefano Zacchiroli. **Spurious Disambiguation Errors and How to Get Rid of Them**.  <em>
-       In <a href="http://www.springerlink.com/content/1661-8270">Mathematics
-         in Computer Science</a>, Volume 2, Number 2, pp. 355-378,
-         December 2008. <a href="http://www.cs.bham.ac.uk/~mmk/events/mcs/">Special
-         Issue on Management of Mathematical Knowledge</a>, Springer
-         Birkhäuser, <a href="http://www.springerlink.com/content/1661-8270">ISSN
-         1661-8270</a>.
+       In <a href="http://www.springerlink.com/content/1661-8270">Mathematics in Computer Science</a>,
+       Volume 2, Number 2, pp. 355-378, December 2008.
+       <a href="http://www.cs.bham.ac.uk/~mmk/events/mcs/">Special Issue on Management of Mathematical Knowledge</a>,
+       Springer Birkhäuser,
+       <a href="http://www.springerlink.com/content/1661-8270">ISSN 1661-8270</a>.
       </em>
     [[toggle id=id19 text="Abstract..."]] [[toggleable id=id19 text="""
     *Abstract:* The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.
@@ -47,8 +44,9 @@ in reverse chronological order.
 # 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.
+       Chapter 34 of Handbook of research on Web 2.0, 3.0 and x.0:
+       technologies, business and social applications. IGI Publishing, May 2009,
+       ISBN 978-1-60566-384-5.
       </em>
     [[toggle id=id21 text="Abstract..."]] [[toggleable id=id21 text="""
     *Abstract:* A foreseeable incarnation of Web 3.0 could inherit machine understandability from the Semantic Web, and collaborative editing from 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 argue that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon.