HTML Export for Dagstuhl Reports, Volume 6, Issue 10

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 6, Issue 10, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10">10.4230/DagRep.6.10</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.i">10.4230/DagRep.6.10.i</a>
</li>
<li>
    <span class="authors">Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, and Shriram Krishnamurthi</span>
    <span class="title">Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.1">10.4230/DagRep.6.10.1</a>
</li>
<li>
    <span class="authors">Valentine Kabanets, Thomas Thierauf, Jacobo Tóran, and Christopher Umans</span>
    <span class="title">Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.13">10.4230/DagRep.6.10.13</a>
</li>
<li>
    <span class="authors">Holger H. Hoos, Frank Neumann, and Heike Trautmann</span>
    <span class="title">Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.33">10.4230/DagRep.6.10.33</a>
</li>
<li>
    <span class="authors">Gilles Dowek, Catherine Dubois, Brigitte Pientka, and Florian Rabe</span>
    <span class="title">Universality of Proofs (Dagstuhl Seminar 16421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.75">10.4230/DagRep.6.10.75</a>
</li>
<li>
    <span class="authors">Philip Bille, Markus Lohrey, Sebastian Maneth, and Gonzalo Navarro</span>
    <span class="title">Computation over Compressed Structured Data (Dagstuhl Seminar 16431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.99">10.4230/DagRep.6.10.99</a>
</li>
<li>
    <span class="authors">Tulika Mitra, Jürgen Teich, and Lothar Thiele</span>
    <span class="title">Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.120">10.4230/DagRep.6.10.120</a>
</li>
<li>
    <span class="authors">Roger K. Moore, Serge Thill, and Ricard Marxer</span>
    <span class="title">Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.6.10.154">10.4230/DagRep.6.10.154</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