Dagstuhl Reports, Volume 1

Volume 1, Number 1, January 2011

• Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell:
  Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). 1-26
  
• Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz:
  Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). 27-41
  
• Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
  Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). 42-67
  
• Meinard Müller, Masataka Goto, Simon Dixon:
  Multimodal Music Processing (Dagstuhl Seminar 11041). 68-101
  
• Gabi Dreo Rodosek, Aiko Pras, Henning Schulzrinne, Burkhard Stiller:
  Learning from the Past: Implications for the Future Internet and its Management? (Dagstuhl Seminar 11042). 102-107
  
• Stephan Dahlke, Michael Elad, Yonina C. Eldar, Gitta Kutyniok, Gerd Teschke:
  Sparse Representations and Efficient Sensing of Data (Dagstuhl Seminar 11051). 108-127
  

Volume 1, Number 2, February 2011

• Simone Fischer-Hübner, Chris Jay Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris, Michael Marhöfer:
  Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061). 1-15
  
• Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller:
  Self-Repairing Programs (Dagstuhl Seminar 11062). 16-29
  
• Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer, Dimitrios M. Thilikos:
  Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071). 30-46
  
• Maxime Crochemore, Lila Kari, Mehryar Mohri, Dirk Nowotka:
  Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081). 47-66
  
• Klaus Jansen, Claire Mathieu, Hadas Shachnai, Neal E. Young:
  Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091). 67-93
  

Volume 1, Number 3, March 2011

• Jürgen Dix, Wojtek Jamroga, Dov Samet:
  Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). 1-18
  
• Pankaj K. Agarwal, Kurt Mehlhorn, Monique Teillaud:
  Computational Geometry (Dagstuhl Seminar 11111). 19-41
  
• Martin Grohe, Michal Koucký, Rüdiger Reischuk, Dieter van Melkebeek:
  Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121). 42-66
  
• Jeremy L. Wyatt, Peter Dayan, Ales Leonardis, Jan Peters:
  Exploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131). 67-95
  

Volume 1, Number 4, April 2011

• Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour:
  Plan Recognition (Dagstuhl Seminar 11141). 1-22
  
• Michael Breuß, Alfred M. Bruckstein, Petros Maragos:
  Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142). 23-40
  
• Rainer Breitling, Frank J. Bruggeman, Corrado Priami, Adelinde M. Uhrmacher:
  Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). 41-64
  
• Hamish Cunningham, Norbert Fuhr, Benno Stein:
  Challenges in Document Mining (Dagstuhl Seminar 11171). 65-99
  
• Emma Hart, Thomas Jansen, Jon Timmis:
  Artificial Immune Systems (Dagstuhl Seminar 11172). 100-111
  

Volume 1, Number 5, May 2011

• Kirstie L. Bellman, Andreas Herkersdorf, Michael G. Hinchey:
  Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). 1-28
  
• Andreas Brandstädt, Martin Charles Golumbic, Pinar Heggernes, Ross M. McConnell:
  Exploiting graph structure to cope with hard problems (Dagstuhl Seminar 11182). 29-46
  
• Camil Demetrescu, Michael Kaufmann, Stephen G. Kobourov, Petra Mutzel:
  Graph Drawing with Algorithm Engineering Methods (Dagstuhl Seminar 11191). 47-60
  
• Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck:
  Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). 61-83
  
• Thomas A. Grandine, Stefanie Hahmann, Jörg Peters, Wenping Wang:
  Geometric Modeling (Dagstuhl Seminar 11211). 84-107
  

Volume 1, Number 6, June 2011

• Min Chen, Hans Hagen, Charles D. Hansen, Arie E. Kaufman:
  Scientific Visualization (Dagstuhl Seminar 11231). 1-23
  
• Martin E. Dyer, Uriel Feige, Alan M. Frieze, Marek Karpinski:
  Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 11241). 24-53
  
• Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Bodo Rosenhahn:
  Outdoor and Large-Scale Real-World Scene Analysis. 15th Workshop Theoretic Foundations of Computer Vision (Dagstuhl Seminar 11261). 54-80
  

Volume 1, Number 7, July 2011

• Martin Lames, Tim McGarry, Bernhard Nebel, Karen Roemer:
  Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271). 1-22
  
• Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov:
  Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). 23-35
  
• R. Michael Alvarez, Josh Benaloh, Alon Rosen, Peter Y. A. Ryan:
  Verifiable Elections and the Public (Dagstuhl Seminar 11281). 36-52
  
• Matthias Hein, Gábor Lugosi, Lorenzo Rosasco, Steve Smale:
  Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291). 53-69
  

Volume 1, Number 8, August 2011

• Anastassia Ailamaki, Michael J. Carey, Donald Kossmann, Steve Loughran, Volker Markl:
  Information Management in the Cloud (Dagstuhl Seminar 11321). 1-28
  
• Tim Clark, Anita de Waard, Ivan Herman, Eduard H. Hovy:
  The Future of Research Communication (Dagstuhl Perspectives Workshop 11331). 29-52
  
• Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows:
  Security and Rewriting (Dagstuhl Seminar 11332). 53-66
  
• Michael Biehl, Barbara Hammer, Erzsébet Merényi, Alessandro Sperduti, Thomas Villmann:
  Learning in the context of very high dimensional data (Dagstuhl Seminar 11341). 67-95
  
• Iris van Rooij, Yll Haxhimusa, Zygmunt Pizlo, Georg Gottlob:
  Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351). 96-124
  

Volume 1, Number 9, September 2011

• Markus Schneider, Gottfried Vossen, Esteban Zimányi:
  Data Warehousing: from Occasional OLAP to Real-time Business Intelligence (Dagstuhl Seminar 11361). 1-25
  
• Isaac E. Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova:
  Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371). 26-57
  
• Serge Fehr, Michele Mosca, Martin Rötteler, Rainer Steinwandt:
  Quantum Cryptanalysis (Dagstuhl Seminar 11381). 58-75
  
• Marc Fischlin, Anna Lysyanskaya, Ueli Maurer, Alexander May:
  Public-Key Cryptography (Dagstuhl Seminar 11391). 76-94
  

Volume 1, Number 10, October 2011

• Felix C. Freiling, Dirk Heckmann, Radim Polcák, Joachim Posegga:
  Forensic Computing (Dagstuhl Seminar 11401). 1-13
  
• Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki:
  Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). 14-36
  
• Serge Abiteboul, Alin Deutsch, Thomas Schwentick, Luc Segoufin:
  Foundations of distributed data management (Dagstuhl Seminar 11421). 37-57
  

Volume 1, Number 11, November 2011

• Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits:
  Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). 1-22
  
• Lars Eldén, Andreas Frommer:
  Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451). 23-38
  
• Vito Latora, Cecilia Mascolo, Mirco Musolesi:
  Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452). 39-49
  
• Joachim Rosenthal, Mohammad Amin Shokrollahi, Judy L. Walker:
  Coding Theory (Dagstuhl Seminar 11461). 50-65
  
• Andrés Bruhn, Thomas Pock, Xue-Cheng Tai:
  Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471). 66-90
  
• Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France:
  Models@run.time (Dagstuhl Seminar 11481). 91-123
  

Volume 1, Number 12, December 2011

• Benny Pinkas, Ahmad-Reza Sadeghi, Nigel P. Smart:
  Secure Computing in the Cloud (Dagstuhl Seminar 11491). 1-10
  
• Sabrina De Capitani di Vimercati, Wolter Pieters, Christian W. Probst:
  Secure Architectures in the Cloud (Dagstuhl Seminar 11492). 11-26
  
• Bernhard Burgeth, Carl-Fredrik Westin:
  Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 11501). 27-46
  
• Kenichi Morita, Robert Wille:
  Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502). 47-61
  
• Stefan Katzenbeisser, Klaus Kursawe, Bart Preneel, Ahmad-Reza Sadeghi:
  Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 11511). 62-68
  

Last update Tue May 21 18:46:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page