From 73b38bdb984a715cea2e41f87caf311a6d23855f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 23 Dec 2007 15:12:09 +0100 Subject: [PATCH] separate headings with newlines --- research/publications.mdwn | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/research/publications.mdwn b/research/publications.mdwn index e81551eb..a585be2b 100644 --- a/research/publications.mdwn +++ b/research/publications.mdwn @@ -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. [.pdf] 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. [.pdf] 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. [.pdf] 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. [.pdf] Stefano Zacchiroli. -- 2.20.1