fix classification of a specific paper
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Apr 2011 11:27:04 +0000 (13:27 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Apr 2011 11:27:04 +0000 (13:27 +0200)
research/publications.mdwn

index 33ac227..779b43e 100644 (file)
@@ -109,11 +109,6 @@ in reverse chronological order.
     [[!toggle id=id4 text="Abstract..."]] [[!toggleable id=id4 text="""
     *Abstract:* The availability of a C implementation for the Document Object Model (DOM) gives the interesting opportunity of generating bindings for different programming languages automatically. Because of the DOM bias towards Java-like languages, a C implementation that fakes objects, inheritance, polymorphism, exceptions and uses reference-counting introduces a gap between the API specification and its actual implementation that the bindings should try to close. In this paper we overview the generative approach in this particular context and apply it for the generation of C++ and OCaml bindings.
     """]]
- 1. <a class="paper_download" href="mathsearch.pdf">[.pdf]</a> <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Searching Mathematics on the Web: State of the Art and Future Developments**.  <em>In Proceedings of<a href="http://eic-ecm4.sub.uni-goettingen.de/">New
-       Developments in Electronic Publishing AMS/SMM</a>Special Session, Houston, May 2004 ECM4 Satellite Conference, Stockholm, June 2004<a href="http://www.emis.de/proceedings/Stockholm2004/asperti.pdf">p. 9-18</a>. FIZ Karlsruhe, ISBN 3-88127-107-4.</em>
-    [[!toggle id=id3 text="Abstract..."]] [[!toggleable id=id3 text="""
-    *Abstract:* A huge amount of mathematical knowledge is nowadays available on the World Wide Web. Many different solutions and technologies for searching that knowledge have been developed as well. We present the state of the art of searching mathematics on the Web, giving some insight on future developments in this area.
-    """]]
  1. <a class="paper_download" href="disambiguation.pdf">[.pdf]</a> <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Efficient Ambiguous Parsing of Mathematical Formulae**.  <em>In Proceedings of<a href="http://www.mkm-ig.org/meetings/mkm04/">MKM
          2004</a>Third International Conference on Mathematical Knowledge Management. September 19-21, 2004 Bialowieza - Poland.<a href="http://www.springerlink.com/content/978-3-540-23029-8/">LNCS
          3119</a>, Springer Berlin / Heidelberg, ISBN 3-540-23029-7,<a href="http://www.springerlink.com/content/kxkbpg34y5xrtenu/">pp.
@@ -165,6 +160,11 @@ in reverse chronological order.
     [[!toggle id=id7 text="Abstract..."]] [[!toggleable id=id7 text="""
     *Abstract:* In this paper we propose a new wiki concept -- light constraints -- designed to encode community best practices and domain-specific requirements, and to assist in their application. While the idea of constraining user editing of wiki content seems to inherently contradict "The Wiki Way", it is well-known that communities of users involved in wiki sites have the habit of establishing best authoring practices. For domain-specific wiki systems which process wiki content, it is often useful to enforce some well-formedness conditions on specific page contents. This paper describes a general framework to think about the interaction of wiki system with constraints, and presents a generic architecture which can be easily incorporated into existing wiki systems to exploit the capabilities enabled by light constraints.
     """]]
+ 1. <a class="paper_download" href="mathsearch.pdf">[.pdf]</a> <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Searching Mathematics on the Web: State of the Art and Future Developments**.  <em>In Proceedings of<a href="http://eic-ecm4.sub.uni-goettingen.de/">New
+       Developments in Electronic Publishing AMS/SMM</a>Special Session, Houston, May 2004 ECM4 Satellite Conference, Stockholm, June 2004<a href="http://www.emis.de/proceedings/Stockholm2004/asperti.pdf">p. 9-18</a>. FIZ Karlsruhe, ISBN 3-88127-107-4.</em>
+    [[!toggle id=id3 text="Abstract..."]] [[!toggleable id=id3 text="""
+    *Abstract:* A huge amount of mathematical knowledge is nowadays available on the World Wide Web. Many different solutions and technologies for searching that knowledge have been developed as well. We present the state of the art of searching mathematics on the Web, giving some insight on future developments in this area.
+    """]]
  1. <a class="paper_download" href="hbugs.pdf">[.pdf]</a> <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Brokers and Web-Services for Automatic Deduction: a Case Study**.  <em>In Proceedings of<a href="http://www-calfor.lip6.fr/~rr/Calculemus03/">Calculemus
          2003</a>11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Roma, Italy -- September 10-12, 2003, Aracne Editrice S.R.L. ISBN 88-7999-545-6, pp. 43-57, 2003.</em>
     [[!toggle id=id1 text="Abstract..."]] [[!toggleable id=id1 text="""