separate headings with newlines
authorStefano Zacchiroli <zack@debian.org>
Sun, 23 Dec 2007 14:12:09 +0000 (15:12 +0100)
committerStefano Zacchiroli <zack@debian.org>
Sun, 23 Dec 2007 14:12:09 +0000 (15:12 +0100)
research/publications.mdwn

index e81551e..a585be2 100644 (file)
@@ -4,6 +4,7 @@
 Here is a list of my **academic papers**, classified by type of publication and
 in reverse chronological order.
 [[toc ]]
+
 # journal publications
 
  1. <a class="paper_download" href="matita.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli.
@@ -18,6 +19,7 @@ in reverse chronological order.
     [[toggle id=id9 text="Abstract..."]] [[toggleable id=id9 text="""
     *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
 
  1. <a class="paper_download" href="steve-latvia.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli.
@@ -167,6 +169,7 @@ in reverse chronological order.
     [[toggle id=id1 text="Abstract..."]] [[toggleable id=id1 text="""
     *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
 
  1. <a class="paper_download" href="flea.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Luca Padovani, Stefano Zacchiroli.
@@ -187,6 +190,7 @@ in reverse chronological order.
     [[toggle id=id16 text="Abstract..."]] [[toggleable id=id16 text="""
     *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
 
  1. <a class="paper_download" href="phd-thesis.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Stefano Zacchiroli.