HTML Export for Dagstuhl Reports, Volume 14, Issue 4

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 14, Issue 4, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4">10.4230/DagRep.14.4</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 14, Issue 4, 2024</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.i">10.4230/DagRep.14.4.i</a>
</li>
<li>
    <span class="authors">Steffen Bondorf, Anne Bouillard, Markus Fidler, Jörg Liebeherr, and Lisa Maile</span>
    <span class="title">Network Calculus (Dagstuhl Seminar 24141)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.1">10.4230/DagRep.14.4.1</a>
</li>
<li>
    <span class="authors">Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, and Mario Trapp</span>
    <span class="title">Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.23">10.4230/DagRep.14.4.23</a>
</li>
<li>
    <span class="authors">Stephan Druskat, Lars Grunske, Caroline Jay, and Daniel S. Katz</span>
    <span class="title">Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.42">10.4230/DagRep.14.4.42</a>
</li>
<li>
    <span class="authors">David F. Bacon, Carsten Binnig, David Patterson, and Margo Seltzer</span>
    <span class="title">Hardware Support for Cloud Database Systems in the Post-Moore’s Law Era (Dagstuhl Seminar 24162)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.54">10.4230/DagRep.14.4.54</a>
</li>
<li>
    <span class="authors">S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, and Arijit Shaw</span>
    <span class="title">Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.85">10.4230/DagRep.14.4.85</a>
</li>
<li>
    <span class="authors">Satish Chandra, Michael Pradel, and Kathryn T. Stolee</span>
    <span class="title">Code Search (Dagstuhl Seminar 24172)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.108">10.4230/DagRep.14.4.108</a>
</li>
<li>
    <span class="authors">Timothy M. D. Ebbels, Soha Hassoun, Ewy A. Mathé, Justin J. J. van der Hooft, and Haley Chatelaine</span>
    <span class="title">Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.124">10.4230/DagRep.14.4.124</a>
</li>
<li>
    <span class="authors">Simon Burton, Radu Calinescu, and Raffaela Mirandola</span>
    <span class="title">Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.14.4.142">10.4230/DagRep.14.4.142</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