HTML Export for Dagstuhl Reports, Volume 2, Issue 7

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 2, Issue 7, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7">10.4230/DagRep.2.7</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.i">10.4230/DagRep.2.7.i</a>
</li>
<li>
    <span class="authors">Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore</span>
    <span class="title">AI meets Formal Software Development (Dagstuhl Seminar 12271)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.1">10.4230/DagRep.2.7.1</a>
</li>
<li>
    <span class="authors">Peter Feiler, Jérôme Hugues, and Oleg Sokolsky</span>
    <span class="title">Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.30">10.4230/DagRep.2.7.30</a>
</li>
<li>
    <span class="authors">Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, and Michael Waidner</span>
    <span class="title">Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.56">10.4230/DagRep.2.7.56</a>
</li>
<li>
    <span class="authors">Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno</span>
    <span class="title">Database Workload Management (Dagstuhl Seminar 12282)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.73">10.4230/DagRep.2.7.73</a>
</li>
<li>
    <span class="authors">Alberto Apostolico, Andreas Dress, and Laxmi Parida</span>
    <span class="title">Structure Discovery in Biology: Motifs, Networks &amp; Phylogenies (Dagstuhl Seminar 12291)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.2.7.92">10.4230/DagRep.2.7.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