HTML Export for Dagstuhl Reports, Volume 8, Issue 3

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 8, Issue 3, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3">10.4230/DagRep.8.3</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.i">10.4230/DagRep.8.3.i</a>
</li>
<li>
    <span class="authors">Magnús M. Halldórson, Nicole Megow, and Clifford Stein</span>
    <span class="title">Scheduling (Dagstuhl Seminar 18101)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.1">10.4230/DagRep.8.3.1</a>
</li>
<li>
    <span class="authors">Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis</span>
    <span class="title">Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.21">10.4230/DagRep.8.3.21</a>
</li>
<li>
    <span class="authors">Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer</span>
    <span class="title">Loop Optimization (Dagstuhl Seminar 18111)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.39">10.4230/DagRep.8.3.39</a>
</li>
<li>
    <span class="authors">Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke</span>
    <span class="title">Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.60">10.4230/DagRep.8.3.60</a>
</li>
<li>
    <span class="authors">Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, and Jan Kretinsky</span>
    <span class="title">Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.74">10.4230/DagRep.8.3.74</a>
</li>
<li>
    <span class="authors">Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman</span>
    <span class="title">Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.3.94">10.4230/DagRep.8.3.94</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