HTML Export for Dagstuhl Reports, Volume 3, Issue 4

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 3, Issue 4, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4">10.4230/DagRep.3.4</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 3, Issue 04, 2013</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.i">10.4230/DagRep.3.4.i</a>
</li>
<li>
    <span class="authors">Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, and Josef Widder</span>
    <span class="title">Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.1">10.4230/DagRep.3.4.1</a>
</li>
<li>
    <span class="authors">Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen</span>
    <span class="title">Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.17">10.4230/DagRep.3.4.17</a>
</li>
<li>
    <span class="authors">Stephen G. Kobourov, Martin Nöllenburg, and Monique Teillaud</span>
    <span class="title">Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.34">10.4230/DagRep.3.4.34</a>
</li>
<li>
    <span class="authors">Sergiu Hart, Éva Tardos, and Bernhard von Stengel</span>
    <span class="title">Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.69">10.4230/DagRep.3.4.69</a>
</li>
<li>
    <span class="authors">Ondrej Lhotak, Yannis Smaragdakis, and Manu Sridharan</span>
    <span class="title">Pointer Analysis (Dagstuhl Seminar 13162)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.91">10.4230/DagRep.3.4.91</a>
</li>
<li>
    <span class="authors">Luciano Baresi, Andreas Rummler, and Klaus Schmid</span>
    <span class="title">Customizing Service Platforms (Dagstuhl Seminar 13171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.114">10.4230/DagRep.3.4.114</a>
</li>
<li>
    <span class="authors">Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff</span>
    <span class="title">VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.151">10.4230/DagRep.3.4.151</a>
</li>
<li>
    <span class="authors">Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic</span>
    <span class="title">Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.4.188">10.4230/DagRep.3.4.188</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode