HTML Export for Dagstuhl Reports, Volume 12, Issue 10

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 12, Issue 10, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10">10.4230/DagRep.12.10</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 12, Issue 10, 2022</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.i">10.4230/DagRep.12.10.i</a>
</li>
<li>
    <span class="authors">Wentong Cai, Christopher Carothers, David M. Nicol, and Adelinde M. Uhrmacher</span>
    <span class="title">Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.1">10.4230/DagRep.12.10.1</a>
</li>
<li>
    <span class="authors">Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, and Janet Siegmund</span>
    <span class="title">Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.61">10.4230/DagRep.12.10.61</a>
</li>
<li>
    <span class="authors">Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, and Andy Oertel</span>
    <span class="title">Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.84">10.4230/DagRep.12.10.84</a>
</li>
<li>
    <span class="authors">Nele Mentens, Stjepan Picek, and Ahmad-Reza Sadeghi</span>
    <span class="title">Intelligent Security: Is &quot;AI for Cybersecurity&quot; a Blessing or a Curse (Dagstuhl Seminar 22412)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.106">10.4230/DagRep.12.10.106</a>
</li>
<li>
    <span class="authors">Arthur Gervais and Marie Vasek</span>
    <span class="title">Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.129">10.4230/DagRep.12.10.129</a>
</li>
<li>
    <span class="authors">James M. Rehg, Pierre-Yves Oudeyer, Linda B. Smith, Sho Tsuji, Stefan Stojanov, and Ngoc Anh Thai</span>
    <span class="title">Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.143">10.4230/DagRep.12.10.143</a>
</li>
<li>
    <span class="authors">Emma Frejinger, Andrea Lodi, Michele Lombardi, and Neil Yorke-Smith</span>
    <span class="title">Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.166">10.4230/DagRep.12.10.166</a>
</li>
<li>
    <span class="authors">Khalid Al-Khatib, Anita de Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, and Harrisen Scells</span>
    <span class="title">Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.175">10.4230/DagRep.12.10.175</a>
</li>
<li>
    <span class="authors">Luce Brotcorne, Christoph Buchheim, Dick den Hertog, and Dorothee Henke</span>
    <span class="title">Optimization at the Second Level (Dagstuhl Seminar 22441)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.207">10.4230/DagRep.12.10.207</a>
</li>
<li>
    <span class="authors">Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, and Thomas Zimmermann</span>
    <span class="title">Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.12.10.225">10.4230/DagRep.12.10.225</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