ISSN 2192-5283



Volume 6 (2016)

Issue 2
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-0, 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-1377, 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)
[PDF Icon for download
(742 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 47-61, doi: 10.4230/DagRep.4.3.47
Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, and Martin Wirsing (Eds.)

Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)
[PDF Icon for download
(919 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 62-84, doi: 10.4230/DagRep.4.3.62
Anna Gal, Michal Koucky, Oded Regev, and Rüdiger Reischuk (Eds.)

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)
[PDF Icon for download
(737 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 85-102, doi: 10.4230/DagRep.4.3.85
Rupak Majumdar, Richard M. Murray, and Pavithra Prabhakar (Eds.)

Computational Models of Cultural Behavior for Human-Agent Interaction (Dagstuhl Seminar 14131)
[PDF Icon for download
(1,619 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 103-137, doi: 10.4230/DagRep.4.3.103
Elisabeth André, Ruth Aylett, Gert Jan Hofstede, and Ana Paiva (Eds.)

Interaction and Collective Movement Processing (Dagstuhl Seminar 14132)
[PDF Icon for download
(743 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 138-152, doi: 10.4230/DagRep.4.3.138
Maike Buchin, Luca Giuggioli, Marc van Kreveld, and Guy Theraulaz (Eds.)

Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)
[PDF Icon for download
(971 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 153-180, doi: 10.4230/DagRep.4.3.153
Javier Esparza, Alain Finkel, Pierre McKenzie, and Joel Ouaknine (Eds.)

Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)
[PDF Icon for download
(1,176 KB)
Dagstuhl Reports, Volume 4, Issue 3, pp. 181-201, doi: 10.4230/DagRep.4.3.181
Aldo Gangemi, Verena V. Hafner, Werner Kuhn, Simon Scheider, and Luc Steels (Eds.)

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

Dagstuhl Reports, Volume 4, Issue 2, February 2014, Complete Issue
[PDF Icon for download
(7,236 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 0-0, doi: 10.4230/DagRep.4.2.0

Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)
[PDF Icon for download
(716 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 1-16, doi: 10.4230/DagRep.4.2.1
Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, and Hans Uszkoreit (Eds.)

The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
[PDF Icon for download
(813 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 17-37, doi: 10.4230/DagRep.4.2.17
Dominique Méry, Bernhard Schätz, and Alan Wassyng (Eds.)

Graph Modification Problems (Dagstuhl Seminar 14071)
[PDF Icon for download
(925 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 38-59, doi: 10.4230/DagRep.4.2.38
Hans L. Bodlaender, Pinar Heggernes, and Daniel Lokshtanov (Eds.)

New Perspectives in Shape Analysis (Dagstuhl Seminar 14072)
[PDF Icon for download
(758 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 60-78, doi: 10.4230/DagRep.4.2.60
Michael Breuß, Alfred M. Bruckstein, Petros Maragos, and Stefanie Wuhrer (Eds.)

Robots Learning from Experiences (Dagstuhl Seminar 14081)
[PDF Icon for download
(851 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 79-109, doi: 10.4230/DagRep.4.2.79
Anthony G. Cohn, Bernd Neumann, Alessandro Saffiotti, and Markus Vincze (Eds.)

Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082)
[PDF Icon for download
(1,122 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 110-128, doi: 10.4230/DagRep.4.2.110
Bernhard Burgeth, Ingrid Hotz, Anna Vilanova Bartroli, and Carl-Fredrik Westin (Eds.)

Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 14091)
[PDF Icon for download
(1,084 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 129-149, doi: 10.4230/DagRep.4.2.129
Alejandro López-Ortiz, Ulrich Carsten Meyer, and Robert Sedgewick (Eds.)

Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092)
[PDF Icon for download
(1,338 KB)
Dagstuhl Reports, Volume 4, Issue 2, pp. 150-190, doi: 10.4230/DagRep.4.2.150
Glenn S. Dardick, Barbara Endicott-Popovsky, Pavel Gladyshev, Thomas Kemmerich, and Carsten Rudolph (Eds.)

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

Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue
[PDF Icon for download
(10,239 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 0-0, doi: 10.4230/DagRep.4.1.0

Symmetric Cryptography (Dagstuhl Seminar 14021)
[PDF Icon for download
(1,079 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 1-16, doi: 10.4230/DagRep.4.1.1
Frederik Armknecht, Helena Handschuh, Tetsu Iwata, and Bart Preneel (Eds.)

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)
[PDF Icon for download
(754 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 17-35, doi: 10.4230/DagRep.4.1.17
Peer-Timo Bremer, Bernd Mohr, Valerio Pascucci, and Martin Schulz (Eds.)

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)
[PDF Icon for download
(1,070 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 36-82, doi: 10.4230/DagRep.4.1.36
Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders (Eds.)

Planning with epistemic goals (Dagstuhl Seminar 14032)
[PDF Icon for download
(825 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 83-103, doi: 10.4230/DagRep.4.1.83
Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel (Eds.)

Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)
[PDF Icon for download
(764 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 104-124, doi: 10.4230/DagRep.4.1.104
Manfred Droste, Paul Gastin, Kin Gulstran Larsen, and Axel Legay (Eds.)

Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042)
[PDF Icon for download
(4,679 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 125-151, doi: 10.4230/DagRep.4.1.125
Panayotis Antoniadis, Jörg Ott, and Andrea Passarella (Eds.)

Algorithms for Wireless Communication (Dagstuhl Seminar 14051)
[PDF Icon for download
(743 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 152-169, doi: 10.4230/DagRep.4.1.152
Guy Even, Magnus, M. Halldorsson, Yvonne Anne Pignolet, and Christian Scheideler (Eds.)

Ethics in Data Sharing (Dagstuhl Seminar 14052)
[PDF Icon for download
(670 KB)
Dagstuhl Reports, Volume 4, Issue 1, pp. 170-183, doi: 10.4230/DagRep.4.1.170
Julie E. Cohen, Sven Dietrich, Aiko Pras, Lenore D. Zuck, and Mireille Hildebrand (Eds.)

Volume 3 (2013)

Issue 12 Complete Issue: [PDF Icon for download (5,442 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 12, 2013
[PDF Icon for download
(188 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. i-ii, doi: 10.4230/DagRep.3.12.i

Dagstuhl Reports, Volume 3, Issue 12, December 2013, Complete Issue
[PDF Icon for download
(5,442 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 0-0, doi: 10.4230/DagRep.3.12.0

Computational Mass Spectrometry (Dagstuhl Seminar 13491)
[PDF Icon for download
(1,929 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 1-16, doi: 10.4230/DagRep.3.12.1
Ruedi Aebersold, Oliver Kohlbacher, and Olga Vitek (Eds.)

Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)
[PDF Icon for download
(879 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 17-42, doi: 10.4230/DagRep.3.12.17
Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester (Eds.)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
[PDF Icon for download
(1,251 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 43-66, doi: 10.4230/DagRep.3.12.43
Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid (Eds.)

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)
[PDF Icon for download
(776 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 67-96, doi: 10.4230/DagRep.3.12.67
Rogerio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese (Eds.)

Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512)
[PDF Icon for download
(772 KB)
Dagstuhl Reports, Volume 3, Issue 12, pp. 97-124, doi: 10.4230/DagRep.3.12.97
Glenn Geers, Monika Sester, Stephan Winter, and Ouri E. Wolfson (Eds.)

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

Dagstuhl Reports, Volume 3, Issue 11, November 2013, Complete Issue
[PDF Icon for download
(7,284 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 0-0, doi: 10.4230/DagRep.3.11.0

Computational Audio Analysis (Dagstuhl Seminar 13451)
[PDF Icon for download
(802 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 1-28, doi: 10.4230/DagRep.3.11.1
Meinard Müller, Shrikanth S. Narayanan, and Björn Schuller (Eds.)

Proxemics in Human-Computer Interaction (Dagstuhl Seminar 13452)
[PDF Icon for download
(854 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 29-57, doi: 10.4230/DagRep.3.11.29
Saul Greenberg, Kasper Hornbaek, Aaron Quigley, Harald Reiterer, and Roman Rädle (Eds.)

Electronic Markets and Auctions (Dagstuhl Seminar 13461)
[PDF Icon for download
(1,145 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 58-78, doi: 10.4230/DagRep.3.11.58
Yishay Mansour, Benny Moldovanu, Noam Nisan, and Berthold Vöcking (Eds.)

Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462)
[PDF Icon for download
(822 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 79-116, doi: 10.4230/DagRep.3.11.79
Hans Kamp, Alessandro Lenci, and James Pustejovsky (Eds.)

Synchronous Programming (Dagstuhl Seminar 13471)
[PDF Icon for download
(870 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 117-143, doi: 10.4230/DagRep.3.11.117
Stephen A. Edwards, Alain Girault, and Klaus Schneider (Eds.)

Global Measurement Framework (Dagstuhl Seminar 13472)
[PDF Icon for download
(669 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 144-153, doi: 10.4230/DagRep.3.11.144
Philip Eardley, Marco Mellia, Jörg Ott, Jürgen Schönwälder, and Henning Schulzrinne (Eds.)

Unleashing Operational Process Mining (Dagstuhl Seminar 13481)
[PDF Icon for download
(1,758 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 154-192, doi: 10.4230/DagRep.3.11.154
Rafael Accorsi, Ernesto Damiani, and Wil van der Aalst (Eds.)

Forensic Computing (Dagstuhl Seminar 13482)
[PDF Icon for download
(669 KB)
Dagstuhl Reports, Volume 3, Issue 11, pp. 193-208, doi: 10.4230/DagRep.3.11.193
Felix C. Freiling, Gerrit Hornung, and Radim Polcák (Eds.)

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

Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue
[PDF Icon for download
(5,218 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 0-0, doi: 10.4230/DagRep.3.10.0

Deduction and Arithmetic (Dagstuhl Seminar 13411)
[PDF Icon for download
(1,123 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 1-24, doi: 10.4230/DagRep.3.10.1
Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach (Eds.)

Genomic Privacy (Dagstuhl Seminar 13412)
[PDF Icon for download
(922 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 25-35, doi: 10.4230/DagRep.3.10.25
Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik (Eds.)

Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)
[PDF Icon for download
(902 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 36-57, doi: 10.4230/DagRep.3.10.36
Glencora Borradaile, Philip Klein, Dániel Marx, and Claire Mathieu (Eds.)

Nominal Computation Theory (Dagstuhl Seminar 13422)
[PDF Icon for download
(739 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 58-71, doi: 10.4230/DagRep.3.10.58
Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, and Andrew M. Pitts (Eds.)

Real-World Visual Computing (Dagstuhl Seminar 13431)
[PDF Icon for download
(974 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 72-91, doi: 10.4230/DagRep.3.10.72
Oliver Grau, Marcus A. Magnor, Olga Sorkine-Hornung, and Christian Theobalt (Eds.)

Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441)
[PDF Icon for download
(823 KB)
Dagstuhl Reports, Volume 3, Issue 10, pp. 92-126, doi: 10.4230/DagRep.3.10.92
Maristella Agosti, Norbert Fuhr, Elaine Toms, and Pertti Vakkari (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (11,209 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 09, 2013
[PDF Icon for download
(194 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. i-ii, doi: 10.4230/DagRep.3.9.i

Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue
[PDF Icon for download
(11,209 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 0-0, doi: 10.4230/DagRep.3.9.0

Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361)
[PDF Icon for download
(1,955 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 1-33, doi: 10.4230/DagRep.3.9.1
Tobias Hoßfeld, Phuoc Tran-Gia, and Maja Vukovic (Eds.)

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362)
[PDF Icon for download
(1,525 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 34-58, doi: 10.4230/DagRep.3.9.34
Michael N. Huhns, Wei Li, and Wei-Tek Tsai (Eds.)

Quantum Cryptanalysis (Dagstuhl Seminar 13371)
[PDF Icon for download
(751 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 59-73, doi: 10.4230/DagRep.3.9.59
Serge Fehr, Michele Mosca, Martin Rötteler, and Rainer Steinwandt (Eds.)

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
[PDF Icon for download
(990 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 74-105, doi: 10.4230/DagRep.3.9.74
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene (Eds.)

Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381)
[PDF Icon for download
(1,121 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 106-129, doi: 10.4230/DagRep.3.9.106
Henri Casanova, Yves Robert, and Uwe Schwiegelshohn (Eds.)

Collaboration and learning through live coding (Dagstuhl Seminar 13382)
[PDF Icon for download
(1,328 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 130-168, doi: 10.4230/DagRep.3.9.130
Alan Blackwell, Alex McLean, James Noble, and Julian Rohrhuber (Eds.)

Algorithm Engineering (Dagstuhl Seminar 13391)
[PDF Icon for download
(1,144 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 169-189, doi: 10.4230/DagRep.3.9.169
Andrew V. Goldberg, Giuseppe F. Italiano, David S. Johnson, and Dorothea Wagner (Eds.)

Inter-Vehicular Communication -- Quo Vadis (Dagstuhl Seminar 13392)
[PDF Icon for download
(712 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 190-213, doi: 10.4230/DagRep.3.9.190
Onur Altintas, Falko Dressler, Hannes Hartenstein, and Ozan K. Tonguz (Eds.)

Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)
[PDF Icon for download
(854 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 214-244, doi: 10.4230/DagRep.3.9.214
Siegfried Benkner, Franz Franchetti, Hans Michael Gerndt, and Jeffrey K. Hollingsworth (Eds.)

Physical-Cyber-Social Computing (Dagstuhl Reports 13402)
[PDF Icon for download
(1,249 KB)
Dagstuhl Reports, Volume 3, Issue 9, pp. 245-263, doi: 10.4230/DagRep.3.9.245
Amit P. Sheth, Payam Barnaghi, Markus Strohmaier, Ramesh Jain, and Steffen Staab (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (14,704 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 08, 2013
[PDF Icon for download
(191 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. i-ii, doi: 10.4230/DagRep.3.8.i

Dagstuhl Reports, Volume 3, Issue 08, August 2013, Complete Issue
[PDF Icon for download
(14,704 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 0-0, doi: 10.4230/DagRep.3.8.0

Reinforcement Learning (Dagstuhl Seminar 13321)
[PDF Icon for download
(1,302 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 1-26, doi: 10.4230/DagRep.3.8.1
Peter Auer, Marcus Hutter, and Laurent Orseau (Eds.)

The Critical Internet Infrastructure (Dagstuhl Seminar 13322)
[PDF Icon for download
(1,278 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 27-39, doi: 10.4230/DagRep.3.8.27
Georg Carle, Jochen Schiller, Steve Uhling, Walter Willinger, and Matthias Wählisch (Eds.)

Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331)
[PDF Icon for download
(1,365 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 40-72, doi: 10.4230/DagRep.3.8.40
Thore Husfeldt, Ramamohan Paturi, Gregory B. Sorkin, and Ryan Williams (Eds.)

Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)
[PDF Icon for download
(1,419 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 73-86, doi: 10.4230/DagRep.3.8.73
Rafael Accorsi, Jason Crampton, Michael Huth, and Stefanie Rinderle-Ma (Eds.)

ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342)
[PDF Icon for download
(3,210 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 87-135, doi: 10.4230/DagRep.3.8.87
Jonas Almeida, Andreas Dress, Titus Kühne, and Laxmi Parida (Eds.)

Coding Theory (Dagstuhl Seminar 13351)
[PDF Icon for download
(750 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 136-150, doi: 10.4230/DagRep.3.8.136
Hans-Andrea Loeliger, Emina Soljanin, and Judy Walker (Eds.)

Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352)
[PDF Icon for download
(5,705 KB)
Dagstuhl Reports, Volume 3, Issue 8, pp. 151-167, doi: 10.4230/DagRep.3.8.151
David S. Ebert, Brian D. Fisher, and Petra Isenberg (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (3,555 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 07, 2013
[PDF Icon for download
(189 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. i-ii, doi: 10.4230/DagRep.3.7.i

Dagstuhl Reports, Volume 3, Issue 07, July 2013, Complete Issue
[PDF Icon for download
(3,555 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. 0-0, doi: 10.4230/DagRep.3.7.0

Theory of Evolutionary Algorithms (Dagstuhl Seminar 13271)
[PDF Icon for download
(1,076 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. 1-28, doi: 10.4230/DagRep.3.7.1
Benjamin Doerr, Nikolaus Hansen, Jonathan L. Shapiro, and L. Darrell Whitley (Eds.)

Computer Science in High Performance Sport - Applications and Implications for Professional Coaching (Dagstuhl Seminar 13272)
[PDF Icon for download
(761 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. 29-53, doi: 10.4230/DagRep.3.7.29
Koen A.P.M. Lemmink, Stuart Morgan, Jaime Sampaio, and Dietmar Saupe (Eds.)

Duality in Computer Science (Dagstuhl Seminar 13311)
[PDF Icon for download
(828 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. 54-73, doi: 10.4230/DagRep.3.7.54
Mai Gehrke, Jean-Eric Pin, Victor Selivanov, and Dieter Spreen (Eds.)

'My Life, Shared' - Trust and Privacy in the Age of Ubiquitous Experience Sharing (Dagstuhl Seminar 13312)
[PDF Icon for download
(991 KB)
Dagstuhl Reports, Volume 3, Issue 7, pp. 74-107, doi: 10.4230/DagRep.3.7.74
Alessandro Acquisti, Ioannis Krontiris, Marc Langheinrich, and Martina Angela Sasse (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (4,200 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 06, 2013
[PDF Icon for download
(189 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. i-ii, doi: 10.4230/DagRep.3.6.i

Dagstuhl Reports, Volume 3, Issue 06, June 2013, Complete Issue
[PDF Icon for download
(4,200 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 0-0, doi: 10.4230/DagRep.3.6.0

Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)
[PDF Icon for download
(775 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 1-21, doi: 10.4230/DagRep.3.6.1
Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, and Guillermo R. Simari (Eds.)

Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232)
[PDF Icon for download
(785 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 22-37, doi: 10.4230/DagRep.3.6.22
Sebastian Maneth,, and Gonzalo Navarro (Eds.)

Virtual Realities (Dagstuhl Seminar 13241)
[PDF Icon for download
(847 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 38-66, doi: 10.4230/DagRep.3.6.38
Guido Brunnett, Sabine Coquillart, Robert van Liere, and Gregory F. Welch (Eds.)

Parallel Data Analysis (Dagstuhl Seminar 13251)
[PDF Icon for download
(778 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 67-82, doi: 10.4230/DagRep.3.6.67
Artur Andrzejak, Joachim Giesen, Raghu Ramakrishnan, and Ion Stoica (Eds.)

Interoperation in Complex Information Ecosystems (Dagstuhl Seminar 13252)
[PDF Icon for download
(1,146 KB)
Dagstuhl Reports, Volume 3, Issue 6, pp. 83-134, doi: 10.4230/DagRep.3.6.83
Andreas Harth, Craig A. Knoblock, Kai-Uwe Sattler, and Rudi Studer (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (6,933 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 05, 2013
[PDF Icon for download
(187 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. i-ii, doi: 10.4230/DagRep.3.5.i

Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue
[PDF Icon for download
(6,933 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. 0-0, doi: 10.4230/DagRep.3.5.0

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)
[PDF Icon for download
(852 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. 1-18, doi: 10.4230/DagRep.3.5.1
Sebastian Maneth, and Helmut Seidl (Eds.)

Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)
[PDF Icon for download
(4,040 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. 19-42, doi: 10.4230/DagRep.3.5.19
Andreas Kerren, Helen C. Purchase, and Matthew O. Ward (Eds.)

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)
[PDF Icon for download
(841 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. 43-77, doi: 10.4230/DagRep.3.5.43
Diego Calvanese, Sven Hartmann, and Ernest Teniente (Eds.)

Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)
[PDF Icon for download
(1,255 KB)
Dagstuhl Reports, Volume 3, Issue 5, pp. 78-94, doi: 10.4230/DagRep.3.5.78
Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, and Ziv Shkedy (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (8,227 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 04, 2013
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. i-ii, doi: 10.4230/DagRep.3.4.i

Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue
[PDF Icon for download
(8,227 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 0-0, doi: 10.4230/DagRep.3.4.0

Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)
[PDF Icon for download
(780 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 1-16, doi: 10.4230/DagRep.3.4.1
Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder (Eds.)

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
[PDF Icon for download
(802 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 17-33, doi: 10.4230/DagRep.3.4.17
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen (Eds.)

Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)
[PDF Icon for download
(1,878 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 34-68, doi: 10.4230/DagRep.3.4.34
Stephen Kobourov, Martin Nöllenburg, and Monique Teillaud (Eds.)

Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161)
[PDF Icon for download
(813 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 69-90, doi: 10.4230/DagRep.3.4.69
Sergiu Hart, Éva Tardos, and Bernhard von Stengel (Eds.)

Pointer Analysis (Dagstuhl Seminar 13162)
[PDF Icon for download
(873 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 91-113, doi: 10.4230/DagRep.3.4.91
Ondrej Lhotak, Yannis Smaragdakis, and Manu Sridharan (Eds.)

Customizing Service Platforms (Dagstuhl Seminar 13171)
[PDF Icon for download
(1,118 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 114-150, doi: 10.4230/DagRep.3.4.114
Luciano Baresi, Andreas Rummler, and Klaus Schmid (Eds.)

VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
[PDF Icon for download
(1,047 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 151-187, doi: 10.4230/DagRep.3.4.151
Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff (Eds.)

Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
[PDF Icon for download
(1,388 KB)
Dagstuhl Reports, Volume 3, Issue 4, pp. 188-226, doi: 10.4230/DagRep.3.4.188
Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (4,511 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 03, 2013
[PDF Icon for download
(187 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. i-ii, doi: 10.4230/DagRep.3.3.i

Dagstuhl Reports, Volume 3, Issue 03, March 2013, Complete Issue
[PDF Icon for download
(4,511 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. 0-0, doi: 10.4230/DagRep.3.3.0

Computational Geometry (Dagstuhl Seminar 13101)
[PDF Icon for download
(927 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. 1-23, doi: 10.4230/DagRep.3.3.1
Otfried Cheong, Kurt Mehlhorn, and Monique Teillaud (Eds.)

Scheduling (Dagstuhl Seminar 13111)
[PDF Icon for download
(1,349 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. 24-50, doi: 10.4230/DagRep.3.3.24
Susanne Albers, Onno J. Boxma, and Kirk Pruhs (Eds.)

Bidimensional Structures: Algorithms, Combinatorics and Logic (Dagstuhl Seminar 13121)
[PDF Icon for download
(1,404 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. 51-74, doi: 10.4230/DagRep.3.3.51
Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi, and Dimitrios M. Thilikos (Eds.)

Future Internet (Dagstuhl Seminar 13131)
[PDF Icon for download
(856 KB)
Dagstuhl Reports, Volume 3, Issue 3, pp. 75-99, doi: 10.4230/DagRep.3.3.75
Jon Crowcroft, Markus Fidler, Klara Nahrstedt, and Ralf Steinmetz (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (7,009 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013
[PDF Icon for download
(192 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. i-ii, doi: 10.4230/DagRep.3.2.i

Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue
[PDF Icon for download
(7,009 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 0-0, doi: 10.4230/DagRep.3.2.0

Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)
[PDF Icon for download
(1,598 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 1-21, doi: 10.4230/DagRep.3.2.1
Mary Jean Harrold, Friedrich Steimann, Frank Tip, and Andreas Zeller (Eds.)

Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062)
[PDF Icon for download
(770 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 22-44, doi: 10.4230/DagRep.3.2.22
Sonja Buchegger, Jon Crowcroft, Balachander Krishnamurthy, and Thorsten Strufe (Eds.)

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)
[PDF Icon for download
(1,460 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 45-54, doi: 10.4230/DagRep.3.2.45
Samson Abramsky, Juha Kontinen, Jouko Vaananen, and Heribert Vollmer (Eds.)

Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072)
[PDF Icon for download
(762 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 55-91, doi: 10.4230/DagRep.3.2.55
Jacqueline Fagard, Roderic A. Grupen, Frank Guerin, and Norbert Krüger (Eds.)

Consistency in Distributed Systems (Dagstuhl Seminar 13081)
[PDF Icon for download
(949 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 92-126, doi: 10.4230/DagRep.3.2.92
Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, and Kapil Vaswani (Eds.)

Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082)
[PDF Icon for download
(812 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 127-143, doi: 10.4230/DagRep.3.2.127
LeRoy B. Beasley, Hartmut Klauck, Troy Lee, and Dirk Oliver Theis (Eds.)

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
[PDF Icon for download
(938 KB)
Dagstuhl Reports, Volume 3, Issue 2, pp. 144-170, doi: 10.4230/DagRep.3.2.144
Paulo Borba, Myra B. Cohen, Axel Legay, and Andrzej Wasowski (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (5,222 KB)
Dagstuhl Reports, Table of Contents, Volume 3, Issue 1, 2013
[PDF Icon for download
(190 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. i-ii, doi: 10.4230/DagRep.3.1.i

Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue
[PDF Icon for download
(5,222 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 0-0, doi: 10.4230/DagRep.3.1.0

Symbolic Methods in Testing (Dagstuhl Seminar 13021)
[PDF Icon for download
(824 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 1-29, doi: 10.4230/DagRep.3.1.1
Thierry Jéron, Margus Veanes, and Burkhart Wolff (Eds.)

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)
[PDF Icon for download
(679 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 30-46, doi: 10.4230/DagRep.3.1.30
Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna (Eds.)

Computational Counting (Dagstuhl Seminar 13031)
[PDF Icon for download
(758 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 47-66, doi: 10.4230/DagRep.3.1.47
Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum, and Pascal Koiran (Eds.)

Civilian Crisis Response Models (Dagstuhl Seminar 13041)
[PDF Icon for download
(790 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 67-93, doi: 10.4230/DagRep.3.1.67
Bernhard Katzy, and Ulrike Lechner (Eds.)

Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042)
[PDF Icon for download
(798 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 94-110, doi: 10.4230/DagRep.3.1.94
Benjamin Doerr, Robert Elsässer, and Pierre Fraigniaud (Eds.)

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)
[PDF Icon for download
(835 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 111-148, doi: 10.4230/DagRep.3.1.111
Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford (Eds.)

Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
[PDF Icon for download
(823 KB)
Dagstuhl Reports, Volume 3, Issue 1, pp. 149-182, doi: 10.4230/DagRep.3.1.149
Andreas Herkersdorf, and Michael Paulitsch (Eds.)

Volume 2 (2012)

Issue 12 Complete Issue: [PDF Icon for download (6,510 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 12, 2012
[PDF Icon for download
(155 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. i-ii, doi: 10.4230/DagRep.2.12.i

Dagstuhl Reports, Volume 2, Issue 12, December 2012, Complete Issue
[PDF Icon for download
(6,510 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 0-0, doi: 10.4230/DagRep.2.12.0

Interpreting Observed Action (Dagstuhl Seminar 12491)
[PDF Icon for download
(750 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 1-16, doi: 10.4230/DagRep.2.12.1
Susanne Biundo-Stephan, Hans Werner Guesgen, Joachim Hertzberg, and Stephen R. Marsland (Eds.)

Human Activity Recognition in Smart Environments (Dagstuhl Seminar 12492)
[PDF Icon for download
(3,054 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 17-36, doi: 10.4230/DagRep.2.12.17
James L. Crowley, Kai Kunze, Paul Lukowicz, and Albrecht Schmidt (Eds.)

Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501)
[PDF Icon for download
(665 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 37-48, doi: 10.4230/DagRep.2.12.37
Lizzie Coles-Kemp, Carrie Gates, Dieter Gollmann, Sean Peisert, and Christian Probst (Eds.)

Securing Critical Infrastructures from Targeted Attacks (Dagstuhl Seminar 12502)
[PDF Icon for download
(697 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 49-63, doi: 10.4230/DagRep.2.12.49
Marc Dacier, Frank Kargl, and Alfonso Valdes (Eds.)

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)
[PDF Icon for download
(692 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 64-88, doi: 10.4230/DagRep.2.12.64
Marieke Huisman, Barbara Jobstmann, Ina Schaefer, and Marielle Stoelinga (Eds.)

Representation, Analysis and Visualization of Moving Objects (Dagstuhl Seminar 12512)
[PDF Icon for download
(777 KB)
Dagstuhl Reports, Volume 2, Issue 12, pp. 89-106, doi: 10.4230/DagRep.2.12.89
Joachim Gudmunsson, Patrick Laube, and Emiel Van Loon (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (7,323 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 11, 2012
[PDF Icon for download
(157 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. i-ii, doi: 10.4230/DagRep.2.11.i

Dagstuhl Reports, Volume 2, Issue 11, November 2012, Complete Issue
[PDF Icon for download
(7,323 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 0-0, doi: 10.4230/DagRep.2.11.0

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451)
[PDF Icon for download
(839 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 1-19, doi: 10.4230/DagRep.2.11.1
Johan Hastad, Andrei Krokhin, and Dániel Marx (Eds.)

Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452)
[PDF Icon for download
(1,552 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 20-44, doi: 10.4230/DagRep.2.11.20
Kurt Mehlhorn, Moshe Y. Vardi, and Marc Herbstritt (Eds.)

Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)
[PDF Icon for download
(723 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 45-65, doi: 10.4230/DagRep.2.11.45
Nikolaj Bjorner, Krishnendu Chatterjee, Laura Kovacs, and Rupak M. Majumdar (Eds.)

Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)
[PDF Icon for download
(779 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 66-86, doi: 10.4230/DagRep.2.11.66
Francois Boulier, Anne J. Shiu, Thomas Sturm, and Andreas Weber (Eds.)

SAT Interactions (Dagstuhl Seminar 12471)
[PDF Icon for download
(1,394 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 87-101, doi: 10.4230/DagRep.2.11.87
Nadia Creignou, Nicola Galesi, Oliver Kullmann, and Heribert Vollmer (Eds.)

Is the Future of Preservation Cloudy? (Dagstuhl Seminar 12472)
[PDF Icon for download
(782 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 102-134, doi: 10.4230/DagRep.2.11.102
Erik Elmroth, Michael Factor, Ethan Miller, and Margo Seltzer (Eds.)

Quantitative Security Analysis (Dagstuhl Seminar 12481)
[PDF Icon for download
(830 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 135-154, doi: 10.4230/DagRep.2.11.135
Boris Köpf, Pasquale Malacaria, and Catuscia Palamidessi (Eds.)

Analysis of Security APIs (Dagstuhl Seminar 12482)
[PDF Icon for download
(697 KB)
Dagstuhl Reports, Volume 2, Issue 11, pp. 155-168, doi: 10.4230/DagRep.2.11.155
Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (5,377 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012
[PDF Icon for download
(155 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. i-ii, doi: 10.4230/DagRep.2.10.i

Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue
[PDF Icon for download
(5,377 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 0-0, doi: 10.4230/DagRep.2.10.0

Web Application Security (Dagstuhl Seminar 12401)
[PDF Icon for download
(948 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 1-37, doi: 10.4230/DagRep.2.10.1
Lieven Desmet, Martin Johns, Benjamin Livshits, and Andrei Sabelfeld (Eds.)

Coalgebraic Logics (Dagstuhl Seminar 12411)
[PDF Icon for download
(846 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 38-59, doi: 10.4230/DagRep.2.10.38
Ernst-Erich Doberkat, and Alexander Kurz (Eds.)

Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421)
[PDF Icon for download
(1,299 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 60-78, doi: 10.4230/DagRep.2.10.60
Manindra Agrawal, Thomas Thierauf, and Christopher Umans (Eds.)

Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431)
[PDF Icon for download
(804 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 79-104, doi: 10.4230/DagRep.2.10.79
James Davis, Bernd Jähne, Andreas Kolb, Ramesh Raskar, and Christian Theobalt (Eds.)

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
[PDF Icon for download
(714 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 105-116, doi: 10.4230/DagRep.2.10.105
James Delgrande, Thomas Meyer, and Ulrike Sattler (Eds.)

Requirements Management – Novel Perspectives and Challenges (Dagstuhl Seminar 12442)
[PDF Icon for download
(827 KB)
Dagstuhl Reports, Volume 2, Issue 10, pp. 117-152, doi: 10.4230/DagRep.2.10.117
Jane Cleland-Huang, Matthias Jarke, Lin Liu, and Kalle Lyytinen (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (13,851 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 9, 2012
[PDF Icon for download
(158 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. i-ii, doi: 10.4230/DagRep.2.9.i

Dagstuhl Reports, Volume 2, Issue 9, September 2012, Complete Issue
[PDF Icon for download
(13,851 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 0-0, doi: 10.4230/DagRep.2.9.0

Information-centric networking -- Ready for the real world? (Dagstuhl Seminar 12361)
[PDF Icon for download
(737 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 1-14, doi: 10.4230/DagRep.2.9.1
Ali Ghodsi, Börje Ohlman, Jörg Ott, Ignacio Solis, and Matthias Wählisch (Eds.)

The Multilingual Semantic Web (Dagstuhl Seminar 12362)
[PDF Icon for download
(2,982 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 15-94, doi: 10.4230/DagRep.2.9.15
Paul Buitelaar, Key-Sun Choi, Philipp Cimiano, and Eduard H. Hovy (Eds.)

Software Defined Networking (Dagstuhl Seminar 12363)
[PDF Icon for download
(704 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 95-108, doi: 10.4230/DagRep.2.9.95
Pan Hui, and Teemu Koponen (Eds.)

Machine Learning Methods for Computer Security (Dagstuhl Perspectives Workshop 12371)
[PDF Icon for download
(760 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 109-130, doi: 10.4230/DagRep.2.9.109
Anthony D. Joseph, Pavel Laskov, Fabio Roli, J. Doug Tygar, and Blaine Nelson (Eds.)

Biological Data Visualization (Dagstuhl Seminar 12372)
[PDF Icon for download
(6,089 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 131-164, doi: 10.4230/DagRep.2.9.131
Carsten Görg, Lawrence Hunter, Jessie Kennedy, Sean O'Donoghue, and Jarke J. van Wijk (Eds.)

Privacy-Oriented Cryptography (Dagstuhl Seminar 12381)
[PDF Icon for download
(957 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 165-183, doi: 10.4230/DagRep.2.9.165
Jan Camenisch, Mark Manulis, Gene Tsudik, and Rebecca Wright (Eds.)

Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382)
[PDF Icon for download
(827 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 184-199, doi: 10.4230/DagRep.2.9.184
Tal Hassner, Malte Rehbein, Peter A. Stokes, and Lior Wolf (Eds.)

Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 12391)
[PDF Icon for download
(934 KB)
Dagstuhl Reports, Volume 2, Issue 9, pp. 200-225, doi: 10.4230/DagRep.2.9.200
Alexander Keller, Frances Kuo, Andreas Neuenkirch, and Joseph F. Traub (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (6,626 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012
[PDF Icon for download
(154 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. i-ii, doi: 10.4230/DagRep.2.8.i

Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue
[PDF Icon for download
(6,626 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 0-0, doi: 10.4230/DagRep.2.8.0

Robust Query Processing (Dagstuhl Seminar 12321)
[PDF Icon for download
(826 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 1-15, doi: 10.4230/DagRep.2.8.1
Goetz Graefe, Wey Guy, Harumi Anne Kuno, and Glenn Paulley (Eds.)

Mobility Data Mining and Privacy (Dagstuhl Seminar 12331)
[PDF Icon for download
(3,266 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 16-53, doi: 10.4230/DagRep.2.8.16
Christopher W. Clifton, Bart Kuijpers, Katharina Morik, and Yucel Saygin (Eds.)

Verifying Reliability (Dagstuhl Seminar 12341)
[PDF Icon for download
(1,204 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 57-73, doi: 10.4230/DagRep.2.8.57
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, and Matteo Sonza Reorda (Eds.)

Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)
[PDF Icon for download
(771 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 74-98, doi: 10.4230/DagRep.2.8.74
Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke (Eds.)

Information Flow and Its Applications (Dagstuhl Seminar 12352)
[PDF Icon for download
(698 KB)
Dagstuhl Reports, Volume 2, Issue 8, pp. 99-112, doi: 10.4230/DagRep.2.8.99
Samson Abramsky, Jean Krivine, and Michael W. Mislove (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (3,939 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012
[PDF Icon for download
(161 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. i-ii, doi: 10.4230/DagRep.2.7.i

Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue
[PDF Icon for download
(3,939 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 0-0, doi: 10.4230/DagRep.2.7.0

AI meets Formal Software Development (Dagstuhl Seminar 12271)
[PDF Icon for download
(872 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 1-29, doi: 10.4230/DagRep.2.7.1
Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore (Eds.)

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)
[PDF Icon for download
(778 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 30-55, doi: 10.4230/DagRep.2.7.30
Peter Feiler, Jérôme Hugues, and Oleg Sokolsky (Eds.)

Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
[PDF Icon for download
(780 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 56-72, doi: 10.4230/DagRep.2.7.56
Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Jorge Verissimo, and Michael Waidner (Eds.)

Database Workload Management (Dagstuhl Seminar 12282)
[PDF Icon for download
(710 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 73-91, doi: 10.4230/DagRep.2.7.73
Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno (Eds.)

Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291)
[PDF Icon for download
(856 KB)
Dagstuhl Reports, Volume 2, Issue 7, pp. 92-117, doi: 10.4230/DagRep.2.7.92
Alberto Apostolico, Andreas Dress, and Laxmi Parida (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (6,937 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 6, 2012
[PDF Icon for download
(152 KB)
Dagstuhl Reports, Volume 2, Issue 6, pp. i-ii, doi: 10.4230/DagRep.2.6.i

Dagstuhl Reports, Volume 2, Issue 6, June 2012, Complete Issue
[PDF Icon for download
(6,937 KB)
Dagstuhl Reports, Volume 2, Issue 6, pp. 0-0, doi: 10.4230/DagRep.2.6.0

Future Internet for eHealth (Dagstuhl Seminar 12231)
[PDF Icon for download
(731 KB)
Dagstuhl Reports, Volume 2, Issue 6, pp. 1-25, doi: 10.4230/DagRep.2.6.1
Katarzyna Wac, David Hausheer, Markus Fiedler, and Paolo Bonato (Eds.)

Data Reduction and Problem Kernels (Dagstuhl Seminar 12241)
[PDF Icon for download
(876 KB)
Dagstuhl Reports, Volume 2, Issue 6, pp. 26-50, doi: 10.4230/DagRep.2.6.26
Michael R. Fellows, Jiong Guo, Dániel Marx, and Saket Saurabh (Eds.)

Putting Data on the Map (Dagstuhl Seminar 12261)
[PDF Icon for download
(5,281 KB)
Dagstuhl Reports, Volume 2, Issue 6, pp. 51-76, doi: 10.4230/DagRep.2.6.51
Stephen Koubourov, Alexander Wolff, and Frank van Ham (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (4,790 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 5, 2012
[PDF Icon for download
(156 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. i-ii, doi: 10.4230/DagRep.2.5.i

Dagstuhl Reports, Volume 2, Issue 5, May 2012, Complete Issue
[PDF Icon for download
(4,790 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 0-0, doi: 10.4230/DagRep.2.5.0

Quality of Experience: From User Perception to Instrumental Metrics (Dagstuhl Seminar 12181)
[PDF Icon for download
(777 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 1-25, doi: 10.4230/DagRep.2.5.1
Markus Fiedler, Sebastian Möller, and Peter Reichl (Eds.)

Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspective (Dagstuhl Perspectives Workshop 12182)
[PDF Icon for download
(716 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 26-42, doi: 10.4230/DagRep.2.5.26
Matthias Häsel, Thorsten Quandt, and Gottfried Vossen (Eds.)

Artificial and Computational Intelligence in Games (Dagstuhl Seminar 12191)
[PDF Icon for download
(1,817 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 43-70, doi: 10.4230/DagRep.2.5.43
Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck, and Julian Togelius (Eds.)

Co-Design of Systems and Applications for Exascale (Dagstuhl Perspectives Worksop 12212)
[PDF Icon for download
(690 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 71-92, doi: 10.4230/DagRep.2.5.71
Arndt Bode, Adolfy Hoisie, Dieter Kranzlmüller, and Wolfgang E. Nagel (Eds.)

Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221)
[PDF Icon for download
(806 KB)
Dagstuhl Reports, Volume 2, Issue 5, pp. 93-116, doi: 10.4230/DagRep.2.5.93
Dedre Gentner, Frank van Harmelen, Pascal Hitzler, Krzysztof Janowicz, and Kai-Uwe Kühnberger (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (2,591 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012
[PDF Icon for download
(149 KB)
Dagstuhl Reports, Volume 2, Issue 4, pp. i-ii, doi: 10.4230/DagRep.2.4.i

Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue
[PDF Icon for download
(2,591 KB)
Dagstuhl Reports, Volume 2, Issue 4, pp. 0-0, doi: 10.4230/DagRep.2.4.0

Touching the 3rd Dimension (Dagstuhl Seminar 12151)
[PDF Icon for download
(1,010 KB)
Dagstuhl Reports, Volume 2, Issue 4, pp. 1-20, doi: 10.4230/DagRep.2.4.1
Daniel Keefe, Antonio Krüger, Frank Steinicke, and Jean-Baptiste de la Rivière (Eds.)

Software Synthesis (Dagstuhl Seminar 12152)
[PDF Icon for download
(741 KB)
Dagstuhl Reports, Volume 2, Issue 4, pp. 21-38, doi: 10.4230/DagRep.2.4.21
Ratislav Bodik, Sumit Gulwani, and Eran Yahav (Eds.)

Semantic Data Management (Dagstuhl Seminar 12171)
[PDF Icon for download
(791 KB)
Dagstuhl Reports, Volume 2, Issue 4, pp. 39-65, doi: 10.4230/DagRep.2.4.39
Grigoris Antoniou, Oscar Corcho, Karl Aberer, Elena Simperl, and Rudi Studer (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (3,354 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 3, 2012
[PDF Icon for download
(154 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. i-ii, doi: 10.4230/DagRep.2.3.i

Dagstuhl Reports, Volume 2, Issue 3, March 2012, Complete Issue
[PDF Icon for download
(3,354 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. 0-0, doi: 10.4230/DagRep.2.3.0

Computation and Incentives in Social Choice (Dagstuhl Seminar 12101)
[PDF Icon for download
(798 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. 1-22, doi: 10.4230/DagRep.2.3.1
Edith Elkind, Christian Klamler, Jeffrey S. Rosenschein, and M. Remzi Sanver (Eds.)

Normative Multi-Agent Systems (Dagstuhl Seminar 12111)
[PDF Icon for download
(810 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. 23-49, doi: 10.4230/DagRep.2.3.23
Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre (Eds.)

Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121)
[PDF Icon for download
(983 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. 50-66, doi: 10.4230/DagRep.2.3.50
Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, and Maurice Herlihy (Eds.)

Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)
[PDF Icon for download
(729 KB)
Dagstuhl Reports, Volume 2, Issue 3, pp. 67-85, doi: 10.4230/DagRep.2.3.67
Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, and Stefan Strecker (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (4,314 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 2, 2012
[PDF Icon for download
(154 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. i-ii, doi: 10.4230/DagRep.2.2.i

Dagstuhl Reports, Volume 2, Issue 2, February 2012, Complete Issue
[PDF Icon for download
(4,314 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. 0-0, doi: 10.4230/DagRep.2.2.0

Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061)
[PDF Icon for download
(786 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. 1-20, doi: 10.4230/DagRep.2.2.1
Georg Carle, Hervé Debar, Falko Dressler, and Hartmut König (Eds.)

Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071)
[PDF Icon for download
(1,627 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. 21-57, doi: 10.4230/DagRep.2.2.21
Rainer Koschke, Ira D. Baxter, Michael Conradt, and James R. Cordy (Eds.)

Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081)
[PDF Icon for download
(838 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. 58-83, doi: 10.4230/DagRep.2.2.58
Daniel A. Keim, Fabrice Rossi, Thomas Seidl, Michel Verleysen, and Stefan Wrobel (Eds.)

Principles of Provenance (Dagstuhl Seminar 12091)
[PDF Icon for download
(1,061 KB)
Dagstuhl Reports, Volume 2, Issue 2, pp. 84-113, doi: 10.4230/DagRep.2.2.84
James Cheney, Anthony Finkelstein, Bertram Ludaescher, and Stijn Vansummeren (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (6,907 KB)
Dagstuhl Reports, Table of Contents, Volume 2, Issue 1, 2012
[PDF Icon for download
(154 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. i-ii, doi: 10.4230/DagRep.2.1.i

Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue
[PDF Icon for download
(6,907 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 0-0, doi: 10.4230/DagRep.2.1.0

Foundations for Scripting Languages (Dagstuhl Seminar 12011)
[PDF Icon for download
(721 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 1-18, doi: 10.4230/DagRep.2.1.1
Robert Hirschfeld, Shriram Krishnamurthi, and Jan Vitek (Eds.)

Computability, Complexity and Randomness (Dagstuhl Seminar 12021)
[PDF Icon for download
(780 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 19-38, doi: 10.4230/DagRep.2.1.19
Veronica Becher, Laurent Bienvenu, Rodney Downey, and Elvira Mayordomo (Eds.)

Symmetric Cryptography (Dagstuhl Seminar 12031)
[PDF Icon for download
(709 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 39-49, doi: 10.4230/DagRep.2.1.39
Frederik Armknecht, Stefan Lucks, Bart Preneel, and Phillip Rogaway (Eds.)

Learning in Multiobjective Optimization (Dagstuhl Seminar 12041)
[PDF Icon for download
(4,285 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 50-99, doi: 10.4230/DagRep.2.1.50
Salvatore Greco, Joshua D. Knowles, Kaisa Miettinen, and Eckart Zitzler (Eds.)

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)
[PDF Icon for download
(516 KB)
Dagstuhl Reports, Volume 2, Issue 1, pp. 100-116, doi: 10.4230/DagRep.2.1.100
Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon (Eds.)

Volume 1 (2011)

Issue 12 Complete Issue: [PDF Icon for download (3,755 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 12, 2011
[PDF Icon for download
(152 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. i-ii, doi: 10.4230/DagRep.1.12.i

Dagstuhl Reports, Volume 1, Issue 12, December 2011, Complete Issue
[PDF Icon for download
(3,755 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 0-0, doi: 10.4230/DagRep.1.12.0

Secure Computing in the Cloud (Dagstuhl Seminar 11491)
[PDF Icon for download
(639 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 1-10, doi: 10.4230/DagRep.1.12.1
Benny Pinkas, Ahmad-Reza Sadeghi, and Nigel P. Smart (Eds.)

Secure Architectures in the Cloud (Dagstuhl Seminar 11492)
[PDF Icon for download
(752 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 11-26, doi: 10.4230/DagRep.1.12.11
Sabrina De Capitani di Vimercati, Wolter Pieters, and Christian W. Probst (Eds.)

Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 11501)
[PDF Icon for download
(942 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 27-46, doi: 10.4230/DagRep.1.12.27
Bernhard Burgeth, and Carl-Fredrik Westin (Eds.)

Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502)
[PDF Icon for download
(723 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 47-61, doi: 10.4230/DagRep.1.12.47
Kenichi Morita, and Robert Wille (Eds.)

Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 11511)
[PDF Icon for download
(750 KB)
Dagstuhl Reports, Volume 1, Issue 12, pp. 62-68, doi: 10.4230/DagRep.1.12.62
Stefan Katzenbeisser, Klaus Kursawe, Bart Preneel, and Ahmad-Reza Sadeghi (Eds.)

Issue 11 Complete Issue: [PDF Icon for download (4,067 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 11, 2011
[PDF Icon for download
(155 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. i-ii, doi: 10.4230/DagRep.1.11.i

Dagstuhl Reports, Volume 1, Issue 11, November 2011, Complete Issue
[PDF Icon for download
(4,067 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 0-0, doi: 10.4230/DagRep.1.11.0

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
[PDF Icon for download
(628 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 1-22, doi: 10.4230/DagRep.1.11.1
Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits (Eds.)

Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451)
[PDF Icon for download
(665 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 23-38, doi: 10.4230/DagRep.1.11.23
Lars Elden, and Andreas Frommer (Eds.)

Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452)
[PDF Icon for download
(635 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 39-49, doi: 10.4230/DagRep.1.11.39
Vito Latora, Cecilia Mascolo, and Mirco Musolesi (Eds.)

Coding Theory (Dagstuhl Seminar 11461)
[PDF Icon for download
(707 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 50-65, doi: 10.4230/DagRep.1.11.50
Joachim Rosenthal, M. Amin Shokrollahi, and Judy L. Walker (Eds.)

Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471)
[PDF Icon for download
(736 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 66-90, doi: 10.4230/DagRep.1.11.66
Andrés Bruhn, Thomas Pock, and Xue-Cheng Tai (Eds.)

Models@run.time (Dagstuhl Seminar 11481)
[PDF Icon for download
(791 KB)
Dagstuhl Reports, Volume 1, Issue 11, pp. 91-123, doi: 10.4230/DagRep.1.11.91
Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, and Robert B. France (Eds.)

Issue 10 Complete Issue: [PDF Icon for download (2,313 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 10, 2011
[PDF Icon for download
(151 KB)
Dagstuhl Reports, Volume 1, Issue 10, pp. i-ii, doi: 10.4230/DagRep.1.10.i

Dagstuhl Reports, Volume 1, Issue 10, October 2011, Complete Issue
[PDF Icon for download
(2,313 KB)
Dagstuhl Reports, Volume 1, Issue 10, pp. 0-0, doi: 10.4230/DagRep.1.10.0

Forensic Computing (Dagstuhl Seminar 11401)
[PDF Icon for download
(708 KB)
Dagstuhl Reports, Volume 1, Issue 10, pp. 1-13, doi: 10.4230/DagRep.1.10.1
Felix C. Freiling, Dirk Heckmann, Radim Polcák, and Joachim Posegga (Eds.)

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
[PDF Icon for download
(803 KB)
Dagstuhl Reports, Volume 1, Issue 10, pp. 14-36, doi: 10.4230/DagRep.1.10.14
Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, and Hideki Tsuiki (Eds.)

Foundations of distributed data management (Dagstuhl Seminar 11421)
[PDF Icon for download
(737 KB)
Dagstuhl Reports, Volume 1, Issue 10, pp. 37-57, doi: 10.4230/DagRep.1.10.37
Serge Abiteboul, Alin Deutsch, Thomas Schwentick, and Luc Segoufin (Eds.)

Issue 9 Complete Issue: [PDF Icon for download (3,094 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 9, 2011
[PDF Icon for download
(155 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. i-ii, doi: 10.4230/DagRep.1.9.i

Dagstuhl Reports, Volume 1, Issue 9, September 2011, Complete Issue
[PDF Icon for download
(3,094 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. 0-0, doi: 10.4230/DagRep.1.9.0

Data Warehousing: from Occasional OLAP to Real-time Business Intelligence (Dagstuhl Seminar 11361)
[PDF Icon for download
(802 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. 1-25, doi: 10.4230/DagRep.1.9.1
Markus Schneider, Gottfried Vossen, and Esteban Zimányi (Eds.)

Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)
[PDF Icon for download
(758 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. 26-57, doi: 10.4230/DagRep.1.9.26
Isaac E. Elishakoff, Vladik Kreinovich, Wolfram Luther, and Evgenija D. Popova (Eds.)

Quantum Cryptanalysis (Dagstuhl Seminar 11381)
[PDF Icon for download
(779 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. 58-75, doi: 10.4230/DagRep.1.9.58
Serge Fehr, Michele Mosca, Martin Rötteler, and Rainer Steinwandt (Eds.)

Public-Key Cryptography (Dagstuhl Seminar 11391)
[PDF Icon for download
(763 KB)
Dagstuhl Reports, Volume 1, Issue 9, pp. 76-94, doi: 10.4230/DagRep.1.9.76
Marc Fischlin, Anna Lysyanskaya, Ueli Maurer, and Alexander May (Eds.)

Issue 8 Complete Issue: [PDF Icon for download (6,477 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 8, 2011
[PDF Icon for download
(156 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. i-ii, doi: 10.4230/DagRep.1.8.i

Dagstuhl Reports, Volume 1, Issue 8, August 2011, Complete Issue
[PDF Icon for download
(6,477 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 0-0, doi: 10.4230/DagRep.1.8.0

Information Management in the Cloud (Dagstuhl Seminar 11321)
[PDF Icon for download
(1,272 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 1-28, doi: 10.4230/DagRep.1.8.1
Anastassia Ailamaki, Michael J. Carey, Donald Kossmann, Steve Loughran, and Volker Markl (Eds.)

The Future of Research Communication (Dagstuhl Perspectives Workshop 11331)
[PDF Icon for download
(1,157 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 29-52, doi: 10.4230/DagRep.1.8.29
Tim Clark, Anita De Waard, Ivan Herman, and Eduard Hovy (Eds.)

Security and Rewriting (Dagstuhl Seminar 11332)
[PDF Icon for download
(698 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 53-66, doi: 10.4230/DagRep.1.8.53
Hubert Comon-Lundh, Ralf Küsters, and Catherine Meadows (Eds.)

Learning in the context of very high dimensional data (Dagstuhl Seminar 11341)
[PDF Icon for download
(833 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 67-95, doi: 10.4230/DagRep.1.8.67
Michael Biehl, Barbara Hammer, Erzsébet Merényi, Alessandro Sperduti, and Thomas Villmann (Eds.)

Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351)
[PDF Icon for download
(2,636 KB)
Dagstuhl Reports, Volume 1, Issue 8, pp. 96-124, doi: 10.4230/DagRep.1.8.96
Iris van Rooij, Yll Haxhimusa, Zygmunt Pizlo, and Georg Gottlob (Eds.)

Issue 7 Complete Issue: [PDF Icon for download (3,101 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011
[PDF Icon for download
(154 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. i-ii, doi: 10.4230/DagRep.1.7.i

Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue
[PDF Icon for download
(3,101 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. 0-0, doi: 10.4230/DagRep.1.7.0

Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)
[PDF Icon for download
(887 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. 1-22, doi: 10.4230/DagRep.1.7.1
Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer (Eds.)

Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
[PDF Icon for download
(797 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. 23-35, doi: 10.4230/DagRep.1.7.23
Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov (Eds.)

Verifiable Elections and the Public (Dagstuhl Seminar 11281)
[PDF Icon for download
(865 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. 36-52, doi: 10.4230/DagRep.1.7.36
R. Michael Alvarez, Josh Benaloh, Alon Rosen, and Peter Y.A. Ryan (Eds.)

Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291)
[PDF Icon for download
(874 KB)
Dagstuhl Reports, Volume 1, Issue 7, pp. 53-69, doi: 10.4230/DagRep.1.7.53
Matthias Hein, Gabor Lugosi, Lorenzo Rosasco, and Steve Smale (Eds.)

Issue 6 Complete Issue: [PDF Icon for download (2,476 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 6, 2011
[PDF Icon for download
(140 KB)
Dagstuhl Reports, Volume 1, Issue 6, pp. i-ii, doi: 10.4230/DagRep.1.6.i

Dagstuhl Reports, Volume 1, Issue 6, June 2011, Complete Issue
[PDF Icon for download
(2,476 KB)
Dagstuhl Reports, Volume 1, Issue 6, pp. 0-0, doi: 10.4230/DagRep.1.6.0

Scientific Visualization (Dagstuhl Seminar 11231)
[PDF Icon for download
(848 KB)
Dagstuhl Reports, Volume 1, Issue 6, pp. 1-23, doi: 10.4230/DagRep.1.6.1
Min Chen, Hans Hagen, Charles D. Hansen, and Arie Kaufman (Eds.)

Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 11241)
[PDF Icon for download
(1,049 KB)
Dagstuhl Reports, Volume 1, Issue 6, pp. 24-53, doi: 10.4230/DagRep.1.6.24
Martin Dyer, Uriel Feige, Alan M. Frieze, and Marek Karpinski (Eds.)

Outdoor and Large-Scale Real-World Scene Analysis. 15th Workshop Theoretic Foundations of Computer Vision (Dagstuhl Seminar 11261)
[PDF Icon for download
(903 KB)
Dagstuhl Reports, Volume 1, Issue 6, pp. 54-80, doi: 10.4230/DagRep.1.6.54
Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, and Bodo Rosenhahn (Eds.)

Issue 5 Complete Issue: [PDF Icon for download (4,016 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 5, 2011
[PDF Icon for download
(144 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. i-ii, doi: 10.4230/DagRep.1.5.i

Dagstuhl Reports, Volume 1, Issue 5, May 2011, Complete Issue
[PDF Icon for download
(4,016 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 0-0, doi: 10.4230/DagRep.1.5.0

Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)
[PDF Icon for download
(901 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 1-28, doi: 10.4230/DagRep.1.5.1
Kirstie Bellman, Andreas Herkersdorf, and Michael G. Hinchey (Eds.)

Exploiting graph structure to cope with hard problems (Dagstuhl Seminar 11182)
[PDF Icon for download
(926 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 29-46, doi: 10.4230/DagRep.1.5.29
Andreas Brandstädt, Martin Charles Golumbic, Pinar Heggernes, and Ross McConnell (Eds.)

Graph Drawing with Algorithm Engineering Methods (Dagstuhl Seminar 11191)
[PDF Icon for download
(869 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 47-60, doi: 10.4230/DagRep.1.5.47
Camil Demetrescu, Michael Kaufmann, Stephen Kobourov, and Petra Mutzel (Eds.)

Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201)
[PDF Icon for download
(983 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 61-83, doi: 10.4230/DagRep.1.5.61
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Pascal Van Hentenryck (Eds.)

Geometric Modeling (Dagstuhl Seminar 11211)
[PDF Icon for download
(876 KB)
Dagstuhl Reports, Volume 1, Issue 5, pp. 84-107, doi: 10.4230/DagRep.1.5.84
Thomas Grandine, Stefanie Hahmann, Jörg Peters, and Wang Wenping (Eds.)

Issue 4 Complete Issue: [PDF Icon for download (5,306 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 4, 2011
[PDF Icon for download
(143 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. i-ii, doi: 10.4230/DagRep.1.4.i

Dagstuhl Reports, Volume 1, Issue 4, April 2011, Complete Issue
[PDF Icon for download
(5,306 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 0-0, doi: 10.4230/DagRep.1.4.0

Plan Recognition (Dagstuhl Seminar 11141)
[PDF Icon for download
(868 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 1-22, doi: 10.4230/DagRep.1.4.1
Robert P. Goldman, Christopher W. Geib, Henry Kautz, and Tamim Asfour (Eds.)

Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142)
[PDF Icon for download
(1,450 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 23-40, doi: 10.4230/DagRep.1.4.23
Michael Breuß, Alfred M. Bruckstein, and Petros Maragos (Eds.)

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
[PDF Icon for download
(754 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 41-64, doi: 10.4230/DagRep.1.4.41
Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, and Corrado Priami (Eds.)

Challenges in Document Mining (Dagstuhl Seminar 11171)
[PDF Icon for download
(1,615 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 65-99, doi: 10.4230/DagRep.1.4.65
Hamish Cunningham, Norbert Fuhr, and Benno M. Stein (Eds.)

Artificial Immune Systems (Dagstuhl Seminar 11172)
[PDF Icon for download
(1,021 KB)
Dagstuhl Reports, Volume 1, Issue 4, pp. 100-111, doi: 10.4230/DagRep.1.4.100
Emma Hart, Thomas Jansen, and Jon Timmis (Eds.)

Issue 3 Complete Issue: [PDF Icon for download (3,284 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 3, 2011
[PDF Icon for download
(143 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. i-ii, doi: 10.4230/DagRep.1.3.i

Dagstuhl Reports, Volume 1, Issue 3, March 2011, Complete Issue
[PDF Icon for download
(3,284 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. 0-0, doi: 10.4230/DagRep.1.3.0

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)
[PDF Icon for download
(785 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. 1-18, doi: 10.4230/DagRep.1.3.1
Jürgen Dix, Wojtek Jamroga, and Dov Samet (Eds.)

Computational Geometry (Dagstuhl Seminar 11111)
[PDF Icon for download
(887 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. 19-41, doi: 10.4230/DagRep.1.3.19
Pankaj Kumar Agarwal, Kurt Mehlhorn, and Monique Teillaud (Eds.)

Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121)
[PDF Icon for download
(973 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. 42-66, doi: 10.4230/DagRep.1.3.42
Martin Grohe, Michal Koucky, Rüdiger Reischuk, and Dieter van Melkebeek (Eds.)

Exploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131)
[PDF Icon for download
(1,047 KB)
Dagstuhl Reports, Volume 1, Issue 3, pp. 67-95, doi: 10.4230/DagRep.1.3.67
Jeremy L. Wyatt, Peter Dayan, Ales Leonardis, and Jan Peters (Eds.)

Issue 2 Complete Issue: [PDF Icon for download (3,787 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 2, 2011
[PDF Icon for download
(146 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. i-ii, doi: 10.4230/DagRep.1.2.i

Dagstuhl Reports, Volume 1, Issue 2, February 2011, Complete Issue
[PDF Icon for download
(3,787 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 0-0, doi: 10.4230/DagRep.1.2.0

Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)
[PDF Icon for download
(738 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 1-15, doi: 10.4230/DagRep.1.2.1
Simone Fischer-Hübner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris, and Michael Marhöfer (Eds.)

Self-Repairing Programs (Dagstuhl Seminar 11062)
[PDF Icon for download
(687 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 16-29, doi: 10.4230/DagRep.1.2.16
Mauro Pezzè, Martin C. Rinard, Westley Weimer, and Andreas Zeller (Eds.)

Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071)
[PDF Icon for download
(870 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 30-46, doi: 10.4230/DagRep.1.2.30
Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, and Dimitrios M. Thilikos (Eds.)

Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081)
[PDF Icon for download
(938 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 47-66, doi: 10.4230/DagRep.1.2.47
Maxime Crochemore, Lila Kari, Mehryar Mohri, and Dirk Nowotka (Eds.)

Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091)
[PDF Icon for download
(1,021 KB)
Dagstuhl Reports, Volume 1, Issue 2, pp. 67-93, doi: 10.4230/DagRep.1.2.67
Klaus Jansen, Claire Mathieu, Hadas Shachnai, and Neal E. Young (Eds.)

Issue 1 Complete Issue: [PDF Icon for download (4,313 KB)
Dagstuhl Reports, Table of Contents, Volume 1, Issue 1, 2011
[PDF Icon for download
(147 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. i-ii, doi: 10.4230/DagRep.1.1.i

Dagstuhl Reports, Volume 1, Issue 1, January 2011, Complete Issue
[PDF Icon for download
(4,313 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 0-0, doi: 10.4230/DagRep.1.1.0

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
[PDF Icon for download
(900 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 1-26, doi: 10.4230/DagRep.1.1.1
Hans J. Boehm, Ursula Goltz, Holger Hermanns, and Peter Sewell (Eds.)

Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021)
[PDF Icon for download
(728 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 27-41, doi: 10.4230/DagRep.1.1.27
Sven Apel, William Cook, Krzysztof Czarnecki, and Oscar Nierstrasz (Eds.)

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)
[PDF Icon for download
(858 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 42-67, doi: 10.4230/DagRep.1.1.42
Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James Terwilliger (Eds.)

Multimodal Music Processing (Dagstuhl Seminar 11041)
[PDF Icon for download
(910 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 68-101, doi: 10.4230/DagRep.1.1.68
Meinard Müller, Masataka Goto, and Simon Dixon (Eds.)

Learning from the Past: Implications for the Future Internet and its Management? (Dagstuhl Seminar 11042)
[PDF Icon for download
(618 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 102-107, doi: 10.4230/DagRep.1.1.102
Gabi Dreo Rodosek, Aiko Pras, Henning Schulzrinne, and Burkhard Stiller (Eds.)

Sparse Representations and Efficient Sensing of Data (Dagstuhl Seminar 11051)
[PDF Icon for download
(959 KB)
Dagstuhl Reports, Volume 1, Issue 1, pp. 108-127, doi: 10.4230/DagRep.1.1.108
Stephan Dahlke, Michael Elad, Yonina Eldar, Gitta Kutyniok, and Gerd Teschke (Eds.)



More about Dagstuhl Reports