HTML Export for Dagstuhl Reports, Volume 5, Issue 5

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 5, Issue 5, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5">10.4230/DagRep.5.5</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.i">10.4230/DagRep.5.5.i</a>
</li>
<li>
    <span class="authors">Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao</span>
    <span class="title">Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.1">10.4230/DagRep.5.5.1</a>
</li>
<li>
    <span class="authors">Roberto Casati, Patrick Cavanagh, and Paulo E. Santos</span>
    <span class="title">The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.24">10.4230/DagRep.5.5.24</a>
</li>
<li>
    <span class="authors">Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger</span>
    <span class="title">Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.43">10.4230/DagRep.5.5.43</a>
</li>
<li>
    <span class="authors">Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele</span>
    <span class="title">Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.57">10.4230/DagRep.5.5.57</a>
</li>
<li>
    <span class="authors">Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade</span>
    <span class="title">Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.92">10.4230/DagRep.5.5.92</a>
</li>
<li>
    <span class="authors">Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund</span>
    <span class="title">Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.5.115">10.4230/DagRep.5.5.115</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