Volume 2 (2012)

Issue 1 Complete Issue: (6,907 KB)

Dagstuhl Reports, Table of Contents, Volume 2, Issue 1, 2012
(154 KB)	Dagstuhl Reports, Volume 2, Issue 1, pp.i-ii, doi: 10.4230/DagRep.2.1.i

Foundations for Scripting Languages (Dagstuhl Seminar 12011)
(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)
(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)
(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)
(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)
(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: (3,755 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 12, 2011
(152 KB)	Dagstuhl Reports, Volume 1, Issue 12, pp.i-ii, doi: 10.4230/DagRep.1.12.i

Secure Computing in the Cloud (Dagstuhl Seminar 11491)
(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)
(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)
(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)
(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)
(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: (4,067 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 11, 2011
(155 KB)	Dagstuhl Reports, Volume 1, Issue 11, pp.i-ii, doi: 10.4230/DagRep.1.11.i

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
(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)
(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)
(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)
(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)
(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)
(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: (2,313 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 10, 2011
(151 KB)	Dagstuhl Reports, Volume 1, Issue 10, pp.i-ii, doi: 10.4230/DagRep.1.10.i

Forensic Computing (Dagstuhl Seminar 11401)
(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)
(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)
(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: (3,094 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 9, 2011
(155 KB)	Dagstuhl Reports, Volume 1, Issue 9, pp.i-ii, doi: 10.4230/DagRep.1.9.i

Data Warehousing: from Occasional OLAP to Real-time Business Intelligence (Dagstuhl Seminar 11361)
(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)
(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)
(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)
(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: (6,477 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 8, 2011
(156 KB)	Dagstuhl Reports, Volume 1, Issue 8, pp.i-ii, doi: 10.4230/DagRep.1.8.i

Information Management in the Cloud (Dagstuhl Seminar 11321)
(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)
(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)
(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)
(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)
(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: (3,101 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011
(154 KB)	Dagstuhl Reports, Volume 1, Issue 7, pp.i-ii, doi: 10.4230/DagRep.1.7.i

Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)
(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)
(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)
(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)
(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: (2,476 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 6, 2011
(140 KB)	Dagstuhl Reports, Volume 1, Issue 6, pp.i-ii, doi: 10.4230/DagRep.1.6.i

Scientific Visualization (Dagstuhl Seminar 11231)
(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)
(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)
(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: (4,016 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 5, 2011
(144 KB)	Dagstuhl Reports, Volume 1, Issue 5, pp.i-ii, doi: 10.4230/DagRep.1.5.i

Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)
(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)
(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)
(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)
(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)
(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: (5,306 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 4, 2011
(143 KB)	Dagstuhl Reports, Volume 1, Issue 4, pp.i-ii, doi: 10.4230/DagRep.1.4.i

Plan Recognition (Dagstuhl Seminar 11141)
(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)
(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)
(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)
(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)
(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: (3,284 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 3, 2011
(143 KB)	Dagstuhl Reports, Volume 1, Issue 3, pp.i-ii, doi: 10.4230/DagRep.1.3.i

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)
(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)
(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)
(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)
(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: (3,787 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 2, 2011
(146 KB)	Dagstuhl Reports, Volume 1, Issue 2, pp.i-ii, doi: 10.4230/DagRep.1.2.i

Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)
(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)
(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)
(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)
(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)
(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: (4,313 KB)

Dagstuhl Reports, Table of Contents, Volume 1, Issue 1, 2011
(147 KB)	Dagstuhl Reports, Volume 1, Issue 1, pp.i-ii, doi: 10.4230/DagRep.1.1.i

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
(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)
(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)
(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)
(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)
(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)
(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.)