HTML Export for Dagstuhl Reports, Volume 8, Issue 4

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 8, Issue 4, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 8, Issue 4, April 2018,  Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4">10.4230/DagRep.8.4</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.i">10.4230/DagRep.8.4.i</a>
</li>
<li>
    <span class="authors">Shuvendu K. Lahiri, Andrzej Murawski, Ofer Strichman, and Mattias Ulbrich</span>
    <span class="title">Program Equivalence (Dagstuhl Seminar 18151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.1">10.4230/DagRep.8.4.1</a>
</li>
<li>
    <span class="authors">Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl</span>
    <span class="title">Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.20">10.4230/DagRep.8.4.20</a>
</li>
<li>
    <span class="authors">Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, and Kay Katja Nieselt</span>
    <span class="title">Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.32">10.4230/DagRep.8.4.32</a>
</li>
<li>
    <span class="authors">Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata</span>
    <span class="title">Normative Multi-Agent Systems (Dagstuhl Seminar 18171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.72">10.4230/DagRep.8.4.72</a>
</li>
<li>
    <span class="authors">Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, and Tom Schrijvers</span>
    <span class="title">Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.104">10.4230/DagRep.8.4.104</a>
</li>
<li>
    <span class="authors">David Eyers, Christopher Millard, Margo Seltzer, and Jatinder Singh</span>
    <span class="title">Towards Accountable Systems (Dagstuhl Seminar 18181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.126">10.4230/DagRep.8.4.126</a>
</li>
<li>
    <span class="authors">Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, and Alexander Mädche</span>
    <span class="title">Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.8.4.164">10.4230/DagRep.8.4.164</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