HTML Export for Dagstuhl Reports, Volume 3, Issue 10

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 3, Issue 10, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10">10.4230/DagRep.3.10</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 3, Issue 10, 2013</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.i">10.4230/DagRep.3.10.i</a>
</li>
<li>
    <span class="authors">Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach</span>
    <span class="title">Deduction and Arithmetic (Dagstuhl Seminar 13411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.1">10.4230/DagRep.3.10.1</a>
</li>
<li>
    <span class="authors">Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik</span>
    <span class="title">Genomic Privacy (Dagstuhl Seminar 13412)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.25">10.4230/DagRep.3.10.25</a>
</li>
<li>
    <span class="authors">Glencora Borradaile, Philp Klein, Dániel Marx, and Claire Mathieu</span>
    <span class="title">Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.36">10.4230/DagRep.3.10.36</a>
</li>
<li>
    <span class="authors">Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, and Andrew M. Pitts</span>
    <span class="title">Nominal Computation Theory (Dagstuhl Seminar 13422)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.58">10.4230/DagRep.3.10.58</a>
</li>
<li>
    <span class="authors">Oliver Grau, Marcus A. Magnor, Olga Sorkine-Hornung, and Christian Theobalt</span>
    <span class="title">Real-World Visual Computing (Dagstuhl Seminar 13431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.72">10.4230/DagRep.3.10.72</a>
</li>
<li>
    <span class="authors">Maristella Agosti, Norbert Fuhr, Elaine Toms, and Pertti Vakkari</span>
    <span class="title">Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.3.10.92">10.4230/DagRep.3.10.92</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