HTML Export for Dagstuhl Reports, Volume 3, Issue 1

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 3, Issue 1, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1">10.4230/DagRep.3.1</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 3, Issue 1, 2013</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.i">10.4230/DagRep.3.1.i</a>
</li>
<li>
    <span class="authors">Thierry Jéron, Margus Veanes, and Burkhart Wolff</span>
    <span class="title">Symbolic Methods in Testing (Dagstuhl Seminar 13021)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.1">10.4230/DagRep.3.1.1</a>
</li>
<li>
    <span class="authors">Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna</span>
    <span class="title">Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.30">10.4230/DagRep.3.1.30</a>
</li>
<li>
    <span class="authors">Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum, and Pascal Koiran</span>
    <span class="title">Computational Counting (Dagstuhl Seminar 13031)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.47">10.4230/DagRep.3.1.47</a>
</li>
<li>
    <span class="authors">Bernhard Katzy and Ulrike Lechner</span>
    <span class="title">Civilian Crisis Response Models (Dagstuhl Seminar 13041)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.67">10.4230/DagRep.3.1.67</a>
</li>
<li>
    <span class="authors">Benjamin Doerr, Robert Elsässer, and Pierre Fraigniaud</span>
    <span class="title">Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.94">10.4230/DagRep.3.1.94</a>
</li>
<li>
    <span class="authors">Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford</span>
    <span class="title">Software Certification: Methods and Tools (Dagstuhl Seminar 13051)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.111">10.4230/DagRep.3.1.111</a>
</li>
<li>
    <span class="authors">Andreas Herkersdorf and Michael Paulitsch</span>
    <span class="title">Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.1.149">10.4230/DagRep.3.1.149</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