ISSN 2192-5283



Volume 3 (2013)

Issue 1
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.)

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