HTML Export for Dagstuhl Reports, Volume 4, Issue 4

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 4, Issue 4, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4">10.4230/DagRep.4.4</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4.i">10.4230/DagRep.4.4.i</a>
</li>
<li>
    <span class="authors">Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan</span>
    <span class="title">Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4.1">10.4230/DagRep.4.4.1</a>
</li>
<li>
    <span class="authors">Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö</span>
    <span class="title">Unifying Product and Software Configuration (Dagstuhl Seminar 14172)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4.20">10.4230/DagRep.4.4.20</a>
</li>
<li>
    <span class="authors">Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, and Rainer Unland</span>
    <span class="title">Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4.37">10.4230/DagRep.4.4.37</a>
</li>
<li>
    <span class="authors">Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel</span>
    <span class="title">Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.4.49">10.4230/DagRep.4.4.49</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