ISSN 2192-5283



Volume 9 (2019)

Issue 8
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
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
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
[PDF Icon for download
(10,917 KB)
Dagstuhl Reports, Volume 6, Issue 1, pp. 0-0, doi: 10.4230/DagRep.6.1.0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)
Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. i-ii, doi: 10.4230/DagRep.4.6.i

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

Scientific Visualization (Dagstuhl Seminar 14231)
[PDF Icon for download
(741 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 1-28, doi: 10.4230/DagRep.4.6.1
Min Chen, Charles D. Hansen, Penny Rheingans, and Gerik Scheuermann (Eds.)

Design and Synthesis from Components (Dagstuhl Seminar 14232)
[PDF Icon for download
(1,137 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 29-47, doi: 10.4230/DagRep.4.6.29
Jakob Rehof, and Moshe Y. Vardi (Eds.)

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)
[PDF Icon for download
(716 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 48-63, doi: 10.4230/DagRep.4.6.48
Roberto Giacobazzi, Axel Simon, and Sarah Zennou (Eds.)

Software Development Analytics (Dagstuhl Seminar 14261)
[PDF Icon for download
(798 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 64-83, doi: 10.4230/DagRep.4.6.64
Harald Gall, Tim Menzies, Laurie Williams, and Thomas Zimmermann (Eds.)

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)
[PDF Icon for download
(1,632 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 84-107, doi: 10.4230/DagRep.4.6.84
Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, and Peter Thiemann (Eds.)

Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272)
[PDF Icon for download
(683 KB)
Dagstuhl Reports, Volume 4, Issue 6, pp. 108-123, doi: 10.4230/DagRep.4.6.108
m. c. schraefel, and Elizabeth F. Churchill (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (3,611 KB)
Dagstuhl Reports, Table of Contents, Volume 4, Issue 5, 2014
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. i-ii, doi: 10.4230/DagRep.4.5.i

Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue
[PDF Icon for download
(3,611 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. 0-0, doi: 10.4230/DagRep.4.5.0

Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)
[PDF Icon for download
(890 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. 1-26, doi: 10.4230/DagRep.4.5.1
Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, and György Turán (Eds.)

JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202)
[PDF Icon for download
(876 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. 27-39, doi: 10.4230/DagRep.4.5.27
Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik (Eds.)

The Future of Refactoring (Dagstuhl Seminar 14211)
[PDF Icon for download
(817 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. 40-67, doi: 10.4230/DagRep.4.5.40
Danny Dig, William G. Griswold, Emerson Murphy-Hill, and Max Schäfer (Eds.)

Geometric Modeling (Dagstuhl Seminar 14221)
[PDF Icon for download
(1,076 KB)
Dagstuhl Reports, Volume 4, Issue 5, pp. 68-94, doi: 10.4230/DagRep.4.5.68
Falai Chen, Tor Dokken, Thomas A. Grandine, and Stefanie Hahmann (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (3,911 KB)
Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. i-ii, doi: 10.4230/DagRep.4.4.i

Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue
[PDF Icon for download
(3,911 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. 0-0, doi: 10.4230/DagRep.4.4.0

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
[PDF Icon for download
(1,148 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. 1-19, doi: 10.4230/DagRep.4.4.1
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan (Eds.)

Unifying Product and Software Configuration (Dagstuhl Seminar 14172)
[PDF Icon for download
(851 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. 20-35, doi: 10.4230/DagRep.4.4.20
Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö (Eds.)

Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181)
[PDF Icon for download
(991 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. 37-48, doi: 10.4230/DagRep.4.4.37
Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, and Rainer Unland (Eds.)

Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)
[PDF Icon for download
(977 KB)
Dagstuhl Reports, Volume 4, Issue 4, pp. 49-63, doi: 10.4230/DagRep.4.4.49
Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel (Eds.)

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

Dagstuhl Reports, Volume 4, Issue 3, March 2014, Complete Issue
[PDF Icon for download
(8,616 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 0-0, doi: 10.4230/DagRep.4.3.0

Preference Learning (Dagstuhl Seminar 14101)
[PDF Icon for download
(1,070 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 1-27, doi: 10.4230/DagRep.4.3.1
Johannes Fürnkranz, Eyke Hüllermeier ans Cynthia Rudin ans Roman Slowinski, and Scott Sanner (Eds.)

Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111)
[PDF Icon for download
(1,035 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 28-46, doi: 10.4230/DagRep.4.3.28
Maxime Crochemore, James Currie, Gregory Kucherov, and Dirk Nowotka (Eds.)

Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)