HTML Export for Dagstuhl Reports, Volume 11, Issue 10

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 11, Issue 10, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 11, Issue 10, November 2021, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10">10.4230/DagRep.11.10</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 11, Issue 10, 2021</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.i">10.4230/DagRep.11.10.i</a>
</li>
<li>
    <span class="authors">Michael Gerndt, Masaaki Kondo, Barton P. Miller, and Tapasya Patki</span>
    <span class="title">Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.1">10.4230/DagRep.11.10.1</a>
</li>
<li>
    <span class="authors">Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger</span>
    <span class="title">Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.20">10.4230/DagRep.11.10.20</a>
</li>
<li>
    <span class="authors">Simon Dejung, Mingyan Liu, Arndt Lüder, and Edgar Weippl</span>
    <span class="title">Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.36">10.4230/DagRep.11.10.36</a>
</li>
<li>
    <span class="authors">Thomas Colcombet, Karin Quaas, and Michał Skrzypczak</span>
    <span class="title">Unambiguity in Automata Theory (Dagstuhl Seminar 21452)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.57">10.4230/DagRep.11.10.57</a>
</li>
<li>
    <span class="authors">Mathieu Hoyrup, Arno Pauly, Victor Selivanov, and Mariya I. Soskova</span>
    <span class="title">Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.72">10.4230/DagRep.11.10.72</a>
</li>
<li>
    <span class="authors">Hans-J. Boehm, Ori Lahav, and Azalea Raad</span>
    <span class="title">Foundations of Persistent Programming (Dagstuhl Seminar 21462)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.94">10.4230/DagRep.11.10.94</a>
</li>
<li>
    <span class="authors">Falai Chen, Tor Dokken, and Géraldine Morin</span>
    <span class="title">Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.111">10.4230/DagRep.11.10.111</a>
</li>
<li>
    <span class="authors">Thierry Coquand, Hajime Ishihara, Sara Negri, and Peter M. Schuster</span>
    <span class="title">Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.151">10.4230/DagRep.11.10.151</a>
</li>
<li>
    <span class="authors">David Chisnall, Deepak Garg, Catalin Hritcu, and Mathias Payer</span>
    <span class="title">Secure Compilation (Dagstuhl Seminar 21481)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.11.10.173">10.4230/DagRep.11.10.173</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