default search action
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 S. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.