regenerate publication list
authorStefano Zacchiroli <zack@debian.org>
Fri, 21 Dec 2007 00:56:09 +0000 (01:56 +0100)
committerStefano Zacchiroli <zack@debian.org>
Fri, 21 Dec 2007 00:56:09 +0000 (01:56 +0100)
research/publications.mdwn

index c32969a..138f65d 100644 (file)
@@ -1,4 +1,6 @@
-## journal publications
+[[toc ]]
+
+# journal publications
 
  1. <a class="paper_download" href="/~zack/stuff/papers/matita.pdf"><img src="/~zack/img/pdf-format-logo.png" alt=".pdf" title=".pdf"/></a> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **[User Interaction with the Matita Proof Assistant](/~zack/stuff/papers/matita.pdf)**. <em>
        In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated
@@ -11,7 +13,7 @@
     *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.
     """]]
 
-## conference proceedings
+# conference proceedings
 
  1. <a class="paper_download" href="/~zack/stuff/papers/steve-latvia.pdf"><img src="/~zack/img/pdf-format-logo.png" alt=".pdf" title=".pdf"/></a> Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli. **[Streaming Validation of Schemata: the Lazy Typing Discipline](/~zack/stuff/papers/steve-latvia.pdf)**. <em>
        In Proceedings of <a href="http://www.extrememarkup.com/extreme/index.html">Extreme Markup
     *Abstract:* We present a planning broker and several Web-Services for automatic deduction. Each Web-Service implements one of the tactics usually available in interactive proof-assistants. When the broker is submitted a proof status (an incomplete proof tree and a focus on an open goal) it dispatches the proof to the Web-Services, collects the successful results, and send them back to the client as hints as soon as they are available. In our experience this architecture turns out to be helpful both for experienced users (who can take benefit of distributing heavy computations) and beginners (who can learn from it).
     """]]
 
-## technical reports
+# technical reports
 
  1. <a class="paper_download" href="/~zack/stuff/papers/flea.pdf"><img src="/~zack/img/pdf-format-logo.png" alt=".pdf" title=".pdf"/></a> Luca Padovani, Stefano Zacchiroli. **[Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators](/~zack/stuff/papers/flea.pdf)**. <em>
        <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-23">Technical
     *Abstract:* Content templating enables reuse of content structures between wiki pages. Such a feature is implemented in several mainstream wiki engines. Systematic study of its conceptual models and comparison of the available implementations are unfortunately missing in the wiki literature. In this paper we aim to fill this gap first analyzing template-related user needs, and then reviewing existing approaches at content templating. Our investigation shows that two models emerge---functional and creational templating---and that both have weakness failing to properly fit in "The Wiki Way". As a solution, we propose the adoption of creational templates enriched with light constraints, showing that such a solution has a low implementative footprint in state-of-the-art wiki engines, and that it has a synergy with semantic wikis.
     """]]
 
-## dissertations
+# dissertations
 
  1. <a class="paper_download" href="/~zack/stuff/papers/phd-thesis.pdf"><img src="/~zack/img/pdf-format-logo.png" alt=".pdf" title=".pdf"/></a> Stefano Zacchiroli. **[User Interaction Widgets for Interactive Theorem Proving](/~zack/stuff/papers/phd-thesis.pdf)**. <em>
        Ph.D. dissertation, <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-10">Technical