HTML Export for Dagstuhl Reports, Volume 2, Issue 11

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 2, Issue 11, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 2, Issue 11, November 2012, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11">10.4230/DagRep.2.11</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 2, Issue 11, 2012</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.i">10.4230/DagRep.2.11.i</a>
</li>
<li>
    <span class="authors">Johan Hastad, Andrei Krokhin, and Dániel Marx</span>
    <span class="title">The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.1">10.4230/DagRep.2.11.1</a>
</li>
<li>
    <span class="authors">Kurt Mehlhorn, Moshe Y. Vardi, and Marc Herbstritt</span>
    <span class="title">Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.20">10.4230/DagRep.2.11.20</a>
</li>
<li>
    <span class="authors">Nikolaj Bjorner, Krishnendu Chatterjee, Laura Kovacs, and Rupak M. Majumdar</span>
    <span class="title">Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.45">10.4230/DagRep.2.11.45</a>
</li>
<li>
    <span class="authors">Francois Boulier, Anne J. Shiu, Thomas Strum, and Andreas Weber</span>
    <span class="title">Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.66">10.4230/DagRep.2.11.66</a>
</li>
<li>
    <span class="authors">Nadia Creignou, Nicola Galesi, Oliver Kullmann, and Heribert Vollmer</span>
    <span class="title">SAT Interactions (Dagstuhl Seminar 12471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.87">10.4230/DagRep.2.11.87</a>
</li>
<li>
    <span class="authors">Erik Elmroth, Michael Factor, Ethan Miller, and Margo Seltzer</span>
    <span class="title">Is the Future of Preservation Cloudy? (Dagstuhl Seminar 12472)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.102">10.4230/DagRep.2.11.102</a>
</li>
<li>
    <span class="authors">Boris Köpf, Paquale Malacaria, and Catuscia Palamidessi</span>
    <span class="title">Quantitative Security Analysis (Dagstuhl Seminar 12481)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.135">10.4230/DagRep.2.11.135</a>
</li>
<li>
    <span class="authors">Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel</span>
    <span class="title">Analysis of Security APIs (Dagstuhl Seminar 12482)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.11.155">10.4230/DagRep.2.11.155</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