ISSN 2192-5283



Volume 9 (2019)

Issue 6
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,875 KB)
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

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

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,324 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,737 KB)
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

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

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,858 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,344 KB)
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

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

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, Table of Contents, Volume 8, Issue 8, 2018
[PDF Icon for download
(197 KB)
Dagstuhl Reports, Volume 8, Issue 8, pp. i-ii, doi: 10.4230/DagRep.8.8.i

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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 18341)
[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, 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

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.0

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 18282)
[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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

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.0

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, 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

Dagstuhl Reports, Volume 6, Issue 1, January 2016, Complete Issue