ISSN 2192-5283



Volume 4 (2014)

Issue 3
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