HTML Export for Dagstuhl Reports, Volume 5, Issue 4

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 5, Issue 4, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4">10.4230/DagRep.5.4</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.i">10.4230/DagRep.5.4.i</a>
</li>
<li>
    <span class="authors">David Hutchison, Klara Nahrstedt, Marcus Schöller, Indra Spiecker gen. Döhmann, and Markus Tauber</span>
    <span class="title">Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.1">10.4230/DagRep.5.4.1</a>
</li>
<li>
    <span class="authors">Trevor Darrell, Marius Kloft, Massimiliano Pontil, Gunnar Rätsch, and Erik Rodner</span>
    <span class="title">Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.18">10.4230/DagRep.5.4.18</a>
</li>
<li>
    <span class="authors">Christian Lengauer, Matthias Bolten, Robert D. Falgout, and Olaf Schenk</span>
    <span class="title">Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.56">10.4230/DagRep.5.4.56</a>
</li>
<li>
    <span class="authors">Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, and Wilhelm Schäfer</span>
    <span class="title">Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.76">10.4230/DagRep.5.4.76</a>
</li>
<li>
    <span class="authors">Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, and Ryan Williams</span>
    <span class="title">Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.98">10.4230/DagRep.5.4.98</a>
</li>
<li>
    <span class="authors">Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, and Annabelle McIver</span>
    <span class="title">Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.123">10.4230/DagRep.5.4.123</a>
</li>
<li>
    <span class="authors">Darren Cofer, Gerwin Klein, Konrad Slind, and Virginie Wiels</span>
    <span class="title">Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.5.4.142">10.4230/DagRep.5.4.142</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