default search action
Dagstuhl Reports, Volume 3
Volume 3, Number 1, January 2013
- Thierry Jéron, Margus Veanes, Burkhart Wolff:
Symbolic Methods in Testing (Dagstuhl Seminar 13021). 1-29 - Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna:
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). 30-46 - Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum, Pascal Koiran:
Computational Counting (Dagstuhl Seminar 13031). 47-66 - Bernhard R. Katzy, Ulrike Lechner:
Civilian Crisis Response Models (Dagstuhl Seminar 13041). 67-93 - Benjamin Doerr, Robert Elsässer, Pierre Fraigniaud:
Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042). 94-110 - Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). 111-148 - Andreas Herkersdorf, Michael Paulitsch:
Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052). 149-182
Volume 3, Number 2, February 2013
- Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller:
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061). 1-21 - Sonja Buchegger, Jon Crowcroft, Balachander Krishnamurthy, Thorsten Strufe:
Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062). 22-44 - Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer:
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). 45-54 - Jacqueline Fagard, Roderic A. Grupen, Frank Guerin, Norbert Krüger:
Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072). 55-91 - Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani:
Consistency in Distributed Systems (Dagstuhl Seminar 13081). 92-126 - LeRoy B. Beasley, Hartmut Klauck, Troy Lee, Dirk Oliver Theis:
Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082). 127-143 - Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski:
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). 144-170
Volume 3, Number 3, March 2013
- Otfried Cheong, Kurt Mehlhorn, Monique Teillaud:
Computational Geometry (Dagstuhl Seminar 13101). 1-23 - Susanne Albers, Onno J. Boxma, Kirk Pruhs:
Scheduling (Dagstuhl Seminar 13111). 24-50 - Erik D. Demaine, Fedor V. Fomin, MohammadTaghi Hajiaghayi, Dimitrios M. Thilikos:
Bidimensional Structures: Algorithms, Combinatorics and Logic (Dagstuhl Seminar 13121). 51-74 - Jon Crowcroft, Markus Fidler, Klara Nahrstedt, Ralf Steinmetz:
Future Internet (Dagstuhl Seminar 13131). 75-99
Volume 3, Number 4, April 2013
- Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder:
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141). 1-16 - Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen:
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). 17-33 - Stephen G. Kobourov, Martin Nöllenburg, Monique Teillaud:
Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151). 34-68 - Sergiu Hart, Éva Tardos, Bernhard von Stengel:
Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161). 69-90 - Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan:
Pointer Analysis (Dagstuhl Seminar 13162). 91-113 - Luciano Baresi, Andreas Rummler, Klaus Schmid:
Customizing Service Platforms (Dagstuhl Seminar 13171). 114-150 - Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff:
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). 151-187 - Tony Clark, Robert B. France, Martin Gogolla, Bran Selic:
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). 188-226
Volume 3, Number 5, May 2013
- Sebastian Maneth, Helmut Seidl:
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192). 1-18 - Andreas Kerren, Helen C. Purchase, Matthew O. Ward:
Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201). 19-42 - Diego Calvanese, Sven Hartmann, Ernest Teniente:
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). 43-77 - Andreas Bender, Hinrich W. H. Göhlmann, Sepp Hochreiter, Ziv Shkedy:
Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212). 78-94
Volume 3, Number 6, June 2013
- Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). 1-21 - Sebastian Maneth, Gonzalo Navarro:
Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232). 22-37 - Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory F. Welch:
Virtual Realities (Dagstuhl Seminar 13241). 38-66 - Artur Andrzejak, Joachim Giesen, Raghu Ramakrishnan, Ion Stoica:
Parallel Data Analysis (Dagstuhl Seminar 13251). 67-82 - Craig A. Knoblock, Kai-Uwe Sattler, Rudi Studer, Andreas Harth:
Interoperation in Complex Information Ecosystems (Dagstuhl Seminar 13252). 83-134
Volume 3, Number 7, July 2013
- Benjamin Doerr, Nikolaus Hansen, Jonathan L. Shapiro, L. Darrell Whitley:
Theory of Evolutionary Algorithms (Dagstuhl Seminar 13271). 1-28 - Koen A. P. M. Lemmink, Stuart Morgan, Jaime Sampaio, Dietmar Saupe:
Computer Science in High Performance Sport - Applications and Implications for Professional Coaching (Dagstuhl Seminar 13272). 29-53 - Mai Gehrke, Jean-Eric Pin, Victor L. Selivanov, Dieter Spreen:
Duality in Computer Science (Dagstuhl Seminar 13311). 54-73 - Alessandro Acquisti, Ioannis Krontiris, Marc Langheinrich, Martina Angela Sasse:
'My Life, Shared' - Trust and Privacy in the Age of Ubiquitous Experience Sharing (Dagstuhl Seminar 13312). 74-107
Volume 3, Number 8, August 2013
- Peter Auer, Marcus Hutter, Laurent Orseau:
Reinforcement Learning (Dagstuhl Seminar 13321). 1-26 - Georg Carle, Jochen H. Schiller, Steve Uhlig, Walter Willinger, Matthias Wählisch:
The Critical Internet Infrastructure (Dagstuhl Seminar 13322). 27-39 - Thore Husfeldt, Ramamohan Paturi, Gregory B. Sorkin, Ryan Williams:
Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331). 40-72 - Rafael Accorsi, Jason Crampton, Michael Huth, Stefanie Rinderle-Ma:
Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). 73-86 - Jonas S. Almeida, Andreas W. M. Dress, Titus Kühne, Laxmi Parida:
ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342). 87-135 - Hans-Andrea Loeliger, Emina Soljanin, Judy L. Walker:
Coding Theory (Dagstuhl Seminar 13351). 136-150 - David S. Ebert, Brian D. Fisher, Petra Isenberg:
Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352). 151-167
Volume 3, Number 9, September 2013
- Tobias Hoßfeld, Phuoc Tran-Gia, Maja Vukovic:
Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361). 1-33 - Michael N. Huhns, Wei Li, Wei-Tek Tsai:
Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). 34-58 - Serge Fehr, Michele Mosca, Martin Rötteler, Rainer Steinwandt:
Quantum Cryptanalysis (Dagstuhl Seminar 13371). 59-73 - Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene:
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). 74-105 - Henri Casanova, Yves Robert, Uwe Schwiegelshohn:
Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381). 106-129 - Alan F. Blackwell, Alex McLean, James Noble, Julian Rohrhuber:
Collaboration and learning through live coding (Dagstuhl Seminar 13382). 130-168 - Andrew V. Goldberg, Giuseppe F. Italiano, David S. Johnson, Dorothea Wagner:
Algorithm Engineering (Dagstuhl Seminar 13391). 169-189 - Onur Altintas, Falko Dressler, Hannes Hartenstein, Ozan K. Tonguz:
Inter-Vehicular Communication - Quo Vadis (Dagstuhl Seminar 13392). 190-213 - Siegfried Benkner, Franz Franchetti, Hans Michael Gerndt, Jeffrey K. Hollingsworth:
Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401). 214-244 - Amit P. Sheth, Payam M. Barnaghi, Markus Strohmaier, Ramesh C. Jain, Steffen Staab:
Physical-Cyber-Social Computing (Dagstuhl Reports 13402). 245-263
Volume 3, Number 10, October 2013
- Nikolaj S. Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach:
Deduction and Arithmetic (Dagstuhl Seminar 13411). 1-24 - Kay Hamacher, Jean-Pierre Hubaux, Gene Tsudik:
Genomic Privacy (Dagstuhl Seminar 13412). 25-35 - Glencora Borradaile, Philip N. Klein, Dániel Marx, Claire Mathieu:
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421). 36-57 - Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts:
Nominal Computation Theory (Dagstuhl Seminar 13422). 58-71 - Oliver Grau, Marcus A. Magnor, Olga Sorkine-Hornung, Christian Theobalt:
Real-World Visual Computing (Dagstuhl Seminar 13431). 72-91 - Maristella Agosti, Norbert Fuhr, Elaine G. Toms, Pertti Vakkari:
Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441). 92-126
Volume 3, Number 11, November 2013
- Meinard Müller, Shrikanth S. Narayanan, Björn W. Schuller:
Computational Audio Analysis (Dagstuhl Seminar 13451). 1-28 - Saul Greenberg, Kasper Hornbæk, Aaron J. Quigley, Harald Reiterer, Roman Rädle:
Proxemics in Human-Computer Interaction (Dagstuhl Seminar 13452). 29-57 - Yishay Mansour, Benny Moldovanu, Noam Nisan, Berthold Vöcking:
Electronic Markets and Auctions (Dagstuhl Seminar 13461). 58-78 - Hans Kamp, Alessandro Lenci, James Pustejovsky:
Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462). 79-116 - Stephen A. Edwards, Alain Girault, Klaus Schneider:
Synchronous Programming (Dagstuhl Seminar 13471). 117-143 - Philip Eardley, Marco Mellia, Jörg Ott, Jürgen Schönwälder, Henning Schulzrinne:
Global Measurement Framework (Dagstuhl Seminar 13472). 144-153 - Rafael Accorsi, Ernesto Damiani, Wil M. P. van der Aalst:
Unleashing Operational Process Mining (Dagstuhl Seminar 13481). 154-192 - Felix C. Freiling, Gerrit Hornung, Radim Polcák:
Forensic Computing (Dagstuhl Seminar 13482). 193-208
Volume 3, Number 12, December 2013
- Ruedi Aebersold, Oliver Kohlbacher, Olga Vitek:
Computational Mass Spectrometry (Dagstuhl Seminar 13491). 1-16 - Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, Monika Sester:
Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492). 17-42 - Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). 43-66 - Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). 67-96 - Glenn Geers, Monika Sester, Stephan Winter, Ouri Wolfson:
Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512). 97-124
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.