ISSN 2192-5283



Volume 13 (2023)

Issue 4 Complete Issue: [PDF Icon for download (11,266 KB)
Dagstuhl Reports, Volume 13, Issue 4, April 2023, Complete Issue
[PDF Icon for download
(11,266 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 1-122, doi: 10.4230/DagRep.13.4

Dagstuhl Reports, Table of Contents, Volume 13, Issue 4, 2023
[PDF Icon for download
(225 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. i-ii, doi: 10.4230/DagRep.13.4.i

Normative Reasoning for AI (Dagstuhl Seminar 23151)
[PDF Icon for download
(2,675 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 1-23, doi: 10.4230/DagRep.13.4.1
Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, and Aleks Knoks (Eds.)

Secure and Efficient Post-Quantum Cryptography in Hardware and Software (Dagstuhl Seminar 23152)
[PDF Icon for download
(2,200 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 24-39, doi: 10.4230/DagRep.13.4.24
Thomas Pöppelmann, Sujoy Sinha Roy, and Ingrid Verbauwhede (Eds.)

Pushing the Limits of Computational Combinatorial Constructions (Dagstuhl Seminar 23161)
[PDF Icon for download
(2,131 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 40-57, doi: 10.4230/DagRep.13.4.40
Lucia Moura, Anamari Nakic, Patric Östergård, Alfred Wassermann, and Charlene Weiß (Eds.)

New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162)
[PDF Icon for download
(2,376 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 58-97, doi: 10.4230/DagRep.13.4.58
Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, Meirav Zehavi, and Liana Khazaliya (Eds.)

Driving HPC Operations With Holistic Monitoring and Operational Data Analytics (Dagstuhl Seminar 23171)
[PDF Icon for download
(2,058 KB)
Dagstuhl Reports, Volume 13, Issue 4, pp. 98-120, doi: 10.4230/DagRep.13.4.98
Jim Brandt, Florina Ciorba, Ann Gentile, Michael Ott, and Torsten Wilde (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (15,433 KB)
Dagstuhl Reports, Volume 13, Issue 3, March 2023, Complete Issue
[PDF Icon for download
(15,433 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 1-133, doi: 10.4230/DagRep.13.3

Dagstuhl Reports, Table of Contents, Volume 13, Issue 3, 2023
[PDF Icon for download
(223 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. i-ii, doi: 10.4230/DagRep.13.3.i

Foundations of WebAssembly (Dagstuhl Seminar 23101)
[PDF Icon for download
(2,403 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 1-16, doi: 10.4230/DagRep.13.3.1
Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, and Deian Stefan (Eds.)

Computational Complexity of Discrete Problems (Dagstuhl Seminar 23111)
[PDF Icon for download
(2,331 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 17-31, doi: 10.4230/DagRep.13.3.17
Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau, and Manaswi Paraashar (Eds.)

Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)
[PDF Icon for download
(2,324 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 32-48, doi: 10.4230/DagRep.13.3.32
Swen Jacobs, Kenneth McMillan, Roopsha Samanta, and Ilya Sergey (Eds.)

Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121)
[PDF Icon for download
(2,532 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 49-73, doi: 10.4230/DagRep.13.3.49
David Bevan, Miklós Bóna, and István Miklós (Eds.)

Deep Continual Learning (Dagstuhl Seminar 23122)
[PDF Icon for download
(1,782 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 74-91, doi: 10.4230/DagRep.13.3.74
Tinne Tuytelaars, Bing Liu, Vincenzo Lomonaco, Gido van de Ven, and Andrea Cossu (Eds.)

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)
[PDF Icon for download
(1,848 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 92-105, doi: 10.4230/DagRep.13.3.92
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser (Eds.)

AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132)
[PDF Icon for download
(2,559 KB)
Dagstuhl Reports, Volume 13, Issue 3, pp. 106-131, doi: 10.4230/DagRep.13.3.106
Peer-Timo Bremer, Brian Spears, Tom Gibbs, and Michael Bussmann (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (34,599 KB)
Dagstuhl Reports, Volume 13, Issue 2, February 2023, Complete Issue
[PDF Icon for download
(34,599 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 1-243, doi: 10.4230/DagRep.13.2

Dagstuhl Reports, Table of Contents, Volume 13, Issue 2, 2023
[PDF Icon for download
(226 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. i-ii, doi: 10.4230/DagRep.13.2.i

Scheduling (Dagstuhl Seminar 23061)
[PDF Icon for download
(2,341 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 1-19, doi: 10.4230/DagRep.13.2.1
Nicole Megow, Benjamin J. Moseley, David Shmoys, Ola Svensson, Sergei Vassilvitskii, and Jens Schlöter (Eds.)

Programming Language Processing (Dagstuhl Seminar 23062)
[PDF Icon for download
(2,545 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 20-32, doi: 10.4230/DagRep.13.2.20
Michael Pradel, Baishakhi Ray, Charles Sutton, and Eran Yahav (Eds.)

From Big Data Theory to Big Data Practice (Dagstuhl Seminar 23071)
[PDF Icon for download
(2,226 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 33-46, doi: 10.4230/DagRep.13.2.33
Martin Farach-Colton, Fabian Daniel Kuhn, Ronitt Rubinfeld, and Przemysław Uznański (Eds.)

Challenges and Perspectives in Deep Generative Modeling (Dagstuhl Seminar 23072)
[PDF Icon for download
(1,957 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 47-70, doi: 10.4230/DagRep.13.2.47
Vincent Fortuin, Yingzhen Li, Kevin Murphy, Stephan Mandt, and Laura Manduchi (Eds.)

Agents on the Web (Dagstuhl Seminar 23081)
[PDF Icon for download
(4,231 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 71-162, doi: 10.4230/DagRep.13.2.71
Olivier Boissier, Andrei Ciortea, Andreas Harth, Alessandro Ricci, and Danai Vachtsevanou (Eds.)

Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)
[PDF Icon for download
(1,741 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 163-182, doi: 10.4230/DagRep.13.2.163
Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, and Daniel Sokolowski (Eds.)

Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 23091)
[PDF Icon for download
(1,971 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 183-198, doi: 10.4230/DagRep.13.2.183
Aaron Becker, Sándor Fekete, Irina Kostitsyna, Matthew J. Patitz, Damien Woods, and Ioannis Chatzigiannakis (Eds.)

A Human-Computer Interaction Perspective to Drive Change towards Sustainable Future (Dagstuhl Perspectives Workshop 23092)
[PDF Icon for download
(17,977 KB)
Dagstuhl Reports, Volume 13, Issue 2, pp. 199-241, doi: 10.4230/DagRep.13.2.199
Susanne Boll, Kaisa Väänänen, Nicola Bidwell, Marc Hassenzahl, and Robin Neuhaus (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (46,539 KB)
Dagstuhl Reports, Volume 13, Issue 1, January 2023, Complete Issue
[PDF Icon for download
(46,539 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 1-246, doi: 10.4230/DagRep.13.1

Dagstuhl Reports, Table of Contents, Volume 13, Issue 1, 2023
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. i-ii, doi: 10.4230/DagRep.13.1.i

Media Forensics and the Challenge of Big Data (Dagstuhl Seminar 23021)
[PDF Icon for download
(2,221 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 1-35, doi: 10.4230/DagRep.13.1.1
Irene Amerini, Anderson Rocha, Paul L. Rosin, and Xianfang Sun (Eds.)

Inverse Biophysical Modeling and Machine Learning in Personalized Oncology (Dagstuhl Seminar 23022)
[PDF Icon for download
(8,366 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 36-67, doi: 10.4230/DagRep.13.1.36
George Biros, Andreas Mang, Björn H. Menze, and Miriam Schulte (Eds.)

Frontiers of Information Access Experimentation for Research and Education (Dagstuhl Seminar 23031)
[PDF Icon for download
(7,565 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 68-154, doi: 10.4230/DagRep.13.1.68
Christine Bauer, Ben Carterette, Nicola Ferro, Norbert Fuhr, and Guglielmo Faggioli (Eds.)

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
[PDF Icon for download
(7,218 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 155-183, doi: 10.4230/DagRep.13.1.155
Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa (Eds.)

Quality of Sustainable Experience (QoSE) (Dagstuhl Seminar 23042)
[PDF Icon for download
(12,789 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 184-215, doi: 10.4230/DagRep.13.1.184
Katrien De Moor, Markus Fiedler, Ashok Jhunjhunwala, and Alexander Raake (Eds.)

Perception in Network Visualization (Dagstuhl Seminar 23051)
[PDF Icon for download
(8,623 KB)
Dagstuhl Reports, Volume 13, Issue 1, pp. 216-244, doi: 10.4230/DagRep.13.1.216
Karsten Klein, Stephen Kobourov, Bernice E. Rogowitz, Danielle Szafir, and Jacob Miller (Eds.)

Volume 12 (2022)

Issue 12 Complete Issue: [PDF Icon for download (16,725 KB)
Dagstuhl Reports, Volume 12, Issue 12, December 2022, Complete Issue
[PDF Icon for download
(16,725 KB)
Dagstuhl Reports, Volume 12, Issue 12, pp. 1-75, doi: 10.4230/DagRep.12.12

Dagstuhl Reports, Table of Contents, Volume 12, Issue 12, 2022
[PDF Icon for download
(217 KB)
Dagstuhl Reports, Volume 12, Issue 12, pp. i-ii, doi: 10.4230/DagRep.12.12.i

Cognitive Augmentation (Dagstuhl Seminar 22491)
[PDF Icon for download
(8,451 KB)
Dagstuhl Reports, Volume 12, Issue 12, pp. 1-26, doi: 10.4230/DagRep.12.12.1
Kai Kunze, Pattie Maes, Florian `Floyd' Mueller, and Katrin Wolf (Eds.)

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
[PDF Icon for download
(1,853 KB)
Dagstuhl Reports, Volume 12, Issue 12, pp. 27-53, doi: 10.4230/DagRep.12.12.27
Hagit Attiya, Constantin Enea, Sergio Rajsbaum, and Ana Sokolova (Eds.)

Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users II (Dagstuhl Seminar 22512)
[PDF Icon for download
(6,413 KB)
Dagstuhl Reports, Volume 12, Issue 12, pp. 54-73, doi: 10.4230/DagRep.12.12.54
Ana Aguiar, Onur Altintas, Falko Dressler, Gunnar Karlsson, and Florian Klingler (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (13,524 KB)
Dagstuhl Reports, Volume 12, Issue 11, November 2022, Complete Issue
[PDF Icon for download
(13,524 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 1-147, doi: 10.4230/DagRep.12.11

Dagstuhl Reports, Table of Contents, Volume 12, Issue 11, 2022
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. i-ii, doi: 10.4230/DagRep.12.11.i

Principles of Contract Languages (Dagstuhl Seminar 22451)
[PDF Icon for download
(1,979 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 1-27, doi: 10.4230/DagRep.12.11.1
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, and Christian Lidström (Eds.)

Computational Social Dynamics (Dagstuhl Seminar 22452)
[PDF Icon for download
(1,898 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 28-44, doi: 10.4230/DagRep.12.11.28
Martin Hoefer, Sigal Oren, Roger Wattenhofer, and Giovanna Varricchio (Eds.)

Dynamic Graph Algorithms (Dagstuhl Seminar 22461)
[PDF Icon for download
(2,505 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 45-65, doi: 10.4230/DagRep.12.11.45
Aaron Bernstein, Shiri Chechik, Sebastian Forster, Tsvi Kopelowitz, Yasamin Nazari, and Nicole Wein (Eds.)

Set Visualization and Uncertainty (Dagstuhl Seminar 22462)
[PDF Icon for download
(1,173 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 66-95, doi: 10.4230/DagRep.12.11.66
Susanne Bleisch, Steven Chaplick, Jan-Henrik Haunert, Eva Mayr, Marc van Kreveld, and Annika Bonerath (Eds.)

Towards More Flexible and Automated Communication Networks (Dagstuhl Seminar 22471)
[PDF Icon for download
(2,942 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 96-108, doi: 10.4230/DagRep.12.11.96
Artur Hecker, Stefan Schmid, Henning Schulzrinne, Lily Hügerich, Sándor Laki, and Iosif Salem (Eds.)

Vertex Partitioning in Graphs: From Structure to Algorithms (Dagstuhl Seminar 22481)
[PDF Icon for download
(1,675 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 109-123, doi: 10.4230/DagRep.12.11.109
Maria Chudnovsky, Neeldhara Misra, Daniel Paulusma, Oliver Schaudt, and Akanksha Agrawal (Eds.)

Counting and Sampling: Algorithms and Complexity (Dagstuhl Seminar 22482)
[PDF Icon for download
(1,660 KB)
Dagstuhl Reports, Volume 12, Issue 11, pp. 124-145, doi: 10.4230/DagRep.12.11.124
Holger Dell, Mark R. Jerrum, Haiko Müller, Konrad Anand, and Marcus Pappik (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (29,538 KB)
Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue
[PDF Icon for download
(29,538 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 1-242, doi: 10.4230/DagRep.12.10

Dagstuhl Reports, Table of Contents, Volume 12, Issue 10, 2022
[PDF Icon for download
(218 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. i-ii, doi: 10.4230/DagRep.12.10.i

Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401)
[PDF Icon for download
(5,671 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 1-60, doi: 10.4230/DagRep.12.10.1
Wentong Cai, Christopher Carothers, David M. Nicol, and Adelinde M. Uhrmacher (Eds.)

Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)
[PDF Icon for download
(2,363 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 61-83, doi: 10.4230/DagRep.12.10.61
Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, and Janet Siegmund (Eds.)

Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
[PDF Icon for download
(7,119 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 84-105, doi: 10.4230/DagRep.12.10.84
Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, and Andy Oertel (Eds.)

Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412)
[PDF Icon for download
(1,728 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 106-128, doi: 10.4230/DagRep.12.10.106
Nele Mentens, Stjepan Picek, and Ahmad-Reza Sadeghi (Eds.)

Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)
[PDF Icon for download
(1,802 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 129-142, doi: 10.4230/DagRep.12.10.129
Arthur Gervais, and Marie Vasek (Eds.)

Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422)
[PDF Icon for download
(2,300 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 143-165, doi: 10.4230/DagRep.12.10.143
James M. Rehg, Pierre-Yves Oudeyer, Linda B. Smith, Sho Tsuji, Stefan Stojanov, and Ngoc Anh Thai (Eds.)

Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)
[PDF Icon for download
(2,623 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 166-174, doi: 10.4230/DagRep.12.10.166
Emma Frejinger, Andrea Lodi, Michele Lombardi, and Neil Yorke-Smith (Eds.)

Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)
[PDF Icon for download
(3,250 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 175-206, doi: 10.4230/DagRep.12.10.175
Khalid Al-Khatib, Anita de Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, and Harrisen Scells (Eds.)

Optimization at the Second Level (Dagstuhl Seminar 22441)
[PDF Icon for download
(2,642 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 207-224, doi: 10.4230/DagRep.12.10.207
Luce Brotcorne, Christoph Buchheim, Dick den Hertog, and Dorothee Henke (Eds.)

Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)
[PDF Icon for download
(2,183 KB)
Dagstuhl Reports, Volume 12, Issue 10, pp. 225-240, doi: 10.4230/DagRep.12.10.225
Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, and Thomas Zimmermann (Eds.)

Issue 9
Dagstuhl Reports, Volume 12, Issue 9, September 2022, Complete Issue
[PDF Icon for download
(27,074 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 1-236, doi: 10.4230/DagRep.12.9

Dagstuhl Reports, Table of Contents, Volume 12, Issue 9, 2022
[PDF Icon for download
(227 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. i-ii, doi: 10.4230/DagRep.12.9.i

Challenges and Opportunities of Democracy in the Digital Society (Dagstuhl Seminar 22361)
[PDF Icon for download
(1,965 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 1-19, doi: 10.4230/DagRep.12.9.1
Abraham Bernstein, Anita Gohdes, Cristina Sarasua, Steffen Staab, and Beth Simone Noveck (Eds.)

Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)
[PDF Icon for download
(2,450 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 20-40, doi: 10.4230/DagRep.12.9.20
Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Bernhard Rumpe, and Steffen Zschaler (Eds.)

Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)
[PDF Icon for download
(2,311 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 41-59, doi: 10.4230/DagRep.12.9.41
Markus Bläser, Valentine Kabanets, Ronen Shaltiel, and Jacobo Torán (Eds.)

Knowledge Graphs and their Role in the Knowledge Engineering of the 21st Century (Dagstuhl Seminar 22372)
[PDF Icon for download
(11,971 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 60-120, doi: 10.4230/DagRep.12.9.60
Paul Groth, Elena Simperl, Marieke van Erp, and Denny Vrandečić (Eds.)

Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381)
[PDF Icon for download
(2,037 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 121-149, doi: 10.4230/DagRep.12.9.121
Sven Findeiß, Christoph Flamm, and Yann Ponty (Eds.)

Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382)
[PDF Icon for download
(2,309 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 150-199, doi: 10.4230/DagRep.12.9.150
Philipp Berens, Kyle Cranmer, Neil D. Lawrence, Ulrike von Luxburg, and Jessica Montgomery (Eds.)

Cognitive Robotics (Dagstuhl Seminar 22391)
[PDF Icon for download
(2,011 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 200-219, doi: 10.4230/DagRep.12.9.200
Fredrik Heintz, Gerhard Lakemeyer, and Sheila McIlraith (Eds.)

Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392)
[PDF Icon for download
(2,374 KB)
Dagstuhl Reports, Volume 12, Issue 9, pp. 220-234, doi: 10.4230/DagRep.12.9.220
Chat Wacharamanotham, Yvonne Jansen, Amelia A. McNamara, Kasper Hornbæk, Judy Robertson, and Lahari Goswami (Eds.)

Issue 8
Dagstuhl Reports, Volume 12, Issue 8, August 2022, Complete Issue
[PDF Icon for download
(11,627 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 1-118, doi: 10.4230/DagRep.12.8

Dagstuhl Reports, Table of Contents, Volume 12, Issue 8, 2022
[PDF Icon for download
(222 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. i-ii, doi: 10.4230/DagRep.12.8.i

Visualization and Decision Making Design Under Uncertainty (Dagstuhl Seminar 22331)
[PDF Icon for download
(2,037 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 1-19, doi: 10.4230/DagRep.12.8.1
Nadia Boukhelifa, Christopher R. Johnson, and Kristi Potter (Eds.)

Differential Equations and Continuous-Time Deep Learning (Dagstuhl Seminar 22332)
[PDF Icon for download
(2,612 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 20-30, doi: 10.4230/DagRep.12.8.20
David Duvenaud, Markus Heinonen, Michael Tiemann, and Max Welling (Eds.)

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)
[PDF Icon for download
(2,570 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 31-59, doi: 10.4230/DagRep.12.8.31
Kerstin I. Eder, Timo Hönig, Daniel Mosse, Max Plauth, and Maja Hanne Kirkeby (Eds.)

Privacy in Speech and Language Technology (Dagstuhl Seminar 22342)
[PDF Icon for download
(2,496 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 60-102, doi: 10.4230/DagRep.12.8.60
Simone Fischer-Hübner, Dietrich Klakow, Peggy Valcke, and Emmanuel Vincent (Eds.)

Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351)
[PDF Icon for download
(2,042 KB)
Dagstuhl Reports, Volume 12, Issue 8, pp. 103-116, doi: 10.4230/DagRep.12.8.103
Polo Chau, Alex Endert, Daniel A. Keim, and Daniela Oelke (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (26,307 KB)
Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue
[PDF Icon for download
(26,307 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 1-238, doi: 10.4230/DagRep.12.7

Dagstuhl Reports, Table of Contents, Volume 12, Issue 7, 2022
[PDF Icon for download
(225 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. i-ii, doi: 10.4230/DagRep.12.7.i

Algorithms for Participatory Democracy (Dagstuhl Seminar 22271)
[PDF Icon for download
(1,922 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 1-18, doi: 10.4230/DagRep.12.7.1
Markus Brill, Jiehua Chen, Andreas Darmann, David Pennock, and Matthias Greger (Eds.)

Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272)
[PDF Icon for download
(3,462 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 19-40, doi: 10.4230/DagRep.12.7.19
Florian `Floyd' Mueller, Marianna Obrist, Soh Kim, Masahiko Inami, and Jialin Deng (Eds.)

Security of Machine Learning (Dagstuhl Seminar 22281)
[PDF Icon for download
(1,682 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 41-61, doi: 10.4230/DagRep.12.7.41
Battista Biggio, Nicholas Carlini, Pavel Laskov, Konrad Rieck, and Antonio Emanuele Cinà (Eds.)

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
[PDF Icon for download
(1,594 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 62-79, doi: 10.4230/DagRep.12.7.62
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, and Frank Wolter (Eds.)

Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291)
[PDF Icon for download
(1,779 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 80-111, doi: 10.4230/DagRep.12.7.80
Sébastien Bardin, Somesh Jha, and Vijay Ganesh (Eds.)

Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292)
[PDF Icon for download
(12,481 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 112-179, doi: 10.4230/DagRep.12.7.112
Maud Ehrmann, Marten Düring, Clemens Neudecker, and Antoine Doucet (Eds.)

Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301)
[PDF Icon for download
(2,174 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 180-204, doi: 10.4230/DagRep.12.7.180
Phokion G. Kolaitis, Andrej E. Romashchenko, Milan Studený, Dan Suciu, and Tobias A. Boege (Eds.)

Educational Programming Languages and Systems (Dagstuhl Seminar 22302)
[PDF Icon for download
(1,618 KB)
Dagstuhl Reports, Volume 12, Issue 7, pp. 205-236, doi: 10.4230/DagRep.12.7.205
Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, and Jens Mönig (Eds.)

Issue 6
Dagstuhl Reports, Volume 12, Issue 6, June 2022, Complete Issue
[PDF Icon for download
(8,057 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 1-119, doi: 10.4230/DagRep.12.6

Dagstuhl Reports, Table of Contents, Volume 12, Issue 6, 2022
[PDF Icon for download
(223 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. i-ii, doi: 10.4230/DagRep.12.6.i

Theories of Programming (Dagstuhl Seminar 22231)
[PDF Icon for download
(2,600 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 1-13, doi: 10.4230/DagRep.12.6.1
Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, and Benjamin Xie (Eds.)

Efficient and Equitable Natural Language Processing in the Age of Deep Learning (Dagstuhl Seminar 22232)
[PDF Icon for download
(1,497 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 14-27, doi: 10.4230/DagRep.12.6.14
Jesse Dodge, Iryna Gurevych, Roy Schwartz, Emma Strubell, and Betty van Aken (Eds.)

Human-Game AI Interaction (Dagstuhl Seminar 22251)
[PDF Icon for download
(1,219 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 28-82, doi: 10.4230/DagRep.12.6.28
Dan Ashlock, Setareh Maghsudi, Diego Perez Liebana, Pieter Spronck, and Manuel Eberhardinger (Eds.)

Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261)
[PDF Icon for download
(1,164 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 83-111, doi: 10.4230/DagRep.12.6.83
Benjamin Bach, Sheelagh Carpendale, Uta Hinrichs, and Samuel Huron (Eds.)

Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262)
[PDF Icon for download
(1,644 KB)
Dagstuhl Reports, Volume 12, Issue 6, pp. 112-117, doi: 10.4230/DagRep.12.6.112
Wendy E. Mackay, John Shawe-Taylor, and Frank van Harmelen (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (21,710 KB)
Dagstuhl Reports, Volume 12, Issue 5, May 2022, Complete Issue
[PDF Icon for download
(21,710 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 1-232, doi: 10.4230/DagRep.12.5

Dagstuhl Reports, Table of Contents, Volume 12, Issue 5, 2022
[PDF Icon for download
(225 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. i-ii, doi: 10.4230/DagRep.12.5.i

Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181)
[PDF Icon for download
(2,182 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 1-16, doi: 10.4230/DagRep.12.5.1
Corey Broeckling, Timothy Ebbels, Ewy Mathé, Nicola Zamboni, and Cecilia Wieder (Eds.)

Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182)
[PDF Icon for download
(2,349 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 17-36, doi: 10.4230/DagRep.12.5.17
Josu Ceberio Uribe, Benjamin Doerr, Carsten Witt, and Vicente P. Soloviev (Eds.)

Visual Text Analytics (Dagstuhl Seminar 22191)
[PDF Icon for download
(1,475 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 37-91, doi: 10.4230/DagRep.12.5.37
Christopher Collins, Antske Fokkens, Andreas Kerren, Chris Weaver, and Angelos Chatzimparmpas (Eds.)

Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192)
[PDF Icon for download
(2,426 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 92-111, doi: 10.4230/DagRep.12.5.92
Martin Gairing, Carolina Osorio, Britta Peis, David Watling, and Katharina Eickhoff (Eds.)

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)
[PDF Icon for download
(2,706 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 112-130, doi: 10.4230/DagRep.12.5.112
Martin Grohe, Venkatesan Guruswami, Dániel Marx, and Stanislav Živný (Eds.)

Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202)
[PDF Icon for download
(4,097 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 131-169, doi: 10.4230/DagRep.12.5.131
Jelmer Borst, Andreas Bulling, Cleotilde Gonzalez, and Nele Russwinkel (Eds.)

Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221)
[PDF Icon for download
(2,393 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 170-187, doi: 10.4230/DagRep.12.5.170
Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, and Ferre Knaepkens (Eds.)

Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222)
[PDF Icon for download
(4,496 KB)
Dagstuhl Reports, Volume 12, Issue 5, pp. 188-230, doi: 10.4230/DagRep.12.5.188
Wendy Ju, Bastian Pfleging, and Andreas Riener (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (12,168 KB)
Dagstuhl Reports, Volume 12, Issue 4, April 2022, Complete Issue
[PDF Icon for download
(12,168 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 1-97, doi: 10.4230/DagRep.12.4

Dagstuhl Reports, Table of Contents, Volume 12, Issue 4, 2022
[PDF Icon for download
(221 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. i-ii, doi: 10.4230/DagRep.12.4.i

Symmetric Cryptography (Dagstuhl Seminar 22141)
[PDF Icon for download
(1,702 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 1-12, doi: 10.4230/DagRep.12.4.1
Nils Gregor Leander, Bart Mennink, María Naya-Plasencia, Yu Sasaki, and Eran Lambooij (Eds.)

Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)
[PDF Icon for download
(1,640 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 13-25, doi: 10.4230/DagRep.12.4.13
Priyank Jaini, Kristian Kersting, Antonio Vergari, and Max Welling (Eds.)

Urban Mobility Analytics (Dagstuhl Seminar 22162)
[PDF Icon for download
(6,235 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 26-53, doi: 10.4230/DagRep.12.4.26
David Jonietz, Monika Sester, Kathleen Stewart, Stephan Winter, Martin Tomko, and Yanan Xin (Eds.)

Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171)
[PDF Icon for download
(2,332 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 54-71, doi: 10.4230/DagRep.12.4.54
Alvaro Cárdenas Mora, Simin Nadjm-Tehrani, Edgar Weippl, and Matthias Eckhart (Eds.)

Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172)
[PDF Icon for download
(1,916 KB)
Dagstuhl Reports, Volume 12, Issue 4, pp. 72-95, doi: 10.4230/DagRep.12.4.72
Tilman Dingler, Benjamin Tag, and Andrew Vargo (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (25,243 KB)
Dagstuhl Reports, Volume 12, Issue 3, March 2022, Complete Issue
[PDF Icon for download
(25,243 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 1-157, doi: 10.4230/DagRep.12.3

Dagstuhl Reports, Table of Contents, Volume 12, Issue 3, 2022
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. i-ii, doi: 10.4230/DagRep.12.3.i

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101)
[PDF Icon for download
(5,684 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 1-14, doi: 10.4230/DagRep.12.3.1
Paolo Bientinesi, David Ham, Furong Huang, Paul H. J. Kelly, P. (Saday) Sadayappan, and Edward Stow (Eds.)

Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102)
[PDF Icon for download
(7,600 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 15-81, doi: 10.4230/DagRep.12.3.15
Christian P. Janssen, Martin Baumann, Antti Oulasvirta, Shamsi Tamara Iqbal, and Luisa Heinrich (Eds.)

Database Indexing and Query Processing (Dagstuhl Seminar 22111)
[PDF Icon for download
(5,275 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 82-96, doi: 10.4230/DagRep.12.3.82
Renata Borovica-Gajic, Goetz Graefe, Allison Lee, Caetano Sauer, and Pinar Tözün (Eds.)

3D Morphable Models and Beyond (Dagstuhl Seminar 22121)
[PDF Icon for download
(643 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 97-116, doi: 10.4230/DagRep.12.3.97
James Gardner, Bernhard Egger, William Smith, Christian Theobalt, and Stefanie Wuhrer (Eds.)

Framing in Communication: From Theories to Computation (Dagstuhl Seminar 22131)
[PDF Icon for download
(3,761 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 117-140, doi: 10.4230/DagRep.12.3.117
Katarzyna Budzynska, Chris Reed, Manfred Stede, Benno Stein, and Zhang He (Eds.)

Graph Embeddings: Theory meets Practice (Dagstuhl Seminar 22132)
[PDF Icon for download
(4,225 KB)
Dagstuhl Reports, Volume 12, Issue 3, pp. 141-155, doi: 10.4230/DagRep.12.3.141
Martin Grohe, Stephan Günnemann, Stefanie Jegelka, and Christopher Morris (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (29,399 KB)
Dagstuhl Reports, Volume 12, Issue 2, February 2022, Complete Issue
[PDF Icon for download
(29,399 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 1-144, doi: 10.4230/DagRep.12.2

Dagstuhl Reports, Table of Contents, Volume 12, Issue 2, 2022
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. i-ii, doi: 10.4230/DagRep.12.2.i

Logic and Random Discrete Structures (Dagstuhl Seminar 22061)
[PDF Icon for download
(2,848 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 1-16, doi: 10.4230/DagRep.12.2.1
Erich Grädel, Phokion G. Kolaitis, Marc Noy, and Matthias Naaf (Eds.)

Computation and Reconfiguration in Low-Dimensional Topological Spaces (Dagstuhl Seminar 22062)
[PDF Icon for download
(6,416 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 17-66, doi: 10.4230/DagRep.12.2.17
Maike Buchin, Anna Lubiw, Arnaud de Mesmay, Saul Schleimer, and Florestan Brunck (Eds.)

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)
[PDF Icon for download
(6,573 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 67-86, doi: 10.4230/DagRep.12.2.67
Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio (Eds.)

Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 22081)
[PDF Icon for download
(5,821 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 87-102, doi: 10.4230/DagRep.12.2.87
Anne Auger, Carlos M. Fonseca, Tobias Friedrich, Johannes Lengler, and Armand Gissler (Eds.)

Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082)
[PDF Icon for download
(4,020 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 103-133, doi: 10.4230/DagRep.12.2.103
Meinard Müller, Rachel Bittner, Juhan Nam, Michael Krause, and Yigitcan Özer (Eds.)

AI for the Social Good (Dagstuhl Seminar 22091)
[PDF Icon for download
(4,121 KB)
Dagstuhl Reports, Volume 12, Issue 2, pp. 134-142, doi: 10.4230/DagRep.12.2.134
Claudia Clopath, Ruben De Winne, and Tom Schaul (Eds.)

Issue 1
Dagstuhl Reports, Volume 12, Issue 1, January 2022, Complete Issue
[PDF Icon for download
(24,725 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 1-132, doi: 10.4230/DagRep.12.1

Dagstuhl Reports, Table of Contents, Volume 12, Issue 1, 2022
[PDF Icon for download
(225 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. i-ii, doi: 10.4230/DagRep.12.1.i

Mobility Data Science (Dagstuhl Seminar 22021)
[PDF Icon for download
(4,653 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 1-34, doi: 10.4230/DagRep.12.1.1
Mohamed Mokbel et al. (Ed.)

Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022)
[PDF Icon for download
(4,358 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 35-66, doi: 10.4230/DagRep.12.1.35
Bettina Berendt, Stan Matwin, Chiara Renso, Fran Meissner, Francesca Pratesi, Alessandra Raffaetà, and Geoffrey Rockwell (Eds.)

Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031)
[PDF Icon for download
(7,013 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 67-82, doi: 10.4230/DagRep.12.1.67
Karsten Klein, Juan F. Sequeda, Hsiang-Yun Wu, and Da Yan (Eds.)

Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042)
[PDF Icon for download
(559 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 83-100, doi: 10.4230/DagRep.12.1.83
Frank Kargl, Ioannis Krontiris, André Weimerskirch, Ian Williams, and Nataša Trkulja (Eds.)

Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)
[PDF Icon for download
(4,325 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 101-118, doi: 10.4230/DagRep.12.1.101
Albert Atserias, Christoph Berkholz, Kousha Etessami, and Joanna Ochremiak (Eds.)

The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052)
[PDF Icon for download
(4,061 KB)
Dagstuhl Reports, Volume 12, Issue 1, pp. 119-130, doi: 10.4230/DagRep.12.1.119
Brett A. Becker, Paul Denny, Janet Siegmund, Andreas Stefik, and Eddie Antonio Santos (Eds.)

Volume 11 (2021)

Issue 11 Complete Issue: [PDF Icon for download (2,253 KB)
Dagstuhl Reports, Volume 11, Issue 11, December 2021, Complete Issue
[PDF Icon for download
(2,253 KB)
Dagstuhl Reports, Volume 11, Issue 11, pp. 1-57, doi: 10.4230/DagRep.11.11

Dagstuhl Reports, Table of Contents, Volume 11, Issue 11, 2021
[PDF Icon for download
(210 KB)
Dagstuhl Reports, Volume 11, Issue 11, pp. i-ii, doi: 10.4230/DagRep.11.11.i

Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)
[PDF Icon for download
(2,070 KB)
Dagstuhl Reports, Volume 11, Issue 11, pp. 1-55, doi: 10.4230/DagRep.11.11.1
Pedro Cabalar, Zoe Falomir, Paulo E. Santos, and Thora Tenbrink (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (23,193 KB)
Dagstuhl Reports, Volume 11, Issue 10, November 2021, Complete Issue
[PDF Icon for download
(23,193 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 1-206, doi: 10.4230/DagRep.11.10

Dagstuhl Reports, Table of Contents, Volume 11, Issue 10, 2021
[PDF Icon for download
(226 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. i-ii, doi: 10.4230/DagRep.11.10.i

Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441)
[PDF Icon for download
(2,864 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 1-19, doi: 10.4230/DagRep.11.10.1
Michael Gerndt, Masaaki Kondo, Barton P. Miller, and Tapasya Patki (Eds.)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)
[PDF Icon for download
(1,891 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 20-35, doi: 10.4230/DagRep.11.10.20
Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger (Eds.)

Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451)
[PDF Icon for download
(2,536 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 36-56, doi: 10.4230/DagRep.11.10.36
Simon Dejung, Mingyan Liu, Arndt Lüder, and Edgar Weippl (Eds.)

Unambiguity in Automata Theory (Dagstuhl Seminar 21452)
[PDF Icon for download
(3,014 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 57-71, doi: 10.4230/DagRep.11.10.57
Thomas Colcombet, Karin Quaas, and Michał Skrzypczak (Eds.)

Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461)
[PDF Icon for download
(2,850 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 72-93, doi: 10.4230/DagRep.11.10.72
Mathieu Hoyrup, Arno Pauly, Victor Selivanov, and Mariya I. Soskova (Eds.)

Foundations of Persistent Programming (Dagstuhl Seminar 21462)
[PDF Icon for download
(2,533 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, doi: 10.4230/DagRep.11.10.94
Hans-J. Boehm, Ori Lahav, and Azalea Raad (Eds.)

Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471)
[PDF Icon for download
(2,885 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 111-150, doi: 10.4230/DagRep.11.10.111
Falai Chen, Tor Dokken, and Géraldine Morin (Eds.)

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)
[PDF Icon for download
(3,101 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 151-172, doi: 10.4230/DagRep.11.10.151
Thierry Coquand, Hajime Ishihara, Sara Negri, and Peter M. Schuster (Eds.)

Secure Compilation (Dagstuhl Seminar 21481)
[PDF Icon for download
(1,966 KB)
Dagstuhl Reports, Volume 11, Issue 10, pp. 173-204, doi: 10.4230/DagRep.11.10.173
David Chisnall, Deepak Garg, Catalin Hritcu, and Mathias Payer (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (16,216 KB)
Dagstuhl Reports, Volume 11, Issue 9, October 2021, Complete Issue
[PDF Icon for download
(16,216 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 1-121, doi: 10.4230/DagRep.11.9

Dagstuhl Reports, Table of Contents, Volume 11, Issue 9, 2021
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. i-ii, doi: 10.4230/DagRep.11.9.i

Visualization of Biological Data - From Analysis to Communication (Dagstuhl Seminar 21401)
[PDF Icon for download
(3,061 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 1-27, doi: 10.4230/DagRep.11.9.1
Karsten Klein, Georgeta Elisabeta Marai, Kay Katja Nieselt, and Blaz Zupan (Eds.)

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)
[PDF Icon for download
(484 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 28-44, doi: 10.4230/DagRep.11.9.28
Claude Kirchner, and Franziska Roesner (Eds.)

Machine Learning in Sports (Dagstuhl Seminar 21411)
[PDF Icon for download
(6,126 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 45-63, doi: 10.4230/DagRep.11.9.45
Ulf Brefeld, Jesse Davis, Martin Lames, and James J. Little (Eds.)

Quantum Cryptanalysis (Dagstuhl Seminar 21421)
[PDF Icon for download
(1,703 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 64-79, doi: 10.4230/DagRep.11.9.64
Stacey Jeffery, Michele Mosca, Maria Naya-Plasencia, and Rainer Steinwandt (Eds.)

Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
[PDF Icon for download
(2,301 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 80-101, doi: 10.4230/DagRep.11.9.80
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, and Grigore Rosu (Eds.)

Probabilistic Numerical Methods - From Theory to Implementation (Dagstuhl Seminar 21432)
[PDF Icon for download
(2,801 KB)
Dagstuhl Reports, Volume 11, Issue 9, pp. 102-119, doi: 10.4230/DagRep.11.9.102
Philipp Hennig, Ilse C.F. Ipsen, Maren Mahsereci, and Tim Sullivan (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (26,548 KB)
Dagstuhl Reports, Volume 11, Issue 8, September 2021, Complete Issue
[PDF Icon for download
(26,548 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 1-130, doi: 10.4230/DagRep.11.8

Dagstuhl Reports, Table of Contents, Volume 11, Issue 8, 2021
[PDF Icon for download
(223 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. i-ii, doi: 10.4230/DagRep.11.8.i

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
[PDF Icon for download
(7,595 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 1-10, doi: 10.4230/DagRep.11.8.1
Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler (Eds.)

Structure and Learning (Dagstuhl Seminar 21362)
[PDF Icon for download
(3,132 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 11-34, doi: 10.4230/DagRep.11.8.11
Tiansi Dong, Achim Rettinger, Jie Tang, Barbara Tversky, and Frank van Harmelen (Eds.)

Integrated Deduction (Dagstuhl Seminar 21371)
[PDF Icon for download
(3,007 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 35-51, doi: 10.4230/DagRep.11.8.35
Maria Paola Bonacina, Philipp Rümmer, and Renate A. Schmidt (Eds.)

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
[PDF Icon for download
(4,160 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 52-75, doi: 10.4230/DagRep.11.8.52
Mariangiola Dezani, Roland Kuhn, Sam Lindley, and Alceste Scalas (Eds.)

Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381)
[PDF Icon for download
(5,098 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 76-114, doi: 10.4230/DagRep.11.8.76
Effie Lai-Chong Law, Asbjørn Følstad, Jonathan Grudin, and Björn Schuller (Eds.)

Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)
[PDF Icon for download
(3,797 KB)
Dagstuhl Reports, Volume 11, Issue 8, pp. 115-128, doi: 10.4230/DagRep.11.8.115
Daniel Král’, Michał Pilipczuk, Sebastian Siebertz, and Blair D. Sullivan (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (23,248 KB)
Dagstuhl Reports, Volume 11, Issue 7, August 2021, Complete Issue
[PDF Icon for download
(23,248 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 1-180, doi: 10.4230/DagRep.11.7

Dagstuhl Reports, Table of Contents, Volume 11, Issue 7, 2021
[PDF Icon for download
(222 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. i-ii, doi: 10.4230/DagRep.11.7.i

Coalition Formation Games (Dagstuhl Seminar 21331)
[PDF Icon for download
(4,645 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 1-15, doi: 10.4230/DagRep.11.7.1
Edith Elkind, Judy Goldsmith, Anja Rey, and Jörg Rothe (Eds.)

Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332)
[PDF Icon for download
(4,010 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 16-75, doi: 10.4230/DagRep.11.7.16
Philip Carns, Julian Kunkel, Kathryn Mohror, and Martin Schulz (Eds.)

Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 21342)
[PDF Icon for download
(3,279 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 76-88, doi: 10.4230/DagRep.11.7.76
Aaron Ding, Ella Peltonen, Sasu Tarkoma, and Lars Wolf (Eds.)

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 21351)
[PDF Icon for download
(1,902 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 89-138, doi: 10.4230/DagRep.11.7.89
Timothy Baldwin, William Croft, Joakim Nivre, and Agata Savary (Eds.)

Higher-Order Graph Models: From Theoretical Foundations to Machine Learning (Dagstuhl Seminar 21352)
[PDF Icon for download
(9,572 KB)
Dagstuhl Reports, Volume 11, Issue 7, pp. 139-178, doi: 10.4230/DagRep.11.7.139
Tina Eliassi-Rad, Vito Latora, Martin Rosvall, and Ingo Scholtes (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (15,333 KB)
Dagstuhl Reports, Volume 11, Issue 6, July 2021, Complete Issue
[PDF Icon for download
(15,333 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 1-165, doi: 10.4230/DagRep.11.6

Dagstuhl Reports, Table of Contents, Volume 11, Issue 6, 2021
[PDF Icon for download
(224 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. i-ii, doi: 10.4230/DagRep.11.6.i

Computational Proteomics (Dagstuhl Seminar 21271)
[PDF Icon for download
(2,609 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 1-13, doi: 10.4230/DagRep.11.6.1
Sebastian Böcker, Rebekah Gundry, Lennart Martens, and Magnus Palmblad (Eds.)

Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272)
[PDF Icon for download
(849 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 14-37, doi: 10.4230/DagRep.11.6.14
Vaibhav Bajpai, Oliver Hohlfeld, Jon Crowcroft, and Srinivasan Keshav (Eds.)

Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283)
[PDF Icon for download
(2,211 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 38-53, doi: 10.4230/DagRep.11.6.38
Stratos Idreos, Viktor Leis, Kai-Uwe Sattler, and Margo Seltzer (Eds.)

Scalable Handling of Effects (Dagstuhl Seminar 21292)
[PDF Icon for download
(1,519 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 54-81, doi: 10.4230/DagRep.11.6.54
Danel Ahman, Amal Ahmed, Sam Lindley, and Andreas Rossberg (Eds.)

Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293)
[PDF Icon for download
(5,882 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 82-123, doi: 10.4230/DagRep.11.6.82
Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, and Meirav Zehavi (Eds.)

Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301)
[PDF Icon for download
(2,145 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 124-146, doi: 10.4230/DagRep.11.6.124
Haris Aziz, Péter Biró, Tamás Fleiner, and Bettina Klaus (Eds.)

Approximate Systems (Dagstuhl Seminar 21302)
[PDF Icon for download
(2,441 KB)
Dagstuhl Reports, Volume 11, Issue 6, pp. 147-163, doi: 10.4230/DagRep.11.6.147
Eva Darulova, Babak Falsafi, Andreas Gerstlauer, and Phillip Stanley-Marbell (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (15,233 KB)
Dagstuhl Reports, Volume 11, Issue 5, June 2021, Complete Issue
[PDF Icon for download
(15,233 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 1-98, doi: 10.4230/DagRep.11.5

Dagstuhl Reports, Table of Contents, Volume 11, Issue 5, 2021
[PDF Icon for download
(213 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. i-ii, doi: 10.4230/DagRep.11.5.i

Transparency by Design (Dagstuhl Seminar 21231)
[PDF Icon for download
(818 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 1-22, doi: 10.4230/DagRep.11.5.1
Judy Kay, Tsvi Kuflik, and Michael Rovatsos (Eds.)

Human-Computer Interaction to Support Work and Wellbeing in Mobile Environments (Dagstuhl Seminar 21232)
[PDF Icon for download
(9,070 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 23-53, doi: 10.4230/DagRep.11.5.23
Stephen Brewster, Andrew Kun, Andreas Riener, and Orit Shaer (Eds.)

Compute-First Networking (Dagstuhl Seminar 21243)
[PDF Icon for download
(1,405 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 54-75, doi: 10.4230/DagRep.11.5.54
Jon Crowcroft, Philip Eardley, Dirk Kutscher, and Eve M. Schooler (Eds.)

Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261)
[PDF Icon for download
(3,143 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 76-88, doi: 10.4230/DagRep.11.5.76
Bill Fefferman, Sevag Gharibian, Norbert Schuch, and Barbara Terhal (Eds.)

Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262)
[PDF Icon for download
(940 KB)
Dagstuhl Reports, Volume 11, Issue 5, pp. 89-96, doi: 10.4230/DagRep.11.5.89
Ana Aguiar, Onur Altintas, Falko Dressler, and Gunnar Karlsson (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (4,832 KB)
Dagstuhl Reports, Volume 11, Issue 4, May 2021, Complete Issue
[PDF Icon for download
(4,832 KB)
Dagstuhl Reports, Volume 11, Issue 4, pp. 1-95, doi: 10.4230/DagRep.11.4

Dagstuhl Reports, Table of Contents, Volume 11, Issue 4, 2021
[PDF Icon for download
(217 KB)
Dagstuhl Reports, Volume 11, Issue 4, pp. i-ii, doi: 10.4230/DagRep.11.4.i

Computational Geometry (Dagstuhl Seminar 21181)
[PDF Icon for download
(556 KB)
Dagstuhl Reports, Volume 11, Issue 4, pp. 1-19, doi: 10.4230/DagRep.11.4.1
Siu-Wing Cheng, Anne Driemel, and Jeff M. Phillips (Eds.)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)
[PDF Icon for download
(1,856 KB)
Dagstuhl Reports, Volume 11, Issue 4, pp. 20-33, doi: 10.4230/DagRep.11.4.20
Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid (Eds.)

Serverless Computing (Dagstuhl Seminar 21201)
[PDF Icon for download
(2,399 KB)
Dagstuhl Reports, Volume 11, Issue 4, pp. 34-93, doi: 10.4230/DagRep.11.4.34
Cristina Abad, Ian T. Foster, Nikolas Herbst, and Alexandru Iosup (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (6,990 KB)
Dagstuhl Reports, Volume 11, Issue 3, April 2021, Complete Issue
[PDF Icon for download
(6,990 KB)
Dagstuhl Reports, Volume 11, Issue 3, pp. 1-48, doi: 10.4230/DagRep.11.3

Dagstuhl Reports, Table of Contents, Volume 11, Issue 3, 2021
[PDF Icon for download
(215 KB)
Dagstuhl Reports, Volume 11, Issue 3, pp. i-ii, doi: 10.4230/DagRep.11.3.i

Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152)
[PDF Icon for download
(5,842 KB)
Dagstuhl Reports, Volume 11, Issue 3, pp. 1-15, doi: 10.4230/DagRep.11.3.1
Katy Börner, and Stephen Kobourov (Eds.)

Temporal Graphs: Structure, Algorithms, Applications (Dagstuhl Seminar 21171)
[PDF Icon for download
(1,287 KB)
Dagstuhl Reports, Volume 11, Issue 3, pp. 16-46, doi: 10.4230/DagRep.11.3.16
Arnaud Casteigts, Kitty Meeks, George B. Mertzios, and Rolf Niedermeier (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (1,424 KB)
Dagstuhl Reports, Volume 11, Issue 2, March 2021, Complete Issue
[PDF Icon for download
(1,424 KB)
Dagstuhl Reports, Volume 11, Issue 2, pp. 1-18, doi: 10.4230/DagRep.11.2

Dagstuhl Reports, Table of Contents, Volume 11, Issue 2, 2021
[PDF Icon for download
(211 KB)
Dagstuhl Reports, Volume 11, Issue 2, pp. i-ii, doi: 10.4230/DagRep.11.2.i

Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121)
[PDF Icon for download
(1,326 KB)
Dagstuhl Reports, Volume 11, Issue 2, pp. 1-16, doi: 10.4230/DagRep.11.2.1
Anna Gál, Meena Mahajan, Rahul Santhanam, and Till Tantau (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (9,840 KB)
Dagstuhl Reports, Volume 11, Issue 1, February 2021, Complete Issue
[PDF Icon for download
(9,840 KB)
Dagstuhl Reports, Volume 11, Issue 1, pp. 1-102, doi: 10.4230/DagRep.11.1

Dagstuhl Reports, Table of Contents, Volume 11, Issue 1, 2021
[PDF Icon for download
(214 KB)
Dagstuhl Reports, Volume 11, Issue 1, pp. i-ii, doi: 10.4230/DagRep.11.1.i

Scalable Data Structures (Dagstuhl Seminar 21071)
[PDF Icon for download
(1,769 KB)
Dagstuhl Reports, Volume 11, Issue 1, pp. 1-23, doi: 10.4230/DagRep.11.1.1
Gerth Stølting Brodal, John Iacono, Markus E. Nebel, and Vijaya Ramachandran (Eds.)

Autonomous Agents on the Web (Dagstuhl Seminar 21072)
[PDF Icon for download
(8,775 KB)
Dagstuhl Reports, Volume 11, Issue 1, pp. 24-100, doi: 10.4230/DagRep.11.1.24
Olivier Boissier, Andrei Ciortea, Andreas Harth, and Alessandro Ricci (Eds.)

Volume 10 (2020)

Issue 5 Complete Issue: [PDF Icon for download (2,015 KB)
DagRep, Volume 10, Issue 5, October 2020, Complete Issue
[PDF Icon for download
(2,015 KB)
Dagstuhl Reports, Volume 10, Issue 5, pp. 1-20, doi: 10.4230/DagRep.10.5

Dagstuhl Reports, Table of Contents, Volume 10, Issue 5, 2020
[PDF Icon for download
(176 KB)
Dagstuhl Reports, Volume 10, Issue 5, pp. i-ii, doi: 10.4230/DagRep.10.5.i

Decision-Making Modeling and Solutions for Smart Semiconductor Manufacturing (Dagstuhl Seminar 20452)
[PDF Icon for download
(1,819 KB)
Dagstuhl Reports, Volume 10, Issue 5, pp. 1-18, doi: 10.4230/DagRep.10.5.1
Chen-Fu Chien, Hans Ehm, John W. Fowler, and Lars Mönch (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (4,133 KB)
DagRep, Volume 10, Issue 4, September 2020, Complete Issue
[PDF Icon for download
(4,133 KB)
Dagstuhl Reports, Volume 10, Issue 4, pp. 1-44, doi: 10.4230/DagRep.10.4

Dagstuhl Reports, Table of Contents, Volume 10, Issue 4, 2020
[PDF Icon for download
(158 KB)
Dagstuhl Reports, Volume 10, Issue 4, pp. i-ii, doi: 10.4230/DagRep.10.4.i

Beyond Adaptation: Understanding Distributional Changes (Dagstuhl Seminar 20372)
[PDF Icon for download
(2,631 KB)
Dagstuhl Reports, Volume 10, Issue 4, pp. 1-36, doi: 10.4230/DagRep.10.4.1
Georg Krempl, Vera Hofer, Geoffrey Webb, and Eyke Hüllermeier (Eds.)

Interactive Visualization for Fostering Trust in AI (Dagstuhl Seminar 20382)
[PDF Icon for download
(1,431 KB)
Dagstuhl Reports, Volume 10, Issue 4, pp. 37-42, doi: 10.4230/DagRep.10.4.37
Daniela Oelke, Daniel A. Keim, Polo Chau, and Alex Endert (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (8,763 KB)
Dagstuhl Reports, Volume 10, Issue 3, March 2020, Complete Issue
[PDF Icon for download
(8,763 KB)
Dagstuhl Reports, Volume 10, Issue 3, pp. 1-72, doi: 10.4230/DagRep.10.3

Dagstuhl Reports, Table of Contents, Volume 10, Issue 3, 2020
[PDF Icon for download
(158 KB)
Dagstuhl Reports, Volume 10, Issue 3, pp. i-ii, doi: 10.4230/DagRep.10.3.i

Resiliency in Numerical Algorithm Design for Extreme Scale Simulations (Dagstuhl Seminar 20101)
[PDF Icon for download
(4,639 KB)
Dagstuhl Reports, Volume 10, Issue 3, pp. 1-57, doi: 10.4230/DagRep.10.3.1
Luc Giraud, Ulrich Rüde, and Linda Stals (Eds.)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111)
[PDF Icon for download
(4,053 KB)
Dagstuhl Reports, Volume 10, Issue 3, pp. 58-70, doi: 10.4230/DagRep.10.3.58
Paolo Bientinesi, David Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, and Saday Sadayappan (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (33,087 KB)
Dagstuhl Reports, Volume 10, Issue 2, February 2020, Complete Issue
[PDF Icon for download
(33,087 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. 1-89, doi: 10.4230/DagRep.10.2

Dagstuhl Reports, Table of Contents, Volume 10, Issue 2, 2020
[PDF Icon for download
(162 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. i-ii, doi: 10.4230/DagRep.10.2.i

SAT and Interactions (Dagstuhl Seminar 20061)
[PDF Icon for download
(6,697 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. 1-18, doi: 10.4230/DagRep.10.2.1
Olaf Beyersdorff, Uwe Egly, Meena Mahajan, and Cláudia Nalon (Eds.)

Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)
[PDF Icon for download
(10,451 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. 19-49, doi: 10.4230/DagRep.10.2.19
Alexander Artikis, Thomas Eiter, Alessandro Margara, and Stijn Vansummeren (Eds.)

Scheduling (Dagstuhl Seminar 20081)
[PDF Icon for download
(7,930 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. 50-75, doi: 10.4230/DagRep.10.2.50
Nicole Megow, David Shmoys, and Ola Svensson (Eds.)

SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)
[PDF Icon for download
(8,083 KB)
Dagstuhl Reports, Volume 10, Issue 2, pp. 76-87, doi: 10.4230/DagRep.10.2.76
Kristian Kersting, Miryung Kim, Guy Van den Broeck, and Thomas Zimmermann (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (30,289 KB)
Dagstuhl Reports, Volume 10, Issue 1, January 2020, Complete Issue
[PDF Icon for download
(30,289 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. 1-161, doi: 10.4230/DagRep.10.1

Dagstuhl Reports, Table of Contents, Volume 10, Issue 1, 2020
[PDF Icon for download
(153 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. i-ii, doi: 10.4230/DagRep.10.1.i

Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction (Dagstuhl Seminar 20021)
[PDF Icon for download
(10,642 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. 1-51, doi: 10.4230/DagRep.10.1.1
Laurence Devillers, Tatsuya Kawahara, Roger K. Moore, and Matthias Scheutz (Eds.)

Scalability in Multiobjective Optimization (Dagstuhl Seminar 20031)
[PDF Icon for download
(2,704 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. 52-129, doi: 10.4230/DagRep.10.1.52
Carlos M. Fonseca, Kathrin Klamroth, Günter Rudolph, and Margaret M. Wiecek (Eds.)

Symmetric Cryptography (Dagstuhl Seminar 20041)
[PDF Icon for download
(8,190 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. 130-143, doi: 10.4230/DagRep.10.1.130
Nils Gregor Leander, Bart Mennink, Kaisa Nyberg, and Kan Yasuda (Eds.)

Computational Metabolomics: From Cheminformatics to Machine Learning (Dagstuhl Seminar 20051)
[PDF Icon for download
(8,805 KB)
Dagstuhl Reports, Volume 10, Issue 1, pp. 144-159, doi: 10.4230/DagRep.10.1.144
Sebastian Böcker, Corey Broeckling, Emma Schymanski, and Nicola Zamboni (Eds.)

Volume 9 (2019)

Issue 12 Complete Issue: [PDF Icon for download (36,495 KB)
Dagstuhl Reports, Volume 9, Issue 12, December 2019, Complete Issue
[PDF Icon for download
(36,495 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. 1-136, doi: 10.4230/DagRep.9.12

Dagstuhl Reports, Table of Contents, Volume 9, Issue 12, 2019
[PDF Icon for download
(185 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. i-ii, doi: 10.4230/DagRep.9.12.i

Big Graph Processing Systems (Dagstuhl Seminar 19491)
[PDF Icon for download
(8,557 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. 1-27, doi: 10.4230/DagRep.9.12.1
Angela Bonifati, Alexandru Iosup, Sherif Sakr, and Hannes Voigt (Eds.)

Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502)
[PDF Icon for download
(8,498 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. 28-66, doi: 10.4230/DagRep.9.12.28
Dirk Ziegenbein, Selma Saidi, Xiaobo Sharon Hu, and Sebastian Steinhorst (Eds.)

Artificial and Computational Intelligence in Games: Revolutions in Computational Game AI (Dagstuhl Seminar 19511)
[PDF Icon for download
(10,761 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. 67-114, doi: 10.4230/DagRep.9.12.67
Jialin Liu, Tom Schaul, Pieter Spronck, and Julian Togelius (Eds.)

Interactive Design and Simulation (Dagstuhl Seminar 19512)
[PDF Icon for download
(8,707 KB)
Dagstuhl Reports, Volume 9, Issue 12, pp. 115-134, doi: 10.4230/DagRep.9.12.115
Thomas A. Grandine, Jörg Peters, and Ulrich Reif (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (46,752 KB)
Dagstuhl Reports, Volume 9, Issue 11, November 2019, Complete Issue
[PDF Icon for download
(46,752 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 1-126, doi: 10.4230/DagRep.9.11

Dagstuhl Reports, Table of Contents, Volume 9, Issue 11, 2019
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. i-ii, doi: 10.4230/DagRep.9.11.i

Biggest Failures in Security (Dagstuhl Seminar 19451)
[PDF Icon for download
(6,836 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 1-23, doi: 10.4230/DagRep.9.11.1
Frederik Armknecht, Ingrid Verbauwhede, Melanie Volkamer, and Moti Yung (Eds.)

Machine Learning Meets Visualization to Make Artificial Intelligence Interpretable (Dagstuhl Seminar 19452)
[PDF Icon for download
(5,927 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 24-33, doi: 10.4230/DagRep.9.11.24
Enrico Bertini, Peer-Timo Bremer, Daniela Oelke, and Jayaraman Thiagarajan (Eds.)

Conversational Search (Dagstuhl Seminar 19461)
[PDF Icon for download
(8,933 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 34-83, doi: 10.4230/DagRep.9.11.34
Avishek Anand, Lawrence Cavedon, Hideo Joho, Mark Sanderson, and Benno Stein (Eds.)

BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471)
[PDF Icon for download
(7,946 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 84-96, doi: 10.4230/DagRep.9.11.84
Margaret-Anne Storey, Alexander Serebrenik, Carolyn Penstein Rosé, Thomas Zimmermann, and James D. Herbsleb (Eds.)

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)
[PDF Icon for download
(11,325 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 97-116, doi: 10.4230/DagRep.9.11.97
Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler (Eds.)

Diversity, Fairness, and Data-Driven Personalization in (News) Recommender System (Dagstuhl Perspectives Workshop 19482)
[PDF Icon for download
(5,959 KB)
Dagstuhl Reports, Volume 9, Issue 11, pp. 117-124, doi: 10.4230/DagRep.9.11.117
Abraham Bernstein, Claes De Vreese, Natali Helberger, Wolfgang Schulz, and Katharina A. Zweig (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (19,268 KB)
Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue
[PDF Icon for download
(19,268 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 1-153, doi: 10.4230/DagRep.9.10

Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019
[PDF Icon for download
(201 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. i-ii, doi: 10.4230/DagRep.9.10.i

Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411)
[PDF Icon for download
(3,803 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 1-46, doi: 10.4230/DagRep.9.10.1
Elisabeth André, Ana Paiva, Julie Shah, and Selma Šabanovic (Eds.)

Quantum Cryptanalysis (Dagstuhl Seminar 19421)
[PDF Icon for download
(3,291 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 47-60, doi: 10.4230/DagRep.9.10.47
Michele Mosca, Maria Naya-Plasencia, and Rainer Steinwandt (Eds.)

Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)
[PDF Icon for download
(3,966 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 61-94, doi: 10.4230/DagRep.9.10.61
Carola Doerr, Carlos M. Fonseca, Tobias Friedrich, and Xin Yao (Eds.)

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)
[PDF Icon for download
(2,305 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 95-116, doi: 10.4230/DagRep.9.10.95
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker and (Eds.)

Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)
[PDF Icon for download
(3,223 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 117-133, doi: 10.4230/DagRep.9.10.117
Carla Ferreira, Philipp Haller, and Guido Salvaneschi (Eds.)

Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)
[PDF Icon for download
(2,864 KB)
Dagstuhl Reports, Volume 9, Issue 10, pp. 134-151, doi: 10.4230/DagRep.9.10.134
Magnus Bordewich, Britta Dorn, Simone Linz, and Rolf Niedermeier (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (20,834 KB)
Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue
[PDF Icon for download
(20,834 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 1-157, doi: 10.4230/DagRep.9.9

Dagstuhl Reports, Table of Contents, Volume 9, Issue 9, 2019
[PDF Icon for download
(200 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. i-ii, doi: 10.4230/DagRep.9.9.i

Logic and Learning (Dagstuhl Seminar 19361)
[PDF Icon for download
(4,300 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 1-22, doi: 10.4230/DagRep.9.9.1
Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, and Daniel Neider (Eds.)

Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)
[PDF Icon for download
(3,426 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 23-44, doi: 10.4230/DagRep.9.9.23
Carsten Fuhs, Philipp Rümmer, Renate Schmidt, and Cesare Tinelli (Eds.)

Application-Oriented Computational Social Choice (Dagstuhl Seminar 19381)
[PDF Icon for download
(4,445 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 45-65, doi: 10.4230/DagRep.9.9.45
Umberto Grandi, Stefan Napel, Rolf Niedermeier,, and Kristen Brent Venable (Eds.)

Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391)
[PDF Icon for download
(5,991 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 66-134, doi: 10.4230/DagRep.9.9.66
Cinzia Cappiello, Avigdor Gal, Matthias Jarke, and Jakob Rehof (Eds.)

Comparative Theory for Graph Polynomials (Dagstuhl Seminar 19401)
[PDF Icon for download
(3,663 KB)
Dagstuhl Reports, Volume 9, Issue 9, pp. 135-155, doi: 10.4230/DagRep.9.9.135
Jo Ellis-Monaghan, Andrew Goodall, Iain Moffatt, and Kerri Morgan (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (19,950 KB)
Dagstuhl Reports, Volume 9, Issue 8, August 2019, Complete Issue
[PDF Icon for download
(19,950 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 0-0, doi: 10.4230/DagRep.9.8

Dagstuhl Reports, Table of Contents, Volume 9, Issue 8, 2019
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. i-ii, doi: 10.4230/DagRep.9.8.i

Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331)
[PDF Icon for download
(4,394 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 1-25, doi: 10.4230/DagRep.9.8.1
Bjorn De Sutter, Christian Collberg, Mila Dalla Preda, and Brecht Wyseur (Eds.)

Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 19341)
[PDF Icon for download
(3,301 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 26-48, doi: 10.4230/DagRep.9.8.26
Dmitriy Bilyk, Aicke Hinrichs, Frances Y. Kuo, and Klaus Ritter (Eds.)

Advances and Challenges in Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 19342)
[PDF Icon for download
(3,797 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 49-69, doi: 10.4230/DagRep.9.8.49
Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani (Eds.)

Computational Proteomics (Dagstuhl Seminar 19351)
[PDF Icon for download
(2,841 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 70-83, doi: 10.4230/DagRep.9.8.70
Nuno Bandeira, and Lennart Martens (Eds.)

Computation in Low-Dimensional Geometry and Topology (Dagstuhl Seminar 19352)
[PDF Icon for download
(5,793 KB)
Dagstuhl Reports, Volume 9, Issue 8, pp. 84-112, doi: 10.4230/DagRep.9.8.84
Maarten Löffler, Anna Lubiw, Saul Schleimer, and Erin Moriarty Wolf Chambers (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (17,275 KB)
Dagstuhl Reports, Volume 9, Issue 7, July 2019, Complete Issue
[PDF Icon for download
(17,275 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 0-0, doi: 10.4230/DagRep.9.7

Dagstuhl Reports, Table of Contents, Volume 9, Issue 7, 2019
[PDF Icon for download
(189 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. i-ii, doi: 10.4230/DagRep.9.7.i

Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)
[PDF Icon for download
(2,451 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 1-23, doi: 10.4230/DagRep.9.7.1
Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, and Jan Vahrenhold (Eds.)

Data Series Management (Dagstuhl Seminar 19282)
[PDF Icon for download
(2,777 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 24-39, doi: 10.4230/DagRep.9.7.24
Anthony Bagnall, Richard L. Cole, Themis Palpanas, and Konstantinos Zoumpatianos (Eds.)

Values in Computing (Dagstuhl Seminar 19291)
[PDF Icon for download
(3,332 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 40-77, doi: 10.4230/DagRep.9.7.40
Christoph Becker, Gregor Engels, Andrew Feenberg, Maria Angela Ferrario, and Geraldine Fitzpatrick (Eds.)

Mobile Data Visualization (Dagstuhl Seminar 19292)
[PDF Icon for download
(865 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 78-93, doi: 10.4230/DagRep.9.7.78
Eun Kyoung Choe, Raimund Dachselt, Petra Isenberg, and Bongshin Lee (Eds.)

Secure Composition for Hardware Systems (Dagstuhl Seminar 19301)
[PDF Icon for download
(4,140 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 94-116, doi: 10.4230/DagRep.9.7.94
Divya Arora, Ilia Polian, Francesco Regazzoni, and Patrick Schaumont (Eds.)

Cybersafety Threats - from Deception to Aggression (Dagstuhl Seminar 19302)
[PDF Icon for download
(4,049 KB)
Dagstuhl Reports, Volume 9, Issue 7, pp. 117-154, doi: 10.4230/DagRep.9.7.117
Zinaida Benenson, Marianne Junger, Daniela Oliveira, and Gianluca Stringhini (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (28,972 KB)
Dagstuhl Reports, Volume 9, Issue 6, June 2019, Complete Issue
[PDF Icon for download
(28,972 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 0-0, doi: 10.4230/DagRep.9.6

Dagstuhl Reports, Table of Contents, Volume 9, Issue 6, 2019
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. i-ii, doi: 10.4230/DagRep.9.6.i

Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231)
[PDF Icon for download
(3,427 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 1-25, doi: 10.4230/DagRep.9.6.1
Adam Shostack, Matthew Smith, Sam Weber, and Mary Ellen Zurko (Eds.)

Ubiquitous Computing Education: Why, What, and How (Dagstuhl Seminar 19232)
[PDF Icon for download
(4,972 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 26-54, doi: 10.4230/DagRep.9.6.26
Audrey Girouard, Andrew L. Kun, Anne Roudaut, and Orit Shaer (Eds.)

25 Years of the Burrows-Wheeler Transform (Dagstuhl Seminar 19241)
[PDF Icon for download
(4,505 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 55-68, doi: 10.4230/DagRep.9.6.55
Travis Gagie, Giovanni Manzini, Gonzalo Navarro, and Jens Stoye (Eds.)

Distributed Computing with Permissioned Blockchains and Databases (Dagstuhl Seminar 19261)
[PDF Icon for download
(3,560 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 69-94, doi: 10.4230/DagRep.9.6.69
C. Mohan, Beng Chin Ooi, and Gottfried Vossen (Eds.)

Astrographics: Interactive Data-Driven Journeys through Space (Dagstuhl Seminar 19262)
[PDF Icon for download
(3,428 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 95-124, doi: 10.4230/DagRep.9.6.95
Alyssa A. Goodman, Charles D. Hansen, Daniel Weiskopf, and Anders Ynnerman (Eds.)

Graph Colouring: from Structure to Algorithms (Dagstuhl Seminar 19271)
[PDF Icon for download
(3,631 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 125-142, doi: 10.4230/DagRep.9.6.125
Maria Chudnovsky, Daniel Paulusma, and Oliver Schaudt (Eds.)

Real VR - Importing the Real World into Immersive VR and Optimizing the Perceptual Experience of Head-Mounted Displays (Dagstuhl Seminar 19272)
[PDF Icon for download
(5,802 KB)
Dagstuhl Reports, Volume 9, Issue 6, pp. 143-156, doi: 10.4230/DagRep.9.6.143
Marcus A. Magnor, and Alexander Sorkine-Hornung (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (23,867 KB)
Dagstuhl Reports, Volume 9, Issue 5, May 2019, Complete Issue
[PDF Icon for download
(23,867 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 0-0, doi: 10.4230/DagRep.9.5

Dagstuhl Reports, Table of Contents, Volume 9, Issue 5, 2019
[PDF Icon for download
(201 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. i-ii, doi: 10.4230/DagRep.9.5.i

Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)
[PDF Icon for download
(4,447 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 1-30, doi: 10.4230/DagRep.9.5.1
Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer (Eds.)

Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192)
[PDF Icon for download
(5,320 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 31-57, doi: 10.4230/DagRep.9.5.31
Sara Irina Fabrikant, Silvia Miksch, and Alexander Wolff (Eds.)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
[PDF Icon for download
(2,715 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 58-88, doi: 10.4230/DagRep.9.5.58
Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid (Eds.)

Enumeration in Data Management (Dagstuhl Seminar 19211)
[PDF Icon for download
(3,630 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 89-109, doi: 10.4230/DagRep.9.5.89
Endre Boros, Benny Kimelfeld, Reinhard Pichler, and Nicole Schweikardt (Eds.)

Topology, Computation and Data Analysis (Dagstuhl Seminar 19212)
[PDF Icon for download
(3,888 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 110-131, doi: 10.4230/DagRep.9.5.110
Michael Kerber, Vijay Natarajan, and Bei Wang (Eds.)

Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222)
[PDF Icon for download
(4,162 KB)
Dagstuhl Reports, Volume 9, Issue 5, pp. 132-141, doi: 10.4230/DagRep.9.5.132
John S. Baras, Sandra Hirche, Kay Römer, and Klaus Wehrle (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (47,730 KB)
Dagstuhl Reports, Volume 9, Issue 4, April 2019, Complete Issue
[PDF Icon for download
(47,730 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 0-0, doi: 10.4230/DagRep.9.4

Dagstuhl Reports, Table of Contents, Volume 9, Issue 4, 2019
[PDF Icon for download
(203 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. i-ii, doi: 10.4230/DagRep.9.4.i

Visual Computing in Materials Sciences (Dagstuhl Seminar 19151)
[PDF Icon for download
(8,736 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 1-42, doi: 10.4230/DagRep.9.4.1
Christoph Heinzl, Robert Michael Kirby, Stepan V. Lomov, Guillermo Requena, and Rüdiger Westermann (Eds.)

Emerging Hardware Techniques and EDA Methodologies for Neuromorphic Computing (Dagstuhl Seminar 19152)
[PDF Icon for download
(7,121 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 43-58, doi: 10.4230/DagRep.9.4.43
Krishnendu Chakrabarty, Tsung-Yi Ho, Hai Li, and Ulf Schlichtmann (Eds.)

Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171)
[PDF Icon for download
(7,767 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 59-86, doi: 10.4230/DagRep.9.4.59
Michael Fisher, Christian List, Marija Slavkovik, and Astrid Weiss (Eds.)

Computational Creativity Meets Digital Literary Studies (Dagstuhl Seminar 19172)
[PDF Icon for download
(8,693 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 87-106, doi: 10.4230/DagRep.9.4.87
Tarek Richard Besold, Pablo Gervás, Evelyn Gius, and Sarah Schulz (Eds.)

Computational Geometry (Dagstuhl Seminar 19181)
[PDF Icon for download
(8,740 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 107-123, doi: 10.4230/DagRep.9.4.107
Siu-Wing Cheng, Anne Driemel, and Jeff Erickson (Eds.)

Multi-Document Information Consolidation (Dagstuhl Seminar 19182)
[PDF Icon for download
(6,856 KB)
Dagstuhl Reports, Volume 9, Issue 4, pp. 124-140, doi: 10.4230/DagRep.9.4.124
Ido Dagan, Iryna Gurevych, Dan Roth, and Amanda Stent (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (94,340 KB)
Dagstuhl Reports, Volume 9, Issue 3, March 2019, Complete Issue
[PDF Icon for download
(94,340 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 0-0, doi: 10.4230/DagRep.9.3

Dagstuhl Reports, Table of Contents, Volume 9, Issue 3, 2019
[PDF Icon for download
(204 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. i-ii, doi: 10.4230/DagRep.9.3.i

Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101)
[PDF Icon for download
(3,158 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 1-15, doi: 10.4230/DagRep.9.3.1
Kunal Agrawal, Enrico Bini, and Giovanni Stea (Eds.)

3D Morphable Models (Dagstuhl Seminar 19102)
[PDF Icon for download
(3,959 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 16-38, doi: 10.4230/DagRep.9.3.16
Bernhard Egger, William Smith, Christian Theobalt, and Thomas Vetter (Eds.)

Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111)
[PDF Icon for download
(9,109 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 39-51, doi: 10.4230/DagRep.9.3.39
Martin Farach-Colton, Inge Li Gørtz, Rob Johnson, and Donald E. Porter (Eds.)

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)
[PDF Icon for download
(3,230 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 52-63, doi: 10.4230/DagRep.9.3.52
Jürgen Dix, Brian Logan, and Michael Winikoff (Eds.)

Computational Complexity of Discrete Problems (Dagstuhl Seminar 19121)
[PDF Icon for download
(4,281 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 64-82, doi: 10.4230/DagRep.9.3.64
Anna Gál, Rahul Santhanam, and Till Tantau (Eds.)

Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131)
[PDF Icon for download
(3,827 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 83-110, doi: 10.4230/DagRep.9.3.83
Volker Diekert, Olga Kharlampovich, Markus Lohrey, and Alexei Myasnikov (Eds.)

Users and automated driving systems: How will we interact with tomorrow's vehicles? (Dagstuhl Seminar 19132)
[PDF Icon for download
(56,829 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 111-178, doi: 10.4230/DagRep.9.3.111
Susanne Boll, Andrew L. Kun, Andreas Riener, and C.Y. David Yang (Eds.)

Programmable Network Data Planes (Dagstuhl Seminar 19141)
[PDF Icon for download
(10,531 KB)
Dagstuhl Reports, Volume 9, Issue 3, pp. 178-201, doi: 10.4230/DagRep.9.3.178
Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, and Justine Sherry (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (62,321 KB)
Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue
[PDF Icon for download
(62,321 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 0-0, doi: 10.4230/DagRep.9.2

Dagstuhl Reports, Table of Contents, Volume 9, Issue 2, 2019
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. i-ii, doi: 10.4230/DagRep.9.2.i

Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061)
[PDF Icon for download
(9,388 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 1-26, doi: 10.4230/DagRep.9.2.1
Mikko Kivelä, Fintan McGee, Guy Melançon, Nathalie Henry Riche, and Tatiana von Landesberger (Eds.)

Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)
[PDF Icon for download
(6,016 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 27-47, doi: 10.4230/DagRep.9.2.27
Sébastien Bardin, Nikolaj S. Bjørner, and Cristian Cadar (Eds.)

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)
[PDF Icon for download
(10,426 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 48-72, doi: 10.4230/DagRep.9.2.48
Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic (Eds.)

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
[PDF Icon for download
(10,705 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 73-90, doi: 10.4230/DagRep.9.2.73
Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, and Renata Wassermann (Eds.)

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)
[PDF Icon for download
(9,071 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 91-110, doi: 10.4230/DagRep.9.2.91
Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit (Eds.)

AI for the Social Good (Dagstuhl Seminar 19082)
[PDF Icon for download
(8,395 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 111-122, doi: 10.4230/DagRep.9.2.111
Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Tom Schaul (Eds.)

Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092)
[PDF Icon for download
(8,676 KB)
Dagstuhl Reports, Volume 9, Issue 2, pp. 123-156, doi: 10.4230/DagRep.9.2.123
Seok-Hee Hong, Michael Kaufmann, János Pach, and Csaba D. Tóth (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (59,292 KB)
Dagstuhl Reports, Volume 9, Issue 1, January 2019, Complete Issue
[PDF Icon for download
(59,292 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 0-0, doi: 10.4230/DagRep.9.1

Dagstuhl Reports, Table of Contents, Volume 9, Issue 1, 2019
[PDF Icon for download
(204 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. i-ii, doi: 10.4230/DagRep.9.1.i

Joint Processing of Language and Visual Data for Better Automated Understanding (Dagstuhl Seminar 19021)
[PDF Icon for download
(8,176 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 1-27, doi: 10.4230/DagRep.9.1.1
Marie-Francine Moens, Lucia Specia, and Tinne Tuytelaars (Eds.)

Logics for Dependence and Independence (Dagstuhl Seminar 19031)
[PDF Icon for download
(7,014 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 28-46, doi: 10.4230/DagRep.9.1.28
Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, and Heribert Vollmer (Eds.)

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032)
[PDF Icon for download
(9,182 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 47-66, doi: 10.4230/DagRep.9.1.47
Guillaume Aucher, Paul Egré, Gabriele Kern-Isberner, and Francesca Poggiolesi (Eds.)

New Horizons in Parameterized Complexity (Dagstuhl Seminar 19041)
[PDF Icon for download
(9,072 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 67-87, doi: 10.4230/DagRep.9.1.67
Fedor V. Fomin, Dániel Marx, Saket Saurabh, and Meirav Zehavi (Eds.)

Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)
[PDF Icon for download
(9,044 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 88-103, doi: 10.4230/DagRep.9.1.88
Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, and Alessandra Scafuro (Eds.)

Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051)
[PDF Icon for download
(8,861 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 104-124, doi: 10.4230/DagRep.9.1.104
Gerth Stølting Brodal, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick (Eds.)

Computational Methods for Melody and Voice Processing in Music Recordings (Dagstuhl Seminar 19052)
[PDF Icon for download
(8,237 KB)
Dagstuhl Reports, Volume 9, Issue 1, pp. 125-177, doi: 10.4230/DagRep.9.1.125
Meinard Müller, Emilia Gómez, and Yi-Hsuan Yang (Eds.)

Volume 8 (2018)

Issue 12 Complete Issue: [PDF Icon for download (10,857 KB)
Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue
[PDF Icon for download
(10,857 KB)
Dagstuhl Reports, Volume 8, Issue 12, pp. 0-0, doi: 10.4230/DagRep.8.12

Dagstuhl Reports, Table of Contents, Volume 8, Issue 12, 2018
[PDF Icon for download
(184 KB)
Dagstuhl Reports, Volume 8, Issue 12, pp. i-ii, doi: 10.4230/DagRep.8.12.i

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)
[PDF Icon for download
(5,870 KB)
Dagstuhl Reports, Volume 8, Issue 12, pp. 1-48, doi: 10.4230/DagRep.8.12.1
Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev (Eds.)

Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511)
[PDF Icon for download
(4,889 KB)
Dagstuhl Reports, Volume 8, Issue 12, pp. 49-67, doi: 10.4230/DagRep.8.12.49
Eimear Byrne, Martin Bossert, and Antonia Wachter-Zeh (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (25,299 KB)
Dagstuhl Reports, Volume 8, Issue 11, November 2018, Complete Issue
[PDF Icon for download
(25,299 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 0-0, doi: 10.4230/DagRep.8.11

Dagstuhl Reports, Table of Contents, Volume 8, Issue 11, 2018
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. i-ii, doi: 10.4230/DagRep.8.11.i

Genomics, Pattern Avoidance, and Statistical Mechanics (Dagstuhl Seminar 18451)
[PDF Icon for download
(4,901 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 1-20, doi: 10.4230/DagRep.8.11.1
Michael Albert, David Bevan, Miklós Bóna, and István Miklós (Eds.)

Blockchain Security at Scale (Dagstuhl Seminar 18461)
[PDF Icon for download
(3,330 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 21-34, doi: 10.4230/DagRep.8.11.21
Rainer Böhme, Joseph Bonneau, and Ittay Eyal (Eds.)

Provenance and Logging for Sense Making (Dagstuhl Seminar 18462)
[PDF Icon for download
(3,484 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 35-62, doi: 10.4230/DagRep.8.11.35
Jean-Daniel Fekete, T. J. Jankun-Kelly, Melanie Tory, and Kai Xu (Eds.)

Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471)
[PDF Icon for download
(4,862 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 63-90, doi: 10.4230/DagRep.8.11.63
Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, and Markus Stumptner (Eds.)

Implementing FAIR Data Infrastructures (Dagstuhl Perspectives Workshop 18472)
[PDF Icon for download
(3,933 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 91-111, doi: 10.4230/DagRep.8.11.91
Natalia Manola, Peter Mutschke, Guido Scherp, Klaus Tochtermann, and Peter Wittenburg (Eds.)

High Throughput Connectomics (Dagstuhl Seminar 18481)
[PDF Icon for download
(2,928 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 112-138, doi: 10.4230/DagRep.8.11.112
Moritz Helmstaedter, Jeff Lichtman, and Nir Shavit (Eds.)

Network Visualization in the Humanities (Dagstuhl Seminar 18482)
[PDF Icon for download
(2,232 KB)
Dagstuhl Reports, Volume 8, Issue 11, pp. 139-153, doi: 10.4230/DagRep.8.11.139
Katy Börner, Oyvind Eide, Tamara Mchedlidze, Malte Rehbein, and Gerik Scheuermann (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (35,098 KB)
Dagstuhl Reports, Volume 8, Issue 10, October 2018, Complete Issue
[PDF Icon for download
(35,098 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 0-0, doi: 10.4230/DagRep.8.10

Dagstuhl Reports, Table of Contents, Volume 8, Issue 10, 2018
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. i-ii, doi: 10.4230/DagRep.8.10.i

Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411)
[PDF Icon for download
(10,995 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 1-40, doi: 10.4230/DagRep.8.10.1
Jean-Daniel Fekete, Danyel Fisher, Arnab Nandi, and Michael Sedlmair (Eds.)

Encouraging Reproducibility in Scientific Research of the Internet (Dagstuhl Seminar 18412)
[PDF Icon for download
(4,696 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 41-62, doi: 10.4230/DagRep.8.10.41
Vaibhav Bajpai, Olivier Bonaventure, Kimberly Claffy, and Daniel Karrenberg (Eds.)

Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421)
[PDF Icon for download
(6,797 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 63-86, doi: 10.4230/DagRep.8.10.63
Henning Fernau, Petr A. Golovach, and Marie-France Sagot (Eds.)

Shape Analysis: Euclidean, Discrete and Algebraic Geometric Methods (Dagstuhl Seminar 18422)
[PDF Icon for download
(3,774 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 87-103, doi: 10.4230/DagRep.8.10.87
Michael Breuß, Alfred M. Bruckstein, Christer Oscar Kiselman, and Petros Maragos (Eds.)

Computational Aspects of Fabrication (Dagstuhl Seminar 18431)
[PDF Icon for download
(3,279 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 104-126, doi: 10.4230/DagRep.8.10.104
Bernd Bickel, Marc Alexa, Jessica K. Hodgins, and Kristina Shea (Eds.)

Data Physicalization (Dagstuhl Seminar 18441)
[PDF Icon for download
(1,158 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 127-147, doi: 10.4230/DagRep.8.10.127
Jason Alexander, Petra Isenberg, Yvonne Jansen, Bernice E. Rogowitz, and Andrew Vande Moere (Eds.)

Visualization and Processing of Anisotropy in Imaging, Geometry, and Astronomy (Dagstuhl Seminar 18442)
[PDF Icon for download
(4,672 KB)
Dagstuhl Reports, Volume 8, Issue 10, pp. 148-172, doi: 10.4230/DagRep.8.10.148
Andrea Fuster, Evren Özarslan, Thomas Schultz, and Eugene Zhang (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (23,181 KB)
Dagstuhl Reports, Volume 8, Issue 9, September 2018, Complete Issue
[PDF Icon for download
(23,181 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 0-0, doi: 10.4230/DagRep.8.9

Dagstuhl Reports, Table of Contents, Volume 8, Issue 9, 2018
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. i-ii, doi: 10.4230/DagRep.8.9.i

Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)
[PDF Icon for download
(6,749 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 1-28, doi: 10.4230/DagRep.8.9.1
Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, and Arno Pauly (Eds.)

Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371)
[PDF Icon for download
(5,201 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 29-111, doi: 10.4230/DagRep.8.9.29
Piero Andrea Bonatti, Stefan Decker, Axel Polleres, and Valentina Presutti (Eds.)

Quantum Programming Languages (Dagstuhl Seminar 18381)
[PDF Icon for download
(3,888 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 112-132, doi: 10.4230/DagRep.8.9.112
Michele Mosca, Martin Roetteler, and Peter Selinger (Eds.)

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391)
[PDF Icon for download
(5,546 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 133-153, doi: 10.4230/DagRep.8.9.133
Markus Bläser, Valentine Kabanets, Jacobo Torán, and Christopher Umans (Eds.)

Automating Data Science (Dagstuhl Seminar 18401)
[PDF Icon for download
(1,865 KB)
Dagstuhl Reports, Volume 8, Issue 9, pp. 154-181, doi: 10.4230/DagRep.8.9.154
Tijl De Bie, Luc De Raedt, Holger H. Hoos, and Padhraic Smyth (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (59,869 KB)
Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue
[PDF Icon for download
(59,869 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 0-0, doi: 10.4230/DagRep.8.8

Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018
[PDF Icon for download
(186 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. i-ii, doi: 10.4230/DagRep.8.8.i

Web Application Security (Dagstuhl Seminar 18321)
[PDF Icon for download
(3,603 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 1-17, doi: 10.4230/DagRep.8.8.1
Martin Johns, Nick Nikiforakis, Melanie Volkamer, and John Wilander (Eds.)

Human-Computer Integration (Dagstuhl Seminar 18322)
[PDF Icon for download
(13,357 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 18-47, doi: 10.4230/DagRep.8.8.18
Jonathan Grudin, Pattie Maes, and Florian Mueller (Eds.)

Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)
[PDF Icon for download
(14,140 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 48-66, doi: 10.4230/DagRep.8.8.48
Spring Berman, Sándor P. Fekete, Matthew J. Patitz, and Christian Scheideler (Eds.)

Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)
[PDF Icon for download
(8,741 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 67-129, doi: 10.4230/DagRep.8.8.67
Marlon Dumas, Richard Hull, Jan Mendling, and Ingo Weber (Eds.)

Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)
[PDF Icon for download
(11,441 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 130-155, doi: 10.4230/DagRep.8.8.130
Andrej Bauer, Martín H. Escardó, Peter L. Lumsdaine, and Assia Mahboubi (Eds.)

Modeling for Sustainability (Dagstuhl Seminar 18351)
[PDF Icon for download
(8,838 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. 146-168, doi: 10.4230/DagRep.8.8.146
Gordon Blair ad Betty H. C. Cheng, Lorenz Hilty, and Richard F. Paige (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (26,812 KB)
Dagstuhl Reports, Volume 8, Issue 7, July 2018, Complete Issue
[PDF Icon for download
(26,812 KB)
Dagstuhl Reports, Volume 8, Issue 7, pp. 0-0, doi: 10.4230/DagRep.8.7

Dagstuhl Reports, Table of Contents, Volume 8, Issue 7, 2018
[PDF Icon for download
(197 KB)
Dagstuhl Reports, Volume 8, Issue 7, pp. i-ii, doi: 10.4230/DagRep.8.7.i

In Situ Visualization for Computational Science (Dagstuhl Seminar 18271)
[PDF Icon for download
(12,143 KB)
Dagstuhl Reports, Volume 8, Issue 7, pp. 1-43, doi: 10.4230/DagRep.8.7.1
Janine C. Bennett, Hank Childs, Christoph Garth, and Bernd Hentschel (Eds.)

Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices (Dagstuhl Seminar 18281)
[PDF Icon for download
(9,060 KB)
Dagstuhl Reports, Volume 8, Issue 7, pp. 44-61, doi: 10.4230/DagRep.8.7.44
Jérémy Barbay, Johannes Fischer, Stefan Kratsch, and Srinivasa Rao Satti (Eds.)

Extreme Classification (Dagstuhl Seminar 18291)
[PDF Icon for download
(5,614 KB)
Dagstuhl Reports, Volume 8, Issue 7, pp. 62-80, doi: 10.4230/DagRep.8.7.62
Samy Bengio, Krzysztof Dembczynski, Thorsten Joachims, Marius Kloft, and Manik Varma (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (66,932 KB)
Dagstuhl Reports, Volume 8, Issue 6, June 2018, Complete Issue
[PDF Icon for download
(66,932 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 0-0, doi: 10.4230/DagRep.8.6

Dagstuhl Reports, Table of Contents, Volume 8, Issue 6, 2018
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. i-ii, doi: 10.4230/DagRep.8.6.i

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231)
[PDF Icon for download
(11,912 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 1-18, doi: 10.4230/DagRep.8.6.1
Martin Grohe, Venkatesan Guruswami, and Stanislav Zivny (Eds.)

High-Performance Graph Algorithms (Dagstuhl Seminar 18241)
[PDF Icon for download
(9,010 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 19-39, doi: 10.4230/DagRep.8.6.19
Henning Meyerhenke, Richard Peng, and Ilya Safro (Eds.)

Secure Routing for the Internet (Dagstuhl Seminar 18242)
[PDF Icon for download
(7,796 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 40-62, doi: 10.4230/DagRep.8.6.40
Phillipa Gill, Adrian Perrig, and Matthias Wählisch (Eds.)

Database Architectures for Modern Hardware (Dagstuhl Seminar 18251)
[PDF Icon for download
(8,517 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 63-76, doi: 10.4230/DagRep.8.6.63
Peter A. Boncz, Goetz Graefe, Bingsheng He, and Kai-Uwe Sattler (Eds.)

Ubiquitous Gaze Sensing and Interaction (Dagstuhl Seminar 18252)
[PDF Icon for download
(10,694 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 77-148, doi: 10.4230/DagRep.8.6.77
Lewis Chuang, Andrew Duchowski, Pernilla Qvarfordt, and Daniel Weiskopf (Eds.)

Discipline Convergence in Networked Systems (Dagstuhl Seminar 18261)
[PDF Icon for download
(10,004 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 149-172, doi: 10.4230/DagRep.8.6.149
Yungang Bao, Lars Eggert, Simon Peter, and Noa Zilberman (Eds.)

10 Years of Web Science: Closing The Loop (Dagstuhl Perspectives Workshop 18262)
[PDF Icon for download
(9,312 KB)
Dagstuhl Reports, Volume 8, Issue 6, pp. 173-198, doi: 10.4230/DagRep.8.6.173
Susan Halford, James A. Hendler, Eirini Ntoutsi, and Steffen Staab (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (28,411 KB)
Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue
[PDF Icon for download
(28,411 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. 0-0, doi: 10.4230/DagRep.8.5

Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. i-ii, doi: 10.4230/DagRep.8.5.i

Secure Compilation (Dagstuhl Seminar 18201)
[PDF Icon for download
(7,351 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. 1-30, doi: 10.4230/DagRep.8.5.1
Amal Ahmed, Deepak Garg, Catalin Hritcu, and Frank Piessens (Eds.)

Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202)
[PDF Icon for download
(6,332 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. 31-59, doi: 10.4230/DagRep.8.5.31
Onur Altintas, Suman Banerjee, Falko Dressler, and Geert Heijenk (Eds.)

Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)
[PDF Icon for download
(6,291 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. 60-79, doi: 10.4230/DagRep.8.5.60
Javier Esparza, Pierre Fraigniaud, Anca Muscholl, and Sergio Rajsbaum (Eds.)

On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212)
[PDF Icon for download
(8,524 KB)
Dagstuhl Reports, Volume 8, Issue 5, pp. 80-101, doi: 10.4230/DagRep.8.5.80
Kasper Hornbaek, David Kirsh, Joseph A. Paradiso, and Jürgen Steimle (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (62,394 KB)
Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue
[PDF Icon for download
(62,394 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 0-0, doi: 10.4230/DagRep.8.4

Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. i-ii, doi: 10.4230/DagRep.8.4.i

Program Equivalence (Dagstuhl Seminar 18151)
[PDF Icon for download
(6,286 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 1-19, doi: 10.4230/DagRep.8.4.1
Shuvendu K. Lahiri, Andrzej Murawski, Ofer Strichman, and Mattias Ulbrich (Eds.)

Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)
[PDF Icon for download
(4,506 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 20-31, doi: 10.4230/DagRep.8.4.20
Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl (Eds.)

Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)
[PDF Icon for download
(18,870 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 32-71, doi: 10.4230/DagRep.8.4.32
Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, and Kay Katja Nieselt (Eds.)

Normative Multi-Agent Systems (Dagstuhl Seminar 18171)
[PDF Icon for download
(11,400 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, doi: 10.4230/DagRep.8.4.72
Mehdi Dastani, Jürgen Dix, Harko Verhagen, and Serena Villata (Eds.)

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)
[PDF Icon for download
(9,985 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 104-125, doi: 10.4230/DagRep.8.4.104
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, and Tom Schrijvers (Eds.)

Towards Accountable Systems (Dagstuhl Seminar 18181)
[PDF Icon for download
(10,886 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 126-163, doi: 10.4230/DagRep.8.4.126
David Eyers, Christopher Millard, Margo Seltzer, and Jatinder Singh (Eds.)

Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)
[PDF Icon for download
(841 KB)
Dagstuhl Reports, Volume 8, Issue 4, pp. 164-198, doi: 10.4230/DagRep.8.4.164
Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, and Alexander Mädche (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (55,371 KB)
Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue
[PDF Icon for download
(55,371 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 0-0, doi: 10.4230/DagRep.8.3

Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. i-ii, doi: 10.4230/DagRep.8.3.i

Scheduling (Dagstuhl Seminar 18101)
[PDF Icon for download
(11,033 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 1-20, doi: 10.4230/DagRep.8.3.1
Magnús M. Halldórsson, Nicole Megow, and Clifford Stein (Eds.)

Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)
[PDF Icon for download
(7,987 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 21-38, doi: 10.4230/DagRep.8.3.21
Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis (Eds.)

Loop Optimization (Dagstuhl Seminar 18111)
[PDF Icon for download
(8,490 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 39-59, doi: 10.4230/DagRep.8.3.39
Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer (Eds.)

Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)
[PDF Icon for download
(9,139 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 60-73, doi: 10.4230/DagRep.8.3.60
Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke (Eds.)

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)
[PDF Icon for download
(10,231 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 74-93, doi: 10.4230/DagRep.8.3.74
Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, and Jan Kretinsky (Eds.)

Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)
[PDF Icon for download
(8,778 KB)
Dagstuhl Reports, Volume 8, Issue 3, pp. 94-127, doi: 10.4230/DagRep.8.3.94
Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (43,084 KB)
Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue
[PDF Icon for download
(43,084 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 0-0, doi: 10.4230/DagRep.8.2

Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018
[PDF Icon for download
(203 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. i-ii, doi: 10.4230/DagRep.8.2.i

Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061)
[PDF Icon for download
(7,414 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 1-25, doi: 10.4230/DagRep.8.2.1
Andreas Stefik, Bonita Sharif, Brad A. Myers, and Stefan Hanenberg (Eds.)

Planning and Operations Research (Dagstuhl Seminar 18071)
[PDF Icon for download
(9,660 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 26-63, doi: 10.4230/DagRep.8.2.26
J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, and Willem-Jan Van Hoeve (Eds.)

Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)
[PDF Icon for download
(8,945 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 64-87, doi: 10.4230/DagRep.8.2.64
Pierre Bonami, Ambros M. Gleixner, Jeff Linderoth, and Ruth Misener (Eds.)

Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)
[PDF Icon for download
(715 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 88-100, doi: 10.4230/DagRep.8.2.88
Yaakov Benenson, Neil Dalchau, Heinz Koeppl, and Oded Maler (Eds.)

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)
[PDF Icon for download
(8,050 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 101-121, doi: 10.4230/DagRep.8.2.101
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, and Marc Shapiro (Eds.)

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)
[PDF Icon for download
(8,580 KB)
Dagstuhl Reports, Volume 8, Issue 2, pp. 122-149, doi: 10.4230/DagRep.8.2.122
Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (46,989 KB)
Dagstuhl Reports, Volume 8, Issue 1, January 2018, Complete Issue
[PDF Icon for download
(46,989 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 0-0, doi: 10.4230/DagRep.8.1

Dagstuhl Reports, Table of Contents, Volume 8, Issue 1, 2018
[PDF Icon for download
(199 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. i-ii, doi: 10.4230/DagRep.8.1.i

Symmetric Cryptography (Dagstuhl Seminar 18021)
[PDF Icon for download
(2,437 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 1-32, doi: 10.4230/DagRep.8.1.1
Joan Daemen, Tetsu Iwata, Nils Gregor Leander, and Kaisa Nyberg (Eds.)

Personalized Multiobjective Optimization: An Analytics Perspective (Dagstuhl Seminar 18031)
[PDF Icon for download
(13,009 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 33-99, doi: 10.4230/DagRep.8.1.33
Kathrin Klamroth, Joshua D. Knowles, Günter Rudolph, and Margaret M. Wiecek (Eds.)

Foundations of Data Visualization (Dagstuhl Seminar 18041)
[PDF Icon for download
(10,162 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 100-123, doi: 10.4230/DagRep.8.1.100
Helwig Hauser, Penny Rheingans, and Gerik Scheuermann (Eds.)

Proof Complexity (Dagstuhl Seminar 18051)
[PDF Icon for download
(12,754 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 124-157, doi: 10.4230/DagRep.8.1.124
Albert Atserias, Jakob Nordström, Pavel Pudlák, and Rahul Santhanam (Eds.)

Genetic Improvement of Software (Dagstuhl Seminar 18052)
[PDF Icon for download
(8,909 KB)
Dagstuhl Reports, Volume 8, Issue 1, pp. 158-182, doi: 10.4230/DagRep.8.1.158
Justyna Petke, Claire Le Goues, Stephanie Forrest, and William B. Langdon (Eds.)

Volume 7 (2017)

Issue 12 Complete Issue: [PDF Icon for download (9,647 KB)
Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue
[PDF Icon for download
(9,647 KB)
Dagstuhl Reports, Volume 7, Issue 12, pp. 0-0, doi: 10.4230/DagRep.7.12

Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017
[PDF Icon for download
(184 KB)
Dagstuhl Reports, Volume 7, Issue 12, pp. i-ii, doi: 10.4230/DagRep.7.12.i

Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491)
[PDF Icon for download
(2,943 KB)
Dagstuhl Reports, Volume 7, Issue 12, pp. 1-17, doi: 10.4230/DagRep.7.12.1
Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski (Eds.)

Multi-Level Modelling (Dagstuhl Seminar 17492)
[PDF Icon for download
(4,418 KB)
Dagstuhl Reports, Volume 7, Issue 12, pp. 18-49, doi: 10.4230/DagRep.7.12.18
João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne (Eds.)

Testing and Verification of Compilers (Dagstuhl Seminar 17502)
[PDF Icon for download
(2,254 KB)
Dagstuhl Reports, Volume 7, Issue 12, pp. 50-65, doi: 10.4230/DagRep.7.12.50
Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (16,851 KB)
Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue
[PDF Icon for download
(16,851 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 0-0, doi: 10.4230/DagRep.7.11

Dagstuhl Reports, Table of Contents, Volume 7, Issue 11, 2017
[PDF Icon for download
(189 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. i-ii, doi: 10.4230/DagRep.7.11.i

New Challenges in Parallelism (Dagstuhl Seminar 17451)
[PDF Icon for download
(2,802 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 1-27, doi: 10.4230/DagRep.7.11.1
Annette Bieniusa, Hans-J. Boehm, Maurice Herlihy, and Erez Petrank (Eds.)

Algorithmic Cheminformatics (Dagstuhl Seminar 17452)
[PDF Icon for download
(2,712 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 28-45, doi: 10.4230/DagRep.7.11.28
Jakob L. Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler (Eds.)

Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461)
[PDF Icon for download
(2,197 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 46-58, doi: 10.4230/DagRep.7.11.46
Remco Chang, Jean-Daniel Fekete, Juliana Freire, and Carlos E. Scheidegger (Eds.)

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)
[PDF Icon for download
(2,334 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 59-85, doi: 10.4230/DagRep.7.11.59
Klaus Havelund, Martin Leucker, Giles Reger, and Volker Stolz (Eds.)

Artificial and Computational Intelligence in Games: AI-Driven Game Design (Dagstuhl Seminar 17471)
[PDF Icon for download
(2,719 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 86-129, doi: 10.4230/DagRep.7.11.86
Pieter Spronck, Elisabeth André, Michael Cook, and Mike Preuß (Eds.)

Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472)
[PDF Icon for download
(2,100 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 130-141, doi: 10.4230/DagRep.7.11.130
Niko Beerenwinkel, Holger Fröhlich, and Susan A. Murphy (Eds.)

Reliable Computation and Complexity on the Reals (Dagstuhl Seminar 17481)
[PDF Icon for download
(2,265 KB)
Dagstuhl Reports, Volume 7, Issue 11, pp. 142-167, doi: 10.4230/DagRep.7.11.142
Norbert T. Müller, Siegfried M. Rump, Klaus Weihrauch, and Martin Ziegler (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (16,295 KB)
Dagstuhl Reports, Volume 7, Issue 10, October 2017, Complete Issue
[PDF Icon for download
(16,295 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 0-0, doi: 10.4230/DagRep.7.10

Dagstuhl Reports, Table of Contents, Volume 7, Issue 10, 2017
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. i-ii, doi: 10.4230/DagRep.7.10.i

Quantum Cryptanalysis (Dagstuhl Seminar 17401)
[PDF Icon for download
(1,606 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 1-13, doi: 10.4230/DagRep.7.10.1
Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, and Krysta Svore (Eds.)

HMM Imaging: Acquisition, Algorithms, and Applications (Dagstuhl Seminar 17411)
[PDF Icon for download
(1,669 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 14-41, doi: 10.4230/DagRep.7.10.14
Gonzalo R. Arce, Richard Bamler, Jon Yngve Hardeberg, Andreas Kolb, and Shida Beigpour (Eds.)

Internet of People (Dagstuhl Seminar 17412)
[PDF Icon for download
(2,906 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 42-68, doi: 10.4230/DagRep.7.10.42
Elizabeth M. Belding, Jörg Ott, Andrea Passarella, and Peter Reichl (Eds.)

Computational Proteomics (Dagstuhl Seminar 17421)
[PDF Icon for download
(3,193 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 69-83, doi: 10.4230/DagRep.7.10.69
Bernhard Küster, Kathryn Lilley, and Lennart Martens (Eds.)

Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431)
[PDF Icon for download
(2,383 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 84-110, doi: 10.4230/DagRep.7.10.84
Anshu Dubey, Paul H. J. Kelly, Bernd Mohr, and Jeffrey S. Vetter (Eds.)

Big Stream Processing Systems (Dagstuhl Seminar 17441)
[PDF Icon for download
(2,720 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 111-138, doi: 10.4230/DagRep.7.10.111
Tilmann Rabl, Sherif Sakr, and Martin Hirzel (Eds.)

Towards Performance Modeling and Performance Prediction across IR/RecSys/NLP (Dagstuhl Perspectives Workshop 17442)
[PDF Icon for download
(2,138 KB)
Dagstuhl Reports, Volume 7, Issue 10, pp. 139-146, doi: 10.4230/DagRep.7.10.139
Nicola Ferro, Norbert Fuhr, Gregory Grefenstette, and Joseph A. Konstan (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (30,301 KB)
Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue
[PDF Icon for download
(30,301 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 0-0, doi: 10.4230/DagRep.7.9

Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. i-ii, doi: 10.4230/DagRep.7.9.i

Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)
[PDF Icon for download
(2,626 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 1-25, doi: 10.4230/DagRep.7.9.1
Anuj Dawar abd Erich Grädel, Phokion G. Kolaitis, and Thomas Schwentick (Eds.)

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)
[PDF Icon for download
(2,519 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 26-46, doi: 10.4230/DagRep.7.9.26
Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, and Cesare Tinelli (Eds.)

Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372)
[PDF Icon for download
(2,803 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 47-61, doi: 10.4230/DagRep.7.9.47
Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, and Thorsten Strufe (Eds.)

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)
[PDF Icon for download
(2,630 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 62-85, doi: 10.4230/DagRep.7.9.62
Adnan Darwiche, Pierre Marquis, Dan Suciu, and Stefan Szeider (Eds.)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
[PDF Icon for download
(2,858 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 86-108, doi: 10.4230/DagRep.7.9.86
Ute Schmid, Stephen H. Muggleton, and Rishabh Singh (Eds.)

Deep Learning for Computer Vision (Dagstuhl Seminar 17391)
[PDF Icon for download
(2,084 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 109-125, doi: 10.4230/DagRep.7.9.109
Daniel Cremers, Laura Leal-Taixé, and René Vidal (Eds.)

Body-Centric Computing (Dagstuhl Reports 17392)
[PDF Icon for download
(15,075 KB)
Dagstuhl Reports, Volume 7, Issue 9, pp. 126-149, doi: 10.4230/DagRep.7.9.126
Steve Benford, Kristina Höök, Joseph Marshall, Florian Mueller, and Dag Svanes (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (12,562 KB)
Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue
[PDF Icon for download
(12,575 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 0-0, doi: 10.4230/DagRep.7.8

Dagstuhl Reports, Table of Contents, Volume 7, Issue 8, 2017
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. i-ii, doi: 10.4230/DagRep.7.8.i

Scalable Set Visualizations (Dagstuhl Seminar 17332)
[PDF Icon for download
(3,562 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 1-22, doi: 10.4230/DagRep.7.8.1
Yifan Hu, Luana Micallef, Martin Nöllenburg, and Peter Rodgers (Eds.)

Computational Counting (Dagstuhl Seminar 17341)
[PDF Icon for download
(2,866 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 23-44, doi: 10.4230/DagRep.7.8.23
Ivona Bezáková, Leslie Ann Goldberg, and Mark R. Jerrum (Eds.)

SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)
[PDF Icon for download
(1,837 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 45-54, doi: 10.4230/DagRep.7.8.45
Benoît Combemale, Ralf Lämmel, and Eric Van Wyk (Eds.)

Machine Learning and Formal Methods (Dagstuhl Seminar 17351)
[PDF Icon for download
(2,150 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 55-73, doi: 10.4230/DagRep.7.8.55
Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, and Susmit Jha (Eds.)

Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)
[PDF Icon for download
(2,324 KB)
Dagstuhl Reports, Volume 7, Issue 8, pp. 74-101, doi: 10.4230/DagRep.7.8.74
Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (24,144 KB)
Dagstuhl Reports, Volume 7, Issue 7, July 2017, Complete Issue
[PDF Icon for download
(24,144 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 0-0, doi: 10.4230/DagRep.7.7

Dagstuhl Reports, Table of Contents, Volume 7, Issue 7, 2017
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. i-ii, doi: 10.4230/DagRep.7.7.i

Foundations of Wireless Networking (Dagstuhl Seminar 17271)
[PDF Icon for download
(2,602 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 1-21, doi: 10.4230/DagRep.7.7.1
Christina Fragouli, Magnús M. Halldórsson, Kyle Jamieson, and Bhaskar Krishnamachari (Eds.)

Citizen Science: Design and Engagement (Dagstuhl Seminar 17272)
[PDF Icon for download
(6,761 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 22-43, doi: 10.4230/DagRep.7.7.22
Irene Celino, Oscar Corcho, Franz Hölker, and Elena Simperl (Eds.)

Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281)
[PDF Icon for download
(1,739 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 44-53, doi: 10.4230/DagRep.7.7.44
Sarah Zennou, Saumya K. Debray, Thomas Dullien, and Arun Lakhotia (Eds.)

From Observations to Prediction of Movement (Dagstuhl Seminar 17282)
[PDF Icon for download
(4,554 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 54-71, doi: 10.4230/DagRep.7.7.54
Mark Birkin, Somayeh Dodge, Brittany Terese Fasy, and Richard Philip Mann (Eds.)

Resource Bound Analysis (Dagstuhl Seminar 17291)
[PDF Icon for download
(2,529 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, doi: 10.4230/DagRep.7.7.72
Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, and Florian Zuleger (Eds.)

Topology, Computation and Data Analysis (Dagstuhl Seminar 17292)
[PDF Icon for download
(2,694 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 88-109, doi: 10.4230/DagRep.7.7.88
Hamish Carr, Michael Kerber, and Bei Wang (Eds.)

User-Generated Content in Social Media (Dagstuhl Seminar 17301)
[PDF Icon for download
(3,619 KB)
Dagstuhl Reports, Volume 7, Issue 7, pp. 110-154, doi: 10.4230/DagRep.7.7.110
Tat-Seng Chua, Norbert Fuhr, Gregory Grefenstette, Kalervo Järvelin, and Jaakko Peltonen (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (13,247 KB)
Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue
[PDF Icon for download
(13,247 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 0-0, doi: 10.4230/DagRep.7.6

Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. i-ii, doi: 10.4230/DagRep.7.6.i

Epistemic Planning (Dagstuhl Seminar 17231)
[PDF Icon for download
(2,533 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 1-47, doi: 10.4230/DagRep.7.6.1
Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila McIlraith (Eds.)

Computational Interactivity (Dagstuhl Seminar 17232)
[PDF Icon for download
(2,028 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 48-67, doi: 10.4230/DagRep.7.6.48
Xiaojun Bi, Otmar Hilliges, Takeo Igarashi, and Antti Oulasvirta (Eds.)

Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251)
[PDF Icon for download
(2,529 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 68-85, doi: 10.4230/DagRep.7.6.68
Paul W. Goldberg, Yishay Mansour, and Paul Dütting (Eds.)

Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252)
[PDF Icon for download
(2,162 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 86-108, doi: 10.4230/DagRep.7.6.86
Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani (Eds.)

Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261)
[PDF Icon for download
(2,186 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 109-134, doi: 10.4230/DagRep.7.6.109
Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, and Toby Walsh (Eds.)

Federated Semantic Data Management (Dagstuhl Seminar 17262)
[PDF Icon for download
(2,082 KB)
Dagstuhl Reports, Volume 7, Issue 6, pp. 135-167, doi: 10.4230/DagRep.7.6.135
Olaf Hartig, Maria-Esther Vidal, and Johann-Christoph Freytag (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (16,940 KB)
Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue
[PDF Icon for download
(16,940 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 0-0, doi: 10.4230/DagRep.7.5

Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. i-ii, doi: 10.4230/DagRep.7.5.i

Theory and Applications of Hashing (Dagstuhl Seminar 17181)
[PDF Icon for download
(2,848 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 1-21, doi: 10.4230/DagRep.7.5.1
Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff,, and Martin Aumüller (Eds.)

Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)
[PDF Icon for download
(3,189 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 22-55, doi: 10.4230/DagRep.7.5.22
Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao (Eds.)

Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)
[PDF Icon for download
(2,391 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 56-83, doi: 10.4230/DagRep.7.5.56
Tarek R. Besold, Artur d'Avila Garcez, and Luis C. Lamb (Eds.)

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)
[PDF Icon for download
(2,280 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 84-96, doi: 10.4230/DagRep.7.5.84
Calin A. Belta, Rupak Majumdar, Majid Zamani, and Matthias Rungger (Eds.)

Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)
[PDF Icon for download
(1,906 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 97-139, doi: 10.4230/DagRep.7.5.97
André Brinkmann, Kathryn Mohror, and Weikuan Yu (Eds.)

Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)
[PDF Icon for download
(2,247 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 140-168, doi: 10.4230/DagRep.7.5.140
Falai Chen, Tor Dokken,, Thomas A. Grandine, and Géraldine Morin (Eds.)

Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)
[PDF Icon for download
(2,417 KB)
Dagstuhl Reports, Volume 7, Issue 5, pp. 169-180, doi: 10.4230/DagRep.7.5.169
Renata Borovica-Gajic, Goetz Graefe, and Allison Lee (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (27,260 KB)
Dagstuhl Reports, Volume 7, Issue 4, April 2017, Complete Issue
[PDF Icon for download
(27,260 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 0-0, doi: 10.4230/DagRep.7.4

Dagstuhl Reports, Table of Contents, Volume 7, Issue 4, 2017
[PDF Icon for download
(189 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. i-ii, doi: 10.4230/DagRep.7.4.i

Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141)
[PDF Icon for download
(2,219 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 1-22, doi: 10.4230/DagRep.7.4.1
Bodo Manthey, Claire Mathieu, Heiko Röglin, and Eli Upfal (Eds.)

Formal Methods of Transformations (Dagstuhl Seminar 17142)
[PDF Icon for download
(3,533 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 23-37, doi: 10.4230/DagRep.7.4.23
Emmanuel Filiot, Sebastian Maneth, and Helmut Seidl (Eds.)

Ambient Notification Environments (Dagstuhl Seminar 17161)
[PDF Icon for download
(16,437 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 38-82, doi: 10.4230/DagRep.7.4.38
Lewis Chuang, Sven Gehring, Judy Kay, and Albrecht Schmidt (Eds.)

Online Privacy and Web Transparency (Dagstuhl Seminar 17162)
[PDF Icon for download
(1,615 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 83-106, doi: 10.4230/DagRep.7.4.83
Nataliia Bielova, Nikolaos Laoutaris, Arvind Narayanan, and Nick Nikiforakis (Eds.)

Computational Geometry (Dagstuhl Seminar 17171)
[PDF Icon for download
(3,626 KB)
Dagstuhl Reports, Volume 7, Issue 4, pp. 107-127, doi: 10.4230/DagRep.7.4.107
Otfried Cheong, Anne Driemel, and Jeff Erickson (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (16,444 KB)
Dagstuhl Reports, Volume 7, Issue 3, March 2017, Complete Issue
[PDF Icon for download
(16,444 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 0-0, doi: 10.4230/DagRep.7.3

Dagstuhl Reports, Table of Contents, Volume 7, Issue 3, 2017
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. i-ii, doi: 10.4230/DagRep.7.3.i

Databases on Future Hardware (Dagstuhl Seminar 17101)
[PDF Icon for download
(2,131 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 1-18, doi: 10.4230/DagRep.7.3.1
Gustavo Alonso, Michaela Blott, and Jens Teubner (Eds.)

Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102)
[PDF Icon for download
(691 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 19-26, doi: 10.4230/DagRep.7.3.19
Thomas Fritz, Gloria Mark, Gail C. Murphy, and Thomas Zimmermann (Eds.)

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)
[PDF Icon for download
(2,891 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 27-32, doi: 10.4230/DagRep.7.3.27
Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, and Michael J. Wooldridge (Eds.)

Using Networks to Teach About Networks (Dagstuhl Seminar 17112)
[PDF Icon for download
(3,930 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 33-44, doi: 10.4230/DagRep.7.3.33
Timur Friedman, Aiko Pras, and Jürgen Schönwälder (Eds.)

Computational Complexity of Discrete Problems (Dagstuhl Seminar 17121)
[PDF Icon for download
(3,143 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 45-69, doi: 10.4230/DagRep.7.3.45
Anna Gál, Michal Koucký, Oded Regev, and Till Tantau (Eds.)

Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)
[PDF Icon for download
(1,929 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 70-98, doi: 10.4230/DagRep.7.3.70
Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, and Zoë Stephenson (Eds.)

Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)
[PDF Icon for download
(2,111 KB)
Dagstuhl Reports, Volume 7, Issue 3, pp. 99-142, doi: 10.4230/DagRep.7.3.99
Roman Beck, Christian Becker, Juho Lindman, and Matti Rossi (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (25,596 KB)
Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue
[PDF Icon for download
(25,596 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 0-0, doi: 10.4230/DagRep.7.2

Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. i-ii, doi: 10.4230/DagRep.7.2.i

Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)
[PDF Icon for download
(827 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 1-22, doi: 10.4230/DagRep.7.2.1
Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber (Eds.)

Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062)
[PDF Icon for download
(20,263 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 23-47, doi: 10.4230/DagRep.7.2.23
Anind K. Dey, Jonna Häkkilä, Niels Henze, and Kai Kunze (Eds.)

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
[PDF Icon for download
(862 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 48-63, doi: 10.4230/DagRep.7.2.48
Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, and Armando Tacchella (Eds.)

Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072)
[PDF Icon for download
(1,003 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 64-88, doi: 10.4230/DagRep.7.2.64
Benjamin Burton, Maarten Löffler, Carola Wenk, and Erin Moriarty Wolf Chambers (Eds.)

Computability Theory (Dagstuhl Seminar 17081)
[PDF Icon for download
(809 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 89-101, doi: 10.4230/DagRep.7.2.89
Klaus Ambos-Spies, Vasco Brattka, Rodney Downey, and Steffen Lempp (Eds.)

Shape-Changing Interfaces (Dagstuhl Seminar 17082)
[PDF Icon for download
(727 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 102-108, doi: 10.4230/DagRep.7.2.102
Jason Alexander, Sean Follmer, Kasper Hornbaek, and Anne Roudaut (Eds.)

Computer Science Meets Ecology (Dagstuhl Seminar 17091)
[PDF Icon for download
(756 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 109-134, doi: 10.4230/DagRep.7.2.109
Gustau Camps-Valls, Thomas Hickler, and Birgitta König-Ries (Eds.)

Search as Learning (Dagstuhl Seminar 17092)
[PDF Icon for download
(783 KB)
Dagstuhl Reports, Volume 7, Issue 2, pp. 135-162, doi: 10.4230/DagRep.7.2.135
Kevyn Collins-Thompson, Preben Hansen, and Claudia Hauff (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (6,203 KB)
Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue
[PDF Icon for download
(6,203 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 0-0, doi: 10.4230/DagRep.7.1

Dagstuhl Reports, Table of Contents, Volume 7, Issue 1, 2017
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. i-ii, doi: 10.4230/DagRep.7.1.i

Functoriality in Geometric Data (Dagstuhl Seminar 17021)
[PDF Icon for download
(875 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 1-18, doi: 10.4230/DagRep.7.1.1
Mirela Ben-Chen, Frédéric Chazal, Leonidas J. Guibas, and Maks Ovsjanikov (Eds.)

Automated Program Repair (Dagstuhl Seminar 17022)
[PDF Icon for download
(840 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 19-31, doi: 10.4230/DagRep.7.1.19
Sunghun Kim, Claire Le Goues, Michael Pradel, and Abhik Roychoudhury (Eds.)

Planning and Robotics (Dagstuhl Seminar 17031)
[PDF Icon for download
(928 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 32-73, doi: 10.4230/DagRep.7.1.32
Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, and Andrea Orlandini (Eds.)

Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032)
[PDF Icon for download
(949 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 74-102, doi: 10.4230/DagRep.7.1.74
David Hausheer, Oliver Hohlfeld, Diego R. López, Bruce MacDowell Maggs, and Costin Raiciu (Eds.)

Randomization in Parameterized Complexity (Dagstuhl Seminar 17041)
[PDF Icon for download
(870 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 103-128, doi: 10.4230/DagRep.7.1.103
Marek Cygan, Fedor V. Fomin, Danny Hermelin, and Magnus Wahlström (Eds.)

From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042)
[PDF Icon for download
(1,202 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 129-157, doi: 10.4230/DagRep.7.1.129
Phil Blunsom, Kyunghyun Cho, Chris Dyer, and Hinrich Schütze (Eds.)

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
[PDF Icon for download
(913 KB)
Dagstuhl Reports, Volume 7, Issue 1, pp. 158-189, doi: 10.4230/DagRep.7.1.158
Simon Gay, Vasco T. Vasconcelos, Philip Wadler, and Nobuko Yoshida (Eds.)

Volume 6 (2016)

Issue 12 Complete Issue: [PDF Icon for download (1,110 KB)
Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue
[PDF Icon for download
(1,110 KB)
Dagstuhl Reports, Volume 6, Issue 12, pp. 0-0, doi: 10.4230/DagRep.6.12

Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016
[PDF Icon for download
(183 KB)
Dagstuhl Reports, Volume 6, Issue 12, pp. i-ii, doi: 10.4230/DagRep.6.12.i

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)
[PDF Icon for download
(970 KB)
Dagstuhl Reports, Volume 6, Issue 12, pp. 1-28, doi: 10.4230/DagRep.6.12.1
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, and Nacim Ramdani (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (7,209 KB)
Dagstuhl Reports, Volume 6, Issue 11, November 2016, Complete Issue
[PDF Icon for download
(7,209 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 0-0, doi: 10.4230/DagRep.6.11

Dagstuhl Reports, Table of Contents, Volume 6, Issue 11, 2016
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. i-ii, doi: 10.4230/DagRep.6.11.i

Structure and Hardness in P (Dagstuhl Seminar 16451)
[PDF Icon for download
(1,128 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 1-34, doi: 10.4230/DagRep.6.11.1
Moshe Lewenstein, Seth Pettie, and Virginia Vassilevska Williams (Eds.)

Beyond-Planar Graphs: Algorithmics and Combinatorics (Dagstuhl Seminar 16452)
[PDF Icon for download
(1,148 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 35-62, doi: 10.4230/DagRep.6.11.35
Seok-Hee Hong, Michael Kaufmann, Stephen G. Kobourov, and János Pach (Eds.)

Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461)
[PDF Icon for download
(936 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 63-89, doi: 10.4230/DagRep.6.11.63
Tyler W. Moore, Christian W. Probst, Kai Rannenberg, and Michel van Eeten (Eds.)

Inpainting-Based Image Compression (Dagstuhl Seminar 16462)
[PDF Icon for download
(1,045 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 90-107, doi: 10.4230/DagRep.6.11.90
Christine Guillemot, Gerlind Plonka-Hoch, Thomas Pock, and Joachim Weickert (Eds.)

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
[PDF Icon for download
(887 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 108-128, doi: 10.4230/DagRep.6.11.108
Jade Alglave, Patrick Cousot, and Caterina Urban (Eds.)

QoE Vadis? (Dagstuhl Perspectives Workshop 16472)
[PDF Icon for download
(736 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 129-141, doi: 10.4230/DagRep.6.11.129
Markus Fiedler, Sebastian Möller, Peter Reichl, and Min Xie (Eds.)

New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481)
[PDF Icon for download
(925 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 142-167, doi: 10.4230/DagRep.6.11.142
Arthur Gretton, Philipp Hennig, Carl Edward Rasmussen, and Bernhard Schölkopf (Eds.)

Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482)
[PDF Icon for download
(852 KB)
Dagstuhl Reports, Volume 6, Issue 11, pp. 168-184, doi: 10.4230/DagRep.6.11.168
Stéphane Gaubert, Dima Grigoriev, Michael Joswig, and Thorsten Theobald (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (6,388 KB)
Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue
[PDF Icon for download
(6,388 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 0-0, doi: 10.4230/DagRep.6.10

Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. i-ii, doi: 10.4230/DagRep.6.10.i

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)
[PDF Icon for download
(879 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 1-12, doi: 10.4230/DagRep.6.10.1
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, and Shriram Krishnamurthi (Eds.)

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411)
[PDF Icon for download
(963 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 13-32, doi: 10.4230/DagRep.6.10.13
Valentine Kabanets, Thomas Thierauf, Jacobo Tóran, and Christopher Umans (Eds.)

Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)
[PDF Icon for download
(1,059 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 33-74, doi: 10.4230/DagRep.6.10.33
Holger H. Hoos, Frank Neumann, and Heike Trautmann (Eds.)

Universality of Proofs (Dagstuhl Seminar 16421)
[PDF Icon for download
(991 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 75-98, doi: 10.4230/DagRep.6.10.75
Gilles Dowek, Catherine Dubois, Brigitte Pientka, and Florian Rabe (Eds.)

Computation over Compressed Structured Data (Dagstuhl Seminar 16431)
[PDF Icon for download
(857 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 99-119, doi: 10.4230/DagRep.6.10.99
Philip Bille, Markus Lohrey, Sebastian Maneth, and Gonzalo Navarro (Eds.)

Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)
[PDF Icon for download
(961 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 120-153, doi: 10.4230/DagRep.6.10.120
Tulika Mitra, Jürgen Teich, and Lothar Thiele (Eds.)

Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442)
[PDF Icon for download
(1,026 KB)
Dagstuhl Reports, Volume 6, Issue 10, pp. 154-194, doi: 10.4230/DagRep.6.10.154
Roger K. Moore, Serge Thill, and Ricard Marxer (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (11,991 KB)
Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue
[PDF Icon for download
(11,991 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 0-0, doi: 10.4230/DagRep.6.9

Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. i-ii, doi: 10.4230/DagRep.6.9.i

Network Attack Detection and Defense (Dagstuhl Seminar 16361)
[PDF Icon for download
(1,153 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 1-28, doi: 10.4230/DagRep.6.9.1
Marc C. Dacier, Sven Dietrich, Frank Kargl, and Hartmut König (Eds.)

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)
[PDF Icon for download
(794 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 29-45, doi: 10.4230/DagRep.6.9.29
Martin Fränzle, James Kapinski, and Pavithra Prabhakar (Eds.)

Public-Key Cryptography (Dagstuhl Seminar 16371)
[PDF Icon for download
(969 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 46-58, doi: 10.4230/DagRep.6.9.46
Marc Fischlin, Alexander May, David Pointcheval, and Tal Rabin (Eds.)

Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372)
[PDF Icon for download
(1,248 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 59-73, doi: 10.4230/DagRep.6.9.59
Vincent Heuveline, Michael Schick, Clayton Webster, and Peter Zaspel (Eds.)

SAT and Interactions (Dagstuhl Seminar 16381)
[PDF Icon for download
(7,199 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 74-93, doi: 10.4230/DagRep.6.9.74
Olaf Beyersdorff, Nadia Creignou, Uwe Egly, and Heribert Vollmer (Eds.)

Foundations of Unsupervised Learning (Dagstuhl Seminar 16382)
[PDF Icon for download
(891 KB)
Dagstuhl Reports, Volume 6, Issue 9, pp. 94-109, doi: 10.4230/DagRep.6.9.94
Maria-Florina Balcan, Shai Ben-David, Ruth Urner, and Ulrike von Luxburg (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (4,109 KB)
Dagstuhl Reports, Volume 6, Issue 8, August 2016, Complete Issue
[PDF Icon for download
(4,109 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. 0-0, doi: 10.4230/DagRep.6.8

Dagstuhl Reports, Table of Contents, Volume 6, Issue 8, 2016
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. i-ii, doi: 10.4230/DagRep.6.8.i

Coding Theory in the Time of Big Data (Dagstuhl Seminar 16321)
[PDF Icon for download
(906 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. 1-20, doi: 10.4230/DagRep.6.8.1
Martin Bossert, Eimear Byrne, and Emina Soljanin (Eds.)

Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341)
[PDF Icon for download
(1,576 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. 21-64, doi: 10.4230/DagRep.6.8.21
David Eyers, Avigdor Gal, Hans-Arno Jacobsen, and Matthias Weidlich (Eds.)

Foundations of Secure Scaling (Dagstuhl Seminar 16342)
[PDF Icon for download
(806 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. 65-90, doi: 10.4230/DagRep.6.8.65
Lejla Batina, Swarup Bhunia, Patrick Schaumont, and Jean-Pierre Seifert (Eds.)

Next Generation Sequencing (Dagstuhl Seminar 16351)
[PDF Icon for download
(892 KB)
Dagstuhl Reports, Volume 6, Issue 8, pp. 91-130, doi: 10.4230/DagRep.6.8.91
Gene Myers, Mihai Pop, Knut Reinert, and Tandy Warnow (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (3,323 KB)
Dagstuhl Reports, Volume 6, Issue 7, July 2016, Complete Issue
[PDF Icon for download
(3,323 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. 0-0, doi: 10.4230/DagRep.6.7

Dagstuhl Reports, Table of Contents, Volume 6, Issue 7, 2016
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. i-ii, doi: 10.4230/DagRep.6.7.i

Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 16271)
[PDF Icon for download
(770 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. 1-14, doi: 10.4230/DagRep.6.7.1
Sándor Fekete, Andréa W. Richa, Kay Römer, and Christian Scheideler (Eds.)

Network Latency Control in Data Centres (Dagstuhl Seminar 16281)
[PDF Icon for download
(908 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. 15-30, doi: 10.4230/DagRep.6.7.15
Mohammad Alizadeh Attar, Jon Crowcroft, Lars Eggert, and Klaus Wehrle (Eds.)

Topological Methods in Distributed Computing (Dagstuhl Seminar 16282)
[PDF Icon for download
(842 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. 31-41, doi: 10.4230/DagRep.6.7.31
Dmitry Feichtner-Kozlov, and Damien Imbs (Eds.)

Data, Responsibly (Dagstuhl Seminar 16291)
[PDF Icon for download
(900 KB)
Dagstuhl Reports, Volume 6, Issue 7, pp. 42-71, doi: 10.4230/DagRep.6.7.42
Serge Abiteboul, Gerome Miklau, Julia Stoyanovich, and Gerhard Weikum (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (8,797 KB)
Dagstuhl Reports, Volume 6, Issue 6, June 2016, Complete Issue
[PDF Icon for download
(8,797 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 0-0, doi: 10.4230/DagRep.6.6

Dagstuhl Reports, Table of Contents, Volume 6, Issue 6, 2016
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. i-ii, doi: 10.4230/DagRep.6.6.i

Immersive Analytics (Dagstuhl Seminar 16231)
[PDF Icon for download
(886 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 1-9, doi: 10.4230/DagRep.6.6.1
Tim Dwyer, Nathalie Henry Riche, Karsten Klein, Wolfgang Stuerzlinger, and Bruce Thomas (Eds.)

Fair Division (Dagstuhl Seminar 16232)
[PDF Icon for download
(844 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 10-25, doi: 10.4230/DagRep.6.6.10
Yonatan Aumann, Jérôme Lang, and Ariel D. Procaccia (Eds.)

Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar 16241)
[PDF Icon for download
(2,349 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 26-48, doi: 10.4230/DagRep.6.6.26
Jo Ellis-Monaghan, Andrew Goodall, Johann A. Makowsky, and Iain Moffatt (Eds.)

Information-centric Networking and Security (Dagstuhl Seminar 16251)
[PDF Icon for download
(771 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 49-61, doi: 10.4230/DagRep.6.6.49
Edith Ngai, Börje Ohlman, Gene Tsudik , and Ersin Uzun (Eds.)

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)
[PDF Icon for download
(1,339 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 62-87, doi: 10.4230/DagRep.6.6.62
Carole Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, and Jurgen J. Vinju (Eds.)

Integration of Expert Knowledge for Interpretable Models in Biomedical Data Analysis (Dagstuhl Seminar 16261)
[PDF Icon for download
(862 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 88-110, doi: 10.4230/DagRep.6.6.88
Gyan Bhanot, Michael Biehl, Thomas Villmann, and Dietlind Zühlke (Eds.)

Automotive User Interfaces in the Age of Automation (Dagstuhl Seminar 16262)
[PDF Icon for download
(2,062 KB)
Dagstuhl Reports, Volume 6, Issue 6, pp. 111-159, doi: 10.4230/DagRep.6.6.111
Andreas Riener, Susanne Boll, and Andrew L. Kun (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (8,818 KB)
Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue
[PDF Icon for download
(8,818 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 0-0, doi: 10.4230/DagRep.6.5

Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. i-ii, doi: 10.4230/DagRep.6.5.i

Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)
[PDF Icon for download
(959 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 1-30, doi: 10.4230/DagRep.6.5.1
Richard Hull, Agnes Koschmider, Hajo A. Reijers, and William Wong (Eds.)

Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)
[PDF Icon for download
(939 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 31-55, doi: 10.4230/DagRep.6.5.31
Tony Clark, Ulrich Frank, and Vinay Kulkarni (Eds.)

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
[PDF Icon for download
(923 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 56-71, doi: 10.4230/DagRep.6.5.56
Julian Dolby, Orna Grumberg, Peter Müller, and Omer Tripp (Eds.)

Hardware Security (Dagstuhl Seminar 16202)
[PDF Icon for download
(897 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 72-93, doi: 10.4230/DagRep.6.5.72
Osnat Keren, Ilia Polian, and Mark M. Tehranipoor (Eds.)

Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)
[PDF Icon for download
(1,091 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 94-116, doi: 10.4230/DagRep.6.5.94
Jeff Erickson, Philip N. Klein, Dániel Marx, and Claire Mathieu (Eds.)

Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)
[PDF Icon for download
(4,268 KB)
Dagstuhl Reports, Volume 6, Issue 5, pp. 114-137, doi: 10.4230/DagRep.6.5.114
Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (8,214 KB)
Dagstuhl Reports, Volume 6, Issue 4, April 2016, Complete Issue
[PDF Icon for download
(8,214 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 0-0, doi: 10.4230/DagRep.6.4

Dagstuhl Reports, Table of Contents, Volume 6, Issue 4, 2016
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. i-ii, doi: 10.4230/DagRep.6.4.i

Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies (Dagstuhl Seminar 16141)
[PDF Icon for download
(820 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 1-15, doi: 10.4230/DagRep.6.4.1
Thorsten Quandt, German Shegalov, Helle Sjøvaag, and Gottfried Vossen (Eds.)

Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142)
[PDF Icon for download
(1,016 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 16-38, doi: 10.4230/DagRep.6.4.16
Ingrid Hotz, Evren Özarslan, and Thomas Schultz (Eds.)

Foundations of Data Management (Dagstuhl Perspectives Workshop 16151)
[PDF Icon for download
(872 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 39-56, doi: 10.4230/DagRep.6.4.39
Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, and Thomas Schwentick (Eds.)

Tensor Computing for Internet of Things (Dagstuhl Perspectives Workshop 16152)
[PDF Icon for download
(1,733 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 57-79, doi: 10.4230/DagRep.6.4.57
Evrim Acar, Animashree Anandkumar, Lenore Mullin, Sebnem Rusitschka, and Volker Tresp (Eds.)

Natural Language Argumentation: Mining, Processing, and Reasoning over Textual Arguments (Dagstuhl Seminar 16161)
[PDF Icon for download
(1,233 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 80-109, doi: 10.4230/DagRep.6.4.80
Elena Cabrio, Graeme Hirst, Serena Villata, and Adam Wyner (Eds.)

Managing Technical Debt in Software Engineering (Dagstuhl Seminar 16162)
[PDF Icon for download
(1,068 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 110-138, doi: 10.4230/DagRep.6.4.110
Paris Avgeriou, Philippe Kruchten, Ipek Ozkaya, and Carolyn Seaman (Eds.)

Algorithmic Methods for Optimization in Public Transport (Dagstuhl Seminar 16171)
[PDF Icon for download
(951 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 139-160, doi: 10.4230/DagRep.6.4.139
Leo G. Kroon, Anita Schöbel, and Dorothea Wagner (Eds.)

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)
[PDF Icon for download
(885 KB)
Dagstuhl Reports, Volume 6, Issue 4, pp. 161-173, doi: 10.4230/DagRep.6.4.161
Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, and Karl Meinke (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (4,550 KB)
Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue
[PDF Icon for download
(4,550 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. 0-0, doi: 10.4230/DagRep.6.3

Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. i-ii, doi: 10.4230/DagRep.6.3.i

Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)
[PDF Icon for download
(999 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. 1-23, doi: 10.4230/DagRep.6.3.1
Alejandro Lopez-Ortiz, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick (Eds.)

Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111)
[PDF Icon for download
(1,593 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. 24-43, doi: 10.4230/DagRep.6.3.24
Daniel Delling, Camil Demetrescu, David S. Johnson, and Jan Vitek (Eds.)

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)
[PDF Icon for download
(1,166 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. 44-58, doi: 10.4230/DagRep.6.3.44
Andrej Bauer, Martin Hofmann, Matija Pretnar, and Jeremy Yallop (Eds.)

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
[PDF Icon for download
(866 KB)
Dagstuhl Reports, Volume 6, Issue 3, pp. 59-77, doi: 10.4230/DagRep.6.3.59
Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, and Stephanie Weirich (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (7,374 KB)
Dagstuhl Reports, Volume 6, Issue 2, February 2016, Complete Issue
[PDF Icon for download
(7,374 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 0-0, doi: 10.4230/DagRep.6.2

Dagstuhl Reports, Table of Contents, Volume 6, Issue 2, 2016
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. i-ii, doi: 10.4230/DagRep.6.2.i

Data-Driven Storytelling (Dagstuhl Seminar 16061)
[PDF Icon for download
(1,035 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 1-27, doi: 10.4230/DagRep.6.2.1
Sheelagh Carpendale, Nicholas Diakopoulos, Nathalie Henry Riche, and Christophe Hurter (Eds.)

Modeling and Analysis of Semiconductor Supply Chains (Dagstuhl Seminar 16062)
[PDF Icon for download
(2,076 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 28-64, doi: 10.4230/DagRep.6.2.28
Chen-Fu Chien, Hans Ehm, John Fowler, and Lars Mönch (Eds.)

Pattern Avoidance and Genome Sorting (Dagstuhl Seminar 16071)
[PDF Icon for download
(845 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 65-77, doi: 10.4230/DagRep.6.2.65
Michael Albert, Miklós Bóna, István Miklós, and Einar Steingrimsson (Eds.)

Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072)
[PDF Icon for download
(713 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 78-96, doi: 10.4230/DagRep.6.2.78
Michael E. Caspersen, Kathi Fisler, and Jan Vahrenhold (Eds.)

Scheduling (Dagstuhl Seminar 16081)
[PDF Icon for download
(1,032 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 97-118, doi: 10.4230/DagRep.6.2.97
Nikhil Bansal, Nicole Megow, and Clifford Stein (Eds.)

Computational Challenges in Cooperative Intelligent Urban Transport (Dagstuhl Seminar 16091)
[PDF Icon for download
(1,026 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 119-146, doi: 10.4230/DagRep.6.2.119
Caitlin Doyle Cottrill, Jan Fabian Ehmke, Franziska Klügl, and Sabine Timpf (Eds.)

Computational Music Structure Analysis (Dagstuhl Seminar 16092)
[PDF Icon for download
(982 KB)
Dagstuhl Reports, Volume 6, Issue 2, pp. 147-190, doi: 10.4230/DagRep.6.2.147
Meinard Müller, Elaine Chew, and Juan Pablo Bello (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (10,917 KB)
Dagstuhl Reports, Volume 6, Issue 1, January 2016, Complete Issue
[PDF Icon for download
(10,917 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 0-0, doi: 10.4230/DagRep.6.1

Dagstuhl Reports, Table of Contents, Volume 6, Issue 1, 2016
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. i-ii, doi: 10.4230/DagRep.6.1.i

Evolution and Computing (Dagstuhl Seminar 16011)
[PDF Icon for download
(1,136 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 1-14, doi: 10.4230/DagRep.6.1.1
Nick Barton, Per Kristian Lehre, and Nisheeth K. Vishnoi (Eds.)

Global Measurements: Practice and Experience (Dagstuhl Seminar 16012)
[PDF Icon for download
(982 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 15-33, doi: 10.4230/DagRep.6.1.15
Vaibhav Bajpai, Arthur W. Berger, Philip Eardley, Jörg Ott, and Jürgen Schönwälder (Eds.)

Symmetric Cryptography (Dagstuhl Seminar 16021)
[PDF Icon for download
(849 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 34-54, doi: 10.4230/DagRep.6.1.34
Frederik Armknecht, Tetsu Iwata, Kaisa Nyberg, and Bart Preneel (Eds.)

Geometric and Graph-based Approaches to Collective Motion (Dagstuhl Seminar 16022)
[PDF Icon for download
(868 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 55-68, doi: 10.4230/DagRep.6.1.55
Giuseppe F. Italiano, Marc van Kreveld, Bettina Speckmann, and Guy Theraulaz (Eds.)

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)
[PDF Icon for download
(1,086 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 69-98, doi: 10.4230/DagRep.6.1.69
Jean Goubault-Larrecq, Monika Seisenberger, Victor Selivanov, and Andreas Weiermann (Eds.)

Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 16032)
[PDF Icon for download
(896 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 99-107, doi: 10.4230/DagRep.6.1.99
George Danezis, Stefan Katzenbeisser, Christiane Peters, and Bart Preneel (Eds.)

Reproducibility of Data-Oriented Experiments in e-Science (Dagstuhl Seminar 16041)
[PDF Icon for download
(1,370 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 108-159, doi: 10.4230/DagRep.6.1.108
Juliana Freire, Norbert Fuhr, and Andreas Rauber (Eds.)

Eyewear Computing – Augmenting the Human with Head-mounted Wearable Assistants (Dagstuhl Seminar 16042)
[PDF Icon for download
(2,660 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 160-206, doi: 10.4230/DagRep.6.1.160
Andreas Bulling, Ozan Cakmakci, Kai Kunze, and James M. Rehg (Eds.)

Modern Cryptography and Security: An Inter-Community Dialogue (Dagstuhl Seminar 16051)
[PDF Icon for download
(701 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 207-223, doi: 10.4230/DagRep.6.1.207
Kristin Lauter, Radu Sion, and Nigel P. Smart (Eds.)

Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052)
[PDF Icon for download
(1,000 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 224-244, doi: 10.4230/DagRep.6.1.224
Hans Michael Gerndt, Michael Glaß, Sri Parameswaran, and Barry L. Rountree (Eds.)

Volume 5 (2015)

Issue 12 Complete Issue: [PDF Icon for download (2,240 KB)
Dagstuhl Reports, Volume 5, Issue 12, December 2015, Complete Issue
[PDF Icon for download
(2,240 KB)
Dagstuhl Reports, Volume 5, Issue 12, pp. 0-0, doi: 10.4230/DagRep.5.12

Dagstuhl Reports, Table of Contents, Volume 5, Issue 12, 2015
[PDF Icon for download
(184 KB)
Dagstuhl Reports, Volume 5, Issue 12, pp. i-ii, doi: 10.4230/DagRep.5.12.i

The Graph Isomorphism Problem (Dagstuhl Seminar 15511)
[PDF Icon for download
(1,164 KB)
Dagstuhl Reports, Volume 5, Issue 12, pp. 1-17, doi: 10.4230/DagRep.5.12.1
László Babai, Anuj Dawar, Pascal Schweitzer, and Jacobo Torán (Eds.)

Debating Technologies (Dagstuhl Seminar 15512)
[PDF Icon for download
(999 KB)
Dagstuhl Reports, Volume 5, Issue 12, pp. 18-46, doi: 10.4230/DagRep.5.12.18
Iryna Gurevych, Eduard H. Hovy, Noam Slonim, and Benno Stein (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (9,119 KB)
Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue
[PDF Icon for download
(9,119 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 0-0, doi: 10.4230/DagRep.5.11

Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. i-ii, doi: 10.4230/DagRep.5.11.i

Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
[PDF Icon for download
(1,071 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 1-28, doi: 10.4230/DagRep.5.11.1
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis (Eds.)

Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)
[PDF Icon for download
(854 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 29-35, doi: 10.4230/DagRep.5.11.29
Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller (Eds.)

Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)
[PDF Icon for download
(1,052 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 36-61, doi: 10.4230/DagRep.5.11.36
André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla (Eds.)

The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)
[PDF Icon for download
(955 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 62-70, doi: 10.4230/DagRep.5.11.62
Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi (Eds.)

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)
[PDF Icon for download
(1,126 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 71-89, doi: 10.4230/DagRep.5.11.71
Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang (Eds.)

Programming with "Big Code" (Dagstuhl Seminar 15472)
[PDF Icon for download
(1,088 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 90-102, doi: 10.4230/DagRep.5.11.90
William W. Cohen, Charles Sutton, and Martin T. Vechev (Eds.)

Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)
[PDF Icon for download
(1,108 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 103-126, doi: 10.4230/DagRep.5.11.103
Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase (Eds.)

Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)
[PDF Icon for download
(815 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 127-150, doi: 10.4230/DagRep.5.11.127
Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer (Eds.)

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
[PDF Icon for download
(939 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 151-179, doi: 10.4230/DagRep.5.11.151
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz (Eds.)

Computational Metabolomics (Dagstuhl Seminar 15492)
[PDF Icon for download
(683 KB)
Dagstuhl Reports, Volume 5, Issue 11, pp. 180-192, doi: 10.4230/DagRep.5.11.180
Sebastian Böcker, Juho Rousu, and Emma Schymanski (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (5,691 KB)
Dagstuhl Reports, Volume 5, Issue 10, October 2015, Complete Issue
[PDF Icon for download
(5,691 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 0-0, doi: 10.4230/DagRep.5.10

Dagstuhl Reports, Table of Contents, Volume 5, Issue 10, 2015
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. i-ii, doi: 10.4230/DagRep.5.10.i

Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411)
[PDF Icon for download
(1,082 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 1-18, doi: 10.4230/DagRep.5.10.1
Jan Peters, Justus Piater, Robert Platt, and Siddhartha Srinivasa (Eds.)

Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412)
[PDF Icon for download
(1,033 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 19-34, doi: 10.4230/DagRep.5.10.19
José R. Correa, Tobias Harks, Kai Nagel, Britta Peis, and Martin Skutella (Eds.)

Rack-scale Computing (Dagstuhl Seminar 15421)
[PDF Icon for download
(965 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 35-49, doi: 10.4230/DagRep.5.10.35
Babak Falsafi, Tim Harris, Dushyanth Narayanan, and David A. Patterson (Eds.)

Genomic Privacy (Dagstuhl Seminar 15431)
[PDF Icon for download
(1,115 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 50-65, doi: 10.4230/DagRep.5.10.50
Jean Pierre Hubaux, Stefan Katzenbeisser, Bradley Malin, and Gene Tsudik (Eds.)

Duality in Computer Science (Dagstuhl Seminar 15441)
[PDF Icon for download
(867 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 66-88, doi: 10.4230/DagRep.5.10.66
Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen (Eds.)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
[PDF Icon for download
(929 KB)
Dagstuhl Reports, Volume 5, Issue 10, pp. 89-111, doi: 10.4230/DagRep.5.10.89
José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (7,370 KB)
Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue
[PDF Icon for download
(7,370 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 0-0, doi: 10.4230/DagRep.5.9

Dagstuhl Reports, Table of Contents, Volume 5, Issue 9, 2015
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. i-ii, doi: 10.4230/DagRep.5.9.i

Quantum Cryptanalysis (Dagstuhl Seminar 15371)
[PDF Icon for download
(1,134 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 1-17, doi: 10.4230/DagRep.5.9.1
Michele Mosca, Martin Roetteler, Nicolas Sendrier, and Rainer Steinwandt (Eds.)

Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)
[PDF Icon for download
(1,202 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 18-37, doi: 10.4230/DagRep.5.9.18
Nikolaj S. Bjorner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, and Christoph Weidenbach (Eds.)

Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382)
[PDF Icon for download
(1,020 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 38-56, doi: 10.4230/DagRep.5.9.38
Ricardo Duarteand Björn Eskofier, Martin Rumpf, and Josef Wiemeyer (Eds.)

Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391)
[PDF Icon for download
(1,134 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 57-76, doi: 10.4230/DagRep.5.9.57
Aicke Hinrichs, Joseph F. Traub, Henryk Wozniakowski, and Larisa Yaroslavtseva (Eds.)

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
[PDF Icon for download
(1,149 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 77-104, doi: 10.4230/DagRep.5.9.77
Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, and Arno Pauly (Eds.)

Circuits, Logic and Games (Dagstuhl Seminar 15401)
[PDF Icon for download
(1,117 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 105-124, doi: 10.4230/DagRep.5.9.105
Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, and Heribert Vollmer (Eds.)

Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402)
[PDF Icon for download
(914 KB)
Dagstuhl Reports, Volume 5, Issue 9, pp. 125-138, doi: 10.4230/DagRep.5.9.125
Vincent Danos, and Heinz Koeppl (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (6,633 KB)
Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue
[PDF Icon for download
(6,633 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 0-0, doi: 10.4230/DagRep.5.8

Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. i-ii, doi: 10.4230/DagRep.5.8.i

Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342)
[PDF Icon for download
(1,132 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 1-8, doi: 10.4230/DagRep.5.8.1
Dieter Kranzlmüller, and Barry L. Rountree (Eds.)

Computational Mass Spectrometry (Dagstuhl Seminar 15351)
[PDF Icon for download
(2,968 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 9-33, doi: 10.4230/DagRep.5.8.9
Rudolf Aebersold, Oliver Kohlbacher, and Olga Vitek (Eds.)

Design of Microfluidic Biochips (Dagstuhl Seminar 15352)
[PDF Icon for download
(1,036 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 34-53, doi: 10.4230/DagRep.5.8.34
Krishnendu Chakrabarty, Tsung-Yi Ho, and Robert Wille (Eds.)

Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361)
[PDF Icon for download
(889 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 54-73, doi: 10.4230/DagRep.5.8.54
Matthias Hein, Gabor Lugosi, and Lorenzo Rosasco (Eds.)

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
[PDF Icon for download
(708 KB)
Dagstuhl Reports, Volume 5, Issue 8, pp. 74-89, doi: 10.4230/DagRep.5.8.74
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (3,254 KB)
Dagstuhl Reports, Volume 5, Issue 7, July 2015, Complete Issue
[PDF Icon for download
(3,254 KB)
Dagstuhl Reports, Volume 5, Issue 7, pp. 0-0, doi: 10.4230/DagRep.5.7

Dagstuhl Reports, Table of Contents, Volume 5, Issue 7, 2015
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 5, Issue 7, pp. i-ii, doi: 10.4230/DagRep.5.7.i

Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems (Dagstuhl Seminar 15281)
[PDF Icon for download
(785 KB)
Dagstuhl Reports, Volume 5, Issue 7, pp. 1-21, doi: 10.4230/DagRep.5.7.1
Henri Casanova, Ewa Deelman, Yves Robert, and Uwe Schwiegelshohn (Eds.)

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 15301)
[PDF Icon for download
(1,156 KB)
Dagstuhl Reports, Volume 5, Issue 7, pp. 22-41, doi: 10.4230/DagRep.5.7.22
Andrei A. Bulatov, Venkatesan Guruswami, Andrei Krokhin, and Dániel Marx (Eds.)

Digital Scholarship and Open Science in Psychology and the Behavioral Sciences (Dagstuhl Perspectives Workshop 15302)
[PDF Icon for download
(1,318 KB)
Dagstuhl Reports, Volume 5, Issue 7, pp. 42-68, doi: 10.4230/DagRep.5.7.42
Alexander Garcia Castro, Janna Hastings, Robert Stevens, and Erich Weichselgartner (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (4,403 KB)
Dagstuhl Reports, Volume 5, Issue 6, June 2015, Complete Issue
[PDF Icon for download
(4,403 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. 0-0, doi: 10.4230/DagRep.5.6

Dagstuhl Reports, Table of Contents, Volume 5, Issue 6, 2015
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. i-ii, doi: 10.4230/DagRep.5.6.i

Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241)
[PDF Icon for download
(1,132 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. 1-27, doi: 10.4230/DagRep.5.6.1
Craig Boutilier, Britta Dorn, Nicolas Maudet, and Vincent Merlin (Eds.)

Complexity of Symbolic and Numerical Problems (Dagstuhl Seminar 15242)
[PDF Icon for download
(1,108 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. 28-47, doi: 10.4230/DagRep.5.6.28
Peter Bürgisser, Felipe Cucker, Marek Karpinski, and Nicolai Vorobjov (Eds.)

Sparse Modelling and Multi-exponential Analysis (Dagstuhl Seminar 15251)
[PDF Icon for download
(857 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. 48-69, doi: 10.4230/DagRep.5.6.48
Annie Cuyt, George Labahn, Avraham Sidi, and Wen-shin Lee (Eds.)

Logics for Dependence and Independence (Dagstuhl Seminar 15261)
[PDF Icon for download
(1,382 KB)
Dagstuhl Reports, Volume 5, Issue 6, pp. 70-85, doi: 10.4230/DagRep.5.6.70
Erich Grädel, Juha Kontinen, Jouko Väänänen, and Heribert Vollmer (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (6,743 KB)
Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue
[PDF Icon for download
(6,743 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 0-0, doi: 10.4230/DagRep.5.5

Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. i-ii, doi: 10.4230/DagRep.5.5.i

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
[PDF Icon for download
(1,129 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 1-23, doi: 10.4230/DagRep.5.5.1
Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao (Eds.)

The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192)
[PDF Icon for download
(1,419 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 24-42, doi: 10.4230/DagRep.5.5.24
Roberto Casati, Patrick Cavanagh, and Paulo E. Santos (Eds.)

Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)
[PDF Icon for download
(1,037 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 43-56, doi: 10.4230/DagRep.5.5.43
Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger (Eds.)

Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)
[PDF Icon for download
(1,324 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 57-91, doi: 10.4230/DagRep.5.5.57
Benjamin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele (Eds.)

Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)
[PDF Icon for download
(874 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 92-114, doi: 10.4230/DagRep.5.5.92
Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade (Eds.)

Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)
[PDF Icon for download
(1,147 KB)
Dagstuhl Reports, Volume 5, Issue 5, pp. 115-132, doi: 10.4230/DagRep.5.5.115
Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (6,670 KB)
Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue
[PDF Icon for download
(6,670 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 0-0, doi: 10.4230/DagRep.5.4

Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. i-ii, doi: 10.4230/DagRep.5.4.i

Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151)
[PDF Icon for download
(1,021 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 1-17, doi: 10.4230/DagRep.5.4.1
David Hutchison, Klara Nahrstedt, Marcus Schöller, Indra Spiecker gen. Döhmann, and Markus Tauber (Eds.)

Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152)
[PDF Icon for download
(1,334 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 18-55, doi: 10.4230/DagRep.5.4.18
Trevor Darrell, Marius Kloft, Massimiliano Pontil, Gunnar Rätsch, and Erik Rodner (Eds.)

Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161)
[PDF Icon for download
(758 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 56-75, doi: 10.4230/DagRep.5.4.56
Christian Lengauer, Matthias Bolten, Robert D. Falgout, and Olaf Schenk (Eds.)

Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)
[PDF Icon for download
(1,048 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 76-97, doi: 10.4230/DagRep.5.4.76
Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, and Wilhelm Schäfer (Eds.)

Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)
[PDF Icon for download
(1,162 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 98-122, doi: 10.4230/DagRep.5.4.98
Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, and Ryan Williams (Eds.)

Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
[PDF Icon for download
(855 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 123-141, doi: 10.4230/DagRep.5.4.123
Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, and Annabelle McIver (Eds.)

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)
[PDF Icon for download
(771 KB)
Dagstuhl Reports, Volume 5, Issue 4, pp. 142-159, doi: 10.4230/DagRep.5.4.142
Darren Cofer, Gerwin Klein, Konrad Slind, and Virginie Wiels (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (8,308 KB)
Dagstuhl Reports, Volume 5, Issue 3, March 2015, Complete Issue
[PDF Icon for download
(8,308 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 0-0, doi: 10.4230/DagRep.5.3

Dagstuhl Reports, Table of Contents, Volume 5, Issue 3, 2015
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. i-ii, doi: 10.4230/DagRep.5.3.i

Bridging Information Visualization with Machine Learning (Dagstuhl Seminar 15101)
[PDF Icon for download
(1,465 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 1-27, doi: 10.4230/DagRep.5.3.1
Daniel A. Keim, Tamara Munzner, Fabrice Rossi, and Michel Verleysen (Eds.)

Secure Routing for Future Communication Networks (Dagstuhl Seminar 15102)
[PDF Icon for download
(936 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 28-40, doi: 10.4230/DagRep.5.3.28
Amir Herzberg, Matthias Hollick, and Adrian Perrig (Eds.)

Computational Geometry (Dagstuhl Seminar 15111)
[PDF Icon for download
(1,199 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 41-62, doi: 10.4230/DagRep.5.3.41
Otfried Cheong, Jeff Erickson, and Monique Teillaud (Eds.)

Network Calculus (Dagstuhl Seminar 15112)
[PDF Icon for download
(746 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 63-83, doi: 10.4230/DagRep.5.3.63
Florin Ciucu, Markus Fidler, Jörg Liebeherr, and Jens Schmitt (Eds.)

Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)
[PDF Icon for download
(2,076 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 84-142, doi: 10.4230/DagRep.5.3.84
Sanjoy K. Baruah, Liliana Cucu-Grosjean, Robert I. Davis, and Claire Maiza (Eds.)

Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122)
[PDF Icon for download
(1,150 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 143-161, doi: 10.4230/DagRep.5.3.143
Frank Drewes, Kevin Knight, and Marco Kuhlmann (Eds.)

Normative Multi-Agent Systems (Dagstuhl Seminar 15131)
[PDF Icon for download
(1,053 KB)
Dagstuhl Reports, Volume 5, Issue 3, pp. 162-176, doi: 10.4230/DagRep.5.3.162
Amit K. Chopra, Leon van der Torre, Harko Verhagen, and Serena Villata (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (6,848 KB)
Dagstuhl Reports, Volume 5, Issue 2, February 2015, Complete Issue
[PDF Icon for download
(6,848 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 0-0, doi: 10.4230/DagRep.5.2

Dagstuhl Reports, Table of Contents, Volume 5, Issue 2, 2015
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. i-ii, doi: 10.4230/DagRep.5.2.i

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061)
[PDF Icon for download
(961 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 1-25, doi: 10.4230/DagRep.5.2.1
Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, and Wolfgang Thomas (Eds.)

Domain-Specific Languages (Dagstuhl Seminar 15062)
[PDF Icon for download
(1,021 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 26-43, doi: 10.4230/DagRep.5.2.26
Sebastian Erdweg, Martin Erwig, Richard F. Paige, and Eelco Visser (Eds.)

Formal Foundations for Networking (Dagstuhl Seminar 15071)
[PDF Icon for download
(981 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 44-63, doi: 10.4230/DagRep.5.2.44
Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, and Pamela Zave (Eds.)

Distributed Cloud Computing (Dagstuhl Seminar 15072)
[PDF Icon for download
(904 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 64-79, doi: 10.4230/DagRep.5.2.64
Yvonne Coady, James Kempf, Rick McGeer, and Stefan Schmid (Eds.)

Holistic Scene Understanding (Dagstuhl Seminar 15081)
[PDF Icon for download
(1,106 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 80-108, doi: 10.4230/DagRep.5.2.80
Jiri Matas, Vittorio Murino, Bodo Rosenhahn, and Laura Leal-Taixé (Eds.)

Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082)
[PDF Icon for download
(932 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 109-127, doi: 10.4230/DagRep.5.2.109
Hartmut Klauck, Troy Lee, Dirk Oliver Theis, and Rekha R. Thomas (Eds.)

Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)
[PDF Icon for download
(1,211 KB)
Dagstuhl Reports, Volume 5, Issue 2, pp. 128-175, doi: 10.4230/DagRep.5.2.128
Hans-Arno Jacobsen, Randy H. Katz, Hartmut Schmeck, and Christoph Goebel (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (8,530 KB)
Dagstuhl Reports, Volume 5, Issue 1, January 2015, Complete Issue
[PDF Icon for download
(8,530 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 0-0, doi: 10.4230/DagRep.5.1

Dagstuhl Reports, Table of Contents, Volume 5, Issue 1, 2015
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. i-ii, doi: 10.4230/DagRep.5.1.i

Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
[PDF Icon for download
(1,236 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 1-56, doi: 10.4230/DagRep.5.1.1
Michael Philippsen, Pascal Felber, Michael L. Scott, and J. Eliot B. Moss (Eds.)

Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022)
[PDF Icon for download
(1,503 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 57-95, doi: 10.4230/DagRep.5.1.57
Katrien De Moor, Markus Fiedlerand Peter Reichl, and Martín Varela (Eds.)

Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031)
[PDF Icon for download
(1,615 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 96-163, doi: 10.4230/DagRep.5.1.96
Salvatore Greco, Kathrin Klamroth, Joshua D. Knowles, and Günter Rudolph (Eds.)

Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041)
[PDF Icon for download
(1,022 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 164-196, doi: 10.4230/DagRep.5.1.164
Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, and Marta Kwiatkowska (Eds.)

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)
[PDF Icon for download
(969 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 197-206, doi: 10.4230/DagRep.5.1.197
Samson Abramsky, Alexander Kurz, Pierre Lescanne, and Viktor Winschel (Eds.)

Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)
[PDF Icon for download
(1,270 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 207-242, doi: 10.4230/DagRep.5.1.207
Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck,, and Julian Togelius (Eds.)

Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052)
[PDF Icon for download
(1,179 KB)
Dagstuhl Reports, Volume 5, Issue 1, pp. 243-258, doi: 10.4230/DagRep.5.1.243
Ulrik Brandes, Irene Finocchi, Martin Nöllenburg, and Aaron Quigley (Eds.)

Volume 4 (2014)

Issue 12 Complete Issue: [PDF Icon for download (9,805 KB)
Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue
[PDF Icon for download
(9,805 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. 0-0, doi: 10.4230/DagRep.4.12

Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014
[PDF Icon for download
(187 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. i-ii, doi: 10.4230/DagRep.4.12.i

Socio-Technical Security Metrics (Dagstuhl Seminar 14491)
[PDF Icon for download
(4,645 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. 1-28, doi: 10.4230/DagRep.4.12.1
Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse (Eds.)

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)
[PDF Icon for download
(762 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. 29-47, doi: 10.4230/DagRep.4.12.29
Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh (Eds.)

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)
[PDF Icon for download
(1,342 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. 48-67, doi: 10.4230/DagRep.4.12.48
James Cheney, Torsten Grust, and Dimitrios Vytiniotis (Eds.)

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)
[PDF Icon for download
(4,382 KB)
Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, doi: 10.4230/DagRep.4.12.68
Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (18,809 KB)
Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue
[PDF Icon for download
(18,809 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 0-0, doi: 10.4230/DagRep.4.11

Dagstuhl Reports, Table of Contents, Volume 4, Issue 11, 2014
[PDF Icon for download
(193 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. i-ii, doi: 10.4230/DagRep.4.11.i

Optimality and tight results in parameterized complexity (Dagstuhl Seminar 14451)
[PDF Icon for download
(1,354 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 1-21, doi: 10.4230/DagRep.4.11.1
Stefan Kratsch, Daniel Lokshtanov, Dániel Marx, and Peter Rossmanith (Eds.)

Algorithmic Cheminformatics (Dagstuhl Seminar 14452)
[PDF Icon for download
(1,012 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 22-39, doi: 10.4230/DagRep.4.11.22
Wolfgang Banzhaf, Christoph Flamm, Daniel Merkle, and Peter F. Stadler (Eds.)

High-performance Graph Algorithms and Applications in Computational Science (Dagstuhl Seminar 14461)
[PDF Icon for download
(1,049 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 40-58, doi: 10.4230/DagRep.4.11.40
Ulrich Carsten Meyer, Henning Meyerhenke, Ali Pinar, and Ilya Safro (Eds.)

Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462)
[PDF Icon for download
(942 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 59-77, doi: 10.4230/DagRep.4.11.59
Eiko Yoneki, Amitabha Roy, and Derek Murray (Eds.)

Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment (Dagstuhl Seminar 14471)
[PDF Icon for download
(1,545 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 78-137, doi: 10.4230/DagRep.4.11.78
Jon Crowcroft, Adam Wolisz, and Arjuna Sathiaseelan (Eds.)

Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)
[PDF Icon for download
(7,144 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 138-226, doi: 10.4230/DagRep.4.11.138
David Gilbert, Monika Heiner, Koichi Takahashi, and Adelinde M. Uhrmacher (Eds.)

Automated Planning and Model Checking (Dagstuhl Seminar 14482)
[PDF Icon for download
(1,123 KB)
Dagstuhl Reports, Volume 4, Issue 11, pp. 227-245, doi: 10.4230/DagRep.4.11.227
Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, and Erion Plaku (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (4,864 KB)
Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue
[PDF Icon for download
(4,864 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 0-0, doi: 10.4230/DagRep.4.10

Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. i-ii, doi: 10.4230/DagRep.4.10.i

Constraints, Optimization and Data (Dagstuhl Seminar 14411)
[PDF Icon for download
(1,321 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 1-31, doi: 10.4230/DagRep.4.10.1
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Michele Sebag (Eds.)

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)
[PDF Icon for download
(1,073 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 32-50, doi: 10.4230/DagRep.4.10.32
Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe (Eds.)

Optimal algorithms and proofs (Dagstuhl Seminar 14421)
[PDF Icon for download
(835 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 51-68, doi: 10.4230/DagRep.4.10.51
Olaf Beyersdorff, Edward A. Hirsch, Jan Krajicek, and Rahul Santhanam (Eds.)

Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)
[PDF Icon for download
(914 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 69-97, doi: 10.4230/DagRep.4.10.69
Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec (Eds.)

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
[PDF Icon for download
(755 KB)
Dagstuhl Reports, Volume 4, Issue 10, pp. 98-114, doi: 10.4230/DagRep.4.10.98
Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, and Koushik Sen (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (6,509 KB)
Dagstuhl Reports, Volume 4, Issue 9, September 2014, Complete Issue
[PDF Icon for download
(6,509 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 0-0, doi: 10.4230/DagRep.4.9

Dagstuhl Reports, Table of Contents, Volume 4, Issue 9, 2014
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. i-ii, doi: 10.4230/DagRep.4.9.i

Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371)
[PDF Icon for download
(1,166 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 1-29, doi: 10.4230/DagRep.4.9.1
Nicolas R. Gauger, Michael Giles, Max Gunzburger, and Uwe Naumann (Eds.)

Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372)
[PDF Icon for download
(1,178 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 30-49, doi: 10.4230/DagRep.4.9.30
Maria-Florina Balcan, Bodo Manthey, Heiko Röglin, and Tim Roughgarden (Eds.)

Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)
[PDF Icon for download
(1,885 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 50-84, doi: 10.4230/DagRep.4.9.50
Artur d'Avila Garcez, Marco Gori, Pascal Hitzler, and Luís C. Lamb (Eds.)

Algebra in Computational Complexity (Dagstuhl Seminar 14391)
[PDF Icon for download
(1,154 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 85-105, doi: 10.4230/DagRep.4.9.85
Manindra Agrawal, Valentine Kabanets, Thomas Thierauf, and Christopher Umans (Eds.)

Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401)
[PDF Icon for download
(1,205 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 106-123, doi: 10.4230/DagRep.4.9.106
Bart Preneel, Phillip Rogaway, Mark D. Ryan, and Peter Y. A. Ryan (Eds.)

Resilience in Exascale Computing (Dagstuhl Seminar 14402)
[PDF Icon for download
(715 KB)
Dagstuhl Reports, Volume 4, Issue 9, pp. 124-139, doi: 10.4230/DagRep.4.9.124
Hermann Härtig, Satoshi Matsuoka, Frank Mueller, and Alexander Reinefeld (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (7,600 KB)
Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue
[PDF Icon for download
(7,600 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 0-0, doi: 10.4230/DagRep.4.8

Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. i-ii, doi: 10.4230/DagRep.4.8.i

Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)
[PDF Icon for download
(798 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 1-20, doi: 10.4230/DagRep.4.8.1
Michael Benedikt, Carsten Lutz, and Balder Ten Cate (Eds.)

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)
[PDF Icon for download
(1,180 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 21-44, doi: 10.4230/DagRep.4.8.21
Thomas Agotnes, and Nils Bulling (Eds.)

Resource-bounded Problem Solving (Dagstuhl Seminar 14341)
[PDF Icon for download
(794 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 45-72, doi: 10.4230/DagRep.4.8.45
Yll Haxhimusa, Iris van Rooij, and Sashank Varma ans Todd Wareham (Eds.)

Equilibrium Computation (Dagstuhl Seminar 14342)
[PDF Icon for download
(1,013 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 73-88, doi: 10.4230/DagRep.4.8.73
Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani,, and Vijay V. Vazirani (Eds.)

Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
[PDF Icon for download
(1,061 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, doi: 10.4230/DagRep.4.8.89
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur (Eds.)

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)
[PDF Icon for download
(993 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 107-125, doi: 10.4230/DagRep.4.8.107
Patrick Cousot, Daniel Kroening, and Carsten Sinz (Eds.)

Computational Aspects of Fabrication (Dagstuhl Seminar 14361)
[PDF Icon for download
(1,143 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 126-150, doi: 10.4230/DagRep.4.8.126
Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier (Eds.)

Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)
[PDF Icon for download
(983 KB)
Dagstuhl Reports, Volume 4, Issue 8, pp. 151-173, doi: 10.4230/DagRep.4.8.151
Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (6,380 KB)
Dagstuhl Reports, Volume 4, Issue 7, July 2014, Complete Issue
[PDF Icon for download
(6,380 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 0-0, doi: 10.4230/DagRep.4.7

Dagstuhl Reports, Table of Contents, Volume 4, Issue 7, 2014
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. i-ii, doi: 10.4230/DagRep.4.7.i

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)
[PDF Icon for download
(1,299 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 1-24, doi: 10.4230/DagRep.4.7.1
Sven Apel, Joanne M. Atlee, Luciano Baresi, and Pamela Zave (Eds.)

Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282)
[PDF Icon for download
(1,193 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 25-51, doi: 10.4230/DagRep.4.7.25
Abraham Bernstein, Jan Marco Leimeister, Natasha Noy, Cristina Sarasua, and Elena Simperl (Eds.)

Information-Centric Networking 3 (Dagstuhl Seminar 14291)
[PDF Icon for download
(1,025 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 52-61, doi: 10.4230/DagRep.4.7.52
Dirk Kutscher, Taekyoung Kwon, and Ignacio Solis (Eds.)

Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures (Dagstuhl Seminar 14292)
[PDF Icon for download
(1,102 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 62-79, doi: 10.4230/DagRep.4.7.62
Marc Dacier, Frank Kargl, Hartmut König, and Alfonso Valdes (Eds.)

Computational Humanities - bridging the gap between Computer Science and Digital Humanities (Dagstuhl Seminar 14301)
[PDF Icon for download
(1,088 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 80-111, doi: 10.4230/DagRep.4.7.80
Chris Biemann, Gregory R. Crane, Christiane D. Fellbaum, and Alexander Mehler (Eds.)

Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar 14302)
[PDF Icon for download
(875 KB)
Dagstuhl Reports, Volume 4, Issue 7, pp. 112-134, doi: 10.4230/DagRep.4.7.112
Tal Hassner, Robert Sablatnig, Dominique Stutzmann, and Ségolène Tarte (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (5,481 KB)