HTML Export for Dagstuhl Reports, Volume 4, Issue 8

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 4, Issue 8, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8">10.4230/DagRep.4.8</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.i">10.4230/DagRep.4.8.i</a>
</li>
<li>
    <span class="authors">Michael Benedikt, Carsten Lutz, and Balder Ten Cate</span>
    <span class="title">Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.1">10.4230/DagRep.4.8.1</a>
</li>
<li>
    <span class="authors">Thomas Agotnes and Nils Bulling</span>
    <span class="title">Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.21">10.4230/DagRep.4.8.21</a>
</li>
<li>
    <span class="authors">Yll Haxhimusa, Iris van Rooij, Sashank Varma, and Todd Wareham</span>
    <span class="title">Resource-bounded Problem Solving (Dagstuhl Seminar 14341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.45">10.4230/DagRep.4.8.45</a>
</li>
<li>
    <span class="authors">Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani, and Vijay V. Vazirani</span>
    <span class="title">Equilibrium Computation (Dagstuhl Seminar 14342)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.73">10.4230/DagRep.4.8.73</a>
</li>
<li>
    <span class="authors">Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur</span>
    <span class="title">Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.89">10.4230/DagRep.4.8.89</a>
</li>
<li>
    <span class="authors">Patrick Cousot, Daniel Kroening, and Carsten Sinz</span>
    <span class="title">Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.107">10.4230/DagRep.4.8.107</a>
</li>
<li>
    <span class="authors">Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier</span>
    <span class="title">Computational Aspects of Fabrication (Dagstuhl Seminar 14361)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.126">10.4230/DagRep.4.8.126</a>
</li>
<li>
    <span class="authors">Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt</span>
    <span class="title">Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.4.8.151">10.4230/DagRep.4.8.151</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