HTML Export for Dagstuhl Reports, Volume 13, Issue 6

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 13, Issue 6, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6">10.4230/DagRep.13.6</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 13, Issue 6, 2023</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.i">10.4230/DagRep.13.6.i</a>
</li>
<li>
    <span class="authors">Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, and Bahare Salmani</span>
    <span class="title">Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.1">10.4230/DagRep.13.6.1</a>
</li>
<li>
    <span class="authors">Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, and Kevin Gomez</span>
    <span class="title">Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.22">10.4230/DagRep.13.6.22</a>
</li>
<li>
    <span class="authors">Anne Auger, Peter A. N. Bosman, Pascal Kerschke, Darrell Whitley, and Lennart Schäpermeier</span>
    <span class="title">Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.55">10.4230/DagRep.13.6.55</a>
</li>
<li>
    <span class="authors">Bongshin Lee, Kim Marriott, Danielle Szafir, and Gerhard Weber</span>
    <span class="title">Inclusive Data Visualization (Dagstuhl Seminar 23252)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.81">10.4230/DagRep.13.6.81</a>
</li>
<li>
    <span class="authors">Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler</span>
    <span class="title">SAT Encodings and Beyond (Dagstuhl Seminar 23261)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.13.6.106">10.4230/DagRep.13.6.106</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