|
ISSN 2192-5283 |
(11,266 KB)
| Dagstuhl Reports, Volume 13, Issue 4, April 2023, Complete Issue | |
|
(11,266 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 1-122, doi: 10.4230/DagRep.13.4 |
| Dagstuhl Reports, Table of Contents, Volume 13, Issue 4, 2023 | |
|
(225 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. i-ii, doi: 10.4230/DagRep.13.4.i |
| Normative Reasoning for AI (Dagstuhl Seminar 23151) | |
|
(2,675 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 1-23, doi: 10.4230/DagRep.13.4.1 Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, and Aleks Knoks (Eds.) |
| Secure and Efficient Post-Quantum Cryptography in Hardware and Software (Dagstuhl Seminar 23152) | |
|
(2,200 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 24-39, doi: 10.4230/DagRep.13.4.24 Thomas Pöppelmann, Sujoy Sinha Roy, and Ingrid Verbauwhede (Eds.) |
| Pushing the Limits of Computational Combinatorial Constructions (Dagstuhl Seminar 23161) | |
|
(2,131 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 40-57, doi: 10.4230/DagRep.13.4.40 Lucia Moura, Anamari Nakic, Patric Östergård, Alfred Wassermann, and Charlene Weiß (Eds.) |
| New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162) | |
|
(2,376 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 58-97, doi: 10.4230/DagRep.13.4.58 Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, Meirav Zehavi, and Liana Khazaliya (Eds.) |
| Driving HPC Operations With Holistic Monitoring and Operational Data Analytics (Dagstuhl Seminar 23171) | |
|
(2,058 KB) |
Dagstuhl Reports, Volume 13, Issue 4, pp. 98-120, doi: 10.4230/DagRep.13.4.98 Jim Brandt, Florina Ciorba, Ann Gentile, Michael Ott, and Torsten Wilde (Eds.) |
(15,433 KB)
| Dagstuhl Reports, Volume 13, Issue 3, March 2023, Complete Issue | |
|
(15,433 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 1-133, doi: 10.4230/DagRep.13.3 |
| Dagstuhl Reports, Table of Contents, Volume 13, Issue 3, 2023 | |
|
(223 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. i-ii, doi: 10.4230/DagRep.13.3.i |
| Foundations of WebAssembly (Dagstuhl Seminar 23101) | |
|
(2,403 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 1-16, doi: 10.4230/DagRep.13.3.1 Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, and Deian Stefan (Eds.) |
| Computational Complexity of Discrete Problems (Dagstuhl Seminar 23111) | |
|
(2,331 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 17-31, doi: 10.4230/DagRep.13.3.17 Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau, and Manaswi Paraashar (Eds.) |
| Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112) | |
|
(2,324 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 32-48, doi: 10.4230/DagRep.13.3.32 Swen Jacobs, Kenneth McMillan, Roopsha Samanta, and Ilya Sergey (Eds.) |
| Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121) | |
|
(2,532 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 49-73, doi: 10.4230/DagRep.13.3.49 David Bevan, Miklós Bóna, and István Miklós (Eds.) |
| Deep Continual Learning (Dagstuhl Seminar 23122) | |
|
(1,782 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 74-91, doi: 10.4230/DagRep.13.3.74 Tinne Tuytelaars, Bing Liu, Vincenzo Lomonaco, Gido van de Ven, and Andrea Cossu (Eds.) |
| Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) | |
|
(1,848 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 92-105, doi: 10.4230/DagRep.13.3.92 Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser (Eds.) |
| AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132) | |
|
(2,559 KB) |
Dagstuhl Reports, Volume 13, Issue 3, pp. 106-131, doi: 10.4230/DagRep.13.3.106 Peer-Timo Bremer, Brian Spears, Tom Gibbs, and Michael Bussmann (Eds.) |
(34,599 KB)
| Dagstuhl Reports, Volume 13, Issue 2, February 2023, Complete Issue | |
|
(34,599 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 1-243, doi: 10.4230/DagRep.13.2 |
| Dagstuhl Reports, Table of Contents, Volume 13, Issue 2, 2023 | |
|
(226 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. i-ii, doi: 10.4230/DagRep.13.2.i |
| Scheduling (Dagstuhl Seminar 23061) | |
|
(2,341 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 1-19, doi: 10.4230/DagRep.13.2.1 Nicole Megow, Benjamin J. Moseley, David Shmoys, Ola Svensson, Sergei Vassilvitskii, and Jens Schlöter (Eds.) |
| Programming Language Processing (Dagstuhl Seminar 23062) | |
|
(2,545 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 20-32, doi: 10.4230/DagRep.13.2.20 Michael Pradel, Baishakhi Ray, Charles Sutton, and Eran Yahav (Eds.) |
| From Big Data Theory to Big Data Practice (Dagstuhl Seminar 23071) | |
|
(2,226 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 33-46, doi: 10.4230/DagRep.13.2.33 Martin Farach-Colton, Fabian Daniel Kuhn, Ronitt Rubinfeld, and Przemysław Uznański (Eds.) |
| Challenges and Perspectives in Deep Generative Modeling (Dagstuhl Seminar 23072) | |
|
(1,957 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 47-70, doi: 10.4230/DagRep.13.2.47 Vincent Fortuin, Yingzhen Li, Kevin Murphy, Stephan Mandt, and Laura Manduchi (Eds.) |
| Agents on the Web (Dagstuhl Seminar 23081) | |
|
(4,231 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 71-162, doi: 10.4230/DagRep.13.2.71 Olivier Boissier, Andrei Ciortea, Andreas Harth, Alessandro Ricci, and Danai Vachtsevanou (Eds.) |
| Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082) | |
|
(1,741 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 163-182, doi: 10.4230/DagRep.13.2.163 Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, and Daniel Sokolowski (Eds.) |
| Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 23091) | |
|
(1,971 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 183-198, doi: 10.4230/DagRep.13.2.183 Aaron Becker, Sándor Fekete, Irina Kostitsyna, Matthew J. Patitz, Damien Woods, and Ioannis Chatzigiannakis (Eds.) |
| A Human-Computer Interaction Perspective to Drive Change towards Sustainable Future (Dagstuhl Perspectives Workshop 23092) | |
|
(17,977 KB) |
Dagstuhl Reports, Volume 13, Issue 2, pp. 199-241, doi: 10.4230/DagRep.13.2.199 Susanne Boll, Kaisa Väänänen, Nicola Bidwell, Marc Hassenzahl, and Robin Neuhaus (Eds.) |
(46,539 KB)
| Dagstuhl Reports, Volume 13, Issue 1, January 2023, Complete Issue | |
|
(46,539 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 1-246, doi: 10.4230/DagRep.13.1 |
| Dagstuhl Reports, Table of Contents, Volume 13, Issue 1, 2023 | |
|
(224 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. i-ii, doi: 10.4230/DagRep.13.1.i |
| Media Forensics and the Challenge of Big Data (Dagstuhl Seminar 23021) | |
|
(2,221 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 1-35, doi: 10.4230/DagRep.13.1.1 Irene Amerini, Anderson Rocha, Paul L. Rosin, and Xianfang Sun (Eds.) |
| Inverse Biophysical Modeling and Machine Learning in Personalized Oncology (Dagstuhl Seminar 23022) | |
|
(8,366 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 36-67, doi: 10.4230/DagRep.13.1.36 George Biros, Andreas Mang, Björn H. Menze, and Miriam Schulte (Eds.) |
| Frontiers of Information Access Experimentation for Research and Education (Dagstuhl Seminar 23031) | |
|
(7,565 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 68-154, doi: 10.4230/DagRep.13.1.68 Christine Bauer, Ben Carterette, Nicola Ferro, Norbert Fuhr, and Guglielmo Faggioli (Eds.) |
| Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041) | |
|
(7,218 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 155-183, doi: 10.4230/DagRep.13.1.155 Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa (Eds.) |
| Quality of Sustainable Experience (QoSE) (Dagstuhl Seminar 23042) | |
|
(12,789 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 184-215, doi: 10.4230/DagRep.13.1.184 Katrien De Moor, Markus Fiedler, Ashok Jhunjhunwala, and Alexander Raake (Eds.) |
| Perception in Network Visualization (Dagstuhl Seminar 23051) | |
|
(8,623 KB) |
Dagstuhl Reports, Volume 13, Issue 1, pp. 216-244, doi: 10.4230/DagRep.13.1.216 Karsten Klein, Stephen Kobourov, Bernice E. Rogowitz, Danielle Szafir, and Jacob Miller (Eds.) |
(16,725 KB)
| Dagstuhl Reports, Volume 12, Issue 12, December 2022, Complete Issue | |
|
(16,725 KB) |
Dagstuhl Reports, Volume 12, Issue 12, pp. 1-75, doi: 10.4230/DagRep.12.12 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 12, 2022 | |
|
(217 KB) |
Dagstuhl Reports, Volume 12, Issue 12, pp. i-ii, doi: 10.4230/DagRep.12.12.i |
| Cognitive Augmentation (Dagstuhl Seminar 22491) | |
|
(8,451 KB) |
Dagstuhl Reports, Volume 12, Issue 12, pp. 1-26, doi: 10.4230/DagRep.12.12.1 Kai Kunze, Pattie Maes, Florian `Floyd' Mueller, and Katrin Wolf (Eds.) |
| Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492) | |
|
(1,853 KB) |
Dagstuhl Reports, Volume 12, Issue 12, pp. 27-53, doi: 10.4230/DagRep.12.12.27 Hagit Attiya, Constantin Enea, Sergio Rajsbaum, and Ana Sokolova (Eds.) |
| Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users II (Dagstuhl Seminar 22512) | |
|
(6,413 KB) |
Dagstuhl Reports, Volume 12, Issue 12, pp. 54-73, doi: 10.4230/DagRep.12.12.54 Ana Aguiar, Onur Altintas, Falko Dressler, Gunnar Karlsson, and Florian Klingler (Eds.) |
(13,524 KB)
| Dagstuhl Reports, Volume 12, Issue 11, November 2022, Complete Issue | |
|
(13,524 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 1-147, doi: 10.4230/DagRep.12.11 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 11, 2022 | |
|
(224 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. i-ii, doi: 10.4230/DagRep.12.11.i |
| Principles of Contract Languages (Dagstuhl Seminar 22451) | |
|
(1,979 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 1-27, doi: 10.4230/DagRep.12.11.1 Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, and Christian Lidström (Eds.) |
| Computational Social Dynamics (Dagstuhl Seminar 22452) | |
|
(1,898 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 28-44, doi: 10.4230/DagRep.12.11.28 Martin Hoefer, Sigal Oren, Roger Wattenhofer, and Giovanna Varricchio (Eds.) |
| Dynamic Graph Algorithms (Dagstuhl Seminar 22461) | |
|
(2,505 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 45-65, doi: 10.4230/DagRep.12.11.45 Aaron Bernstein, Shiri Chechik, Sebastian Forster, Tsvi Kopelowitz, Yasamin Nazari, and Nicole Wein (Eds.) |
| Set Visualization and Uncertainty (Dagstuhl Seminar 22462) | |
|
(1,173 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 66-95, doi: 10.4230/DagRep.12.11.66 Susanne Bleisch, Steven Chaplick, Jan-Henrik Haunert, Eva Mayr, Marc van Kreveld, and Annika Bonerath (Eds.) |
| Towards More Flexible and Automated Communication Networks (Dagstuhl Seminar 22471) | |
|
(2,942 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 96-108, doi: 10.4230/DagRep.12.11.96 Artur Hecker, Stefan Schmid, Henning Schulzrinne, Lily Hügerich, Sándor Laki, and Iosif Salem (Eds.) |
| Vertex Partitioning in Graphs: From Structure to Algorithms (Dagstuhl Seminar 22481) | |
|
(1,675 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 109-123, doi: 10.4230/DagRep.12.11.109 Maria Chudnovsky, Neeldhara Misra, Daniel Paulusma, Oliver Schaudt, and Akanksha Agrawal (Eds.) |
| Counting and Sampling: Algorithms and Complexity (Dagstuhl Seminar 22482) | |
|
(1,660 KB) |
Dagstuhl Reports, Volume 12, Issue 11, pp. 124-145, doi: 10.4230/DagRep.12.11.124 Holger Dell, Mark R. Jerrum, Haiko Müller, Konrad Anand, and Marcus Pappik (Eds.) |
(29,538 KB)
| Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue | |
|
(29,538 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 1-242, doi: 10.4230/DagRep.12.10 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 10, 2022 | |
|
(218 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. i-ii, doi: 10.4230/DagRep.12.10.i |
| Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401) | |
|
(5,671 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 1-60, doi: 10.4230/DagRep.12.10.1 Wentong Cai, Christopher Carothers, David M. Nicol, and Adelinde M. Uhrmacher (Eds.) |
| Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402) | |
|
(2,363 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 61-83, doi: 10.4230/DagRep.12.10.61 Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, and Janet Siegmund (Eds.) |
| Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) | |
|
(7,119 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 84-105, doi: 10.4230/DagRep.12.10.84 Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, and Andy Oertel (Eds.) |
| Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412) | |
|
(1,728 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 106-128, doi: 10.4230/DagRep.12.10.106 Nele Mentens, Stjepan Picek, and Ahmad-Reza Sadeghi (Eds.) |
| Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421) | |
|
(1,802 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 129-142, doi: 10.4230/DagRep.12.10.129 Arthur Gervais, and Marie Vasek (Eds.) |
| Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422) | |
|
(2,300 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 143-165, doi: 10.4230/DagRep.12.10.143 James M. Rehg, Pierre-Yves Oudeyer, Linda B. Smith, Sho Tsuji, Stefan Stojanov, and Ngoc Anh Thai (Eds.) |
| Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431) | |
|
(2,623 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 166-174, doi: 10.4230/DagRep.12.10.166 Emma Frejinger, Andrea Lodi, Michele Lombardi, and Neil Yorke-Smith (Eds.) |
| Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432) | |
|
(3,250 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 175-206, doi: 10.4230/DagRep.12.10.175 Khalid Al-Khatib, Anita de Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, and Harrisen Scells (Eds.) |
| Optimization at the Second Level (Dagstuhl Seminar 22441) | |
|
(2,642 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 207-224, doi: 10.4230/DagRep.12.10.207 Luce Brotcorne, Christoph Buchheim, Dick den Hertog, and Dorothee Henke (Eds.) |
| Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442) | |
|
(2,183 KB) |
Dagstuhl Reports, Volume 12, Issue 10, pp. 225-240, doi: 10.4230/DagRep.12.10.225 Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, and Thomas Zimmermann (Eds.) |
| Dagstuhl Reports, Volume 12, Issue 9, September 2022, Complete Issue | |
|
(27,074 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 1-236, doi: 10.4230/DagRep.12.9 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 9, 2022 | |
|
(227 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. i-ii, doi: 10.4230/DagRep.12.9.i |
| Challenges and Opportunities of Democracy in the Digital Society (Dagstuhl Seminar 22361) | |
|
(1,965 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 1-19, doi: 10.4230/DagRep.12.9.1 Abraham Bernstein, Anita Gohdes, Cristina Sarasua, Steffen Staab, and Beth Simone Noveck (Eds.) |
| Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362) | |
|
(2,450 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 20-40, doi: 10.4230/DagRep.12.9.20 Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Bernhard Rumpe, and Steffen Zschaler (Eds.) |
| Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371) | |
|
(2,311 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 41-59, doi: 10.4230/DagRep.12.9.41 Markus Bläser, Valentine Kabanets, Ronen Shaltiel, and Jacobo Torán (Eds.) |
| Knowledge Graphs and their Role in the Knowledge Engineering of the 21st Century (Dagstuhl Seminar 22372) | |
|
(11,971 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 60-120, doi: 10.4230/DagRep.12.9.60 Paul Groth, Elena Simperl, Marieke van Erp, and Denny Vrandečić (Eds.) |
| Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381) | |
|
(2,037 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 121-149, doi: 10.4230/DagRep.12.9.121 Sven Findeiß, Christoph Flamm, and Yann Ponty (Eds.) |
| Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382) | |
|
(2,309 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 150-199, doi: 10.4230/DagRep.12.9.150 Philipp Berens, Kyle Cranmer, Neil D. Lawrence, Ulrike von Luxburg, and Jessica Montgomery (Eds.) |
| Cognitive Robotics (Dagstuhl Seminar 22391) | |
|
(2,011 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 200-219, doi: 10.4230/DagRep.12.9.200 Fredrik Heintz, Gerhard Lakemeyer, and Sheila McIlraith (Eds.) |
| Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392) | |
|
(2,374 KB) |
Dagstuhl Reports, Volume 12, Issue 9, pp. 220-234, doi: 10.4230/DagRep.12.9.220 Chat Wacharamanotham, Yvonne Jansen, Amelia A. McNamara, Kasper Hornbæk, Judy Robertson, and Lahari Goswami (Eds.) |
| Dagstuhl Reports, Volume 12, Issue 8, August 2022, Complete Issue | |
|
(11,627 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 1-118, doi: 10.4230/DagRep.12.8 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 8, 2022 | |
|
(222 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. i-ii, doi: 10.4230/DagRep.12.8.i |
| Visualization and Decision Making Design Under Uncertainty (Dagstuhl Seminar 22331) | |
|
(2,037 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 1-19, doi: 10.4230/DagRep.12.8.1 Nadia Boukhelifa, Christopher R. Johnson, and Kristi Potter (Eds.) |
| Differential Equations and Continuous-Time Deep Learning (Dagstuhl Seminar 22332) | |
|
(2,612 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 20-30, doi: 10.4230/DagRep.12.8.20 David Duvenaud, Markus Heinonen, Michael Tiemann, and Max Welling (Eds.) |
| Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341) | |
|
(2,570 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 31-59, doi: 10.4230/DagRep.12.8.31 Kerstin I. Eder, Timo Hönig, Daniel Mosse, Max Plauth, and Maja Hanne Kirkeby (Eds.) |
| Privacy in Speech and Language Technology (Dagstuhl Seminar 22342) | |
|
(2,496 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 60-102, doi: 10.4230/DagRep.12.8.60 Simone Fischer-Hübner, Dietrich Klakow, Peggy Valcke, and Emmanuel Vincent (Eds.) |
| Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351) | |
|
(2,042 KB) |
Dagstuhl Reports, Volume 12, Issue 8, pp. 103-116, doi: 10.4230/DagRep.12.8.103 Polo Chau, Alex Endert, Daniel A. Keim, and Daniela Oelke (Eds.) |
(26,307 KB)
| Dagstuhl Reports, Volume 12, Issue 7, July 2022, Complete Issue | |
|
(26,307 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 1-238, doi: 10.4230/DagRep.12.7 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 7, 2022 | |
|
(225 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. i-ii, doi: 10.4230/DagRep.12.7.i |
| Algorithms for Participatory Democracy (Dagstuhl Seminar 22271) | |
|
(1,922 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 1-18, doi: 10.4230/DagRep.12.7.1 Markus Brill, Jiehua Chen, Andreas Darmann, David Pennock, and Matthias Greger (Eds.) |
| Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272) | |
|
(3,462 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 19-40, doi: 10.4230/DagRep.12.7.19 Florian `Floyd' Mueller, Marianna Obrist, Soh Kim, Masahiko Inami, and Jialin Deng (Eds.) |
| Security of Machine Learning (Dagstuhl Seminar 22281) | |
|
(1,682 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 41-61, doi: 10.4230/DagRep.12.7.41 Battista Biggio, Nicholas Carlini, Pavel Laskov, Konrad Rieck, and Antonio Emanuele Cinà (Eds.) |
| Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282) | |
|
(1,594 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 62-79, doi: 10.4230/DagRep.12.7.62 James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, and Frank Wolter (Eds.) |
| Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291) | |
|
(1,779 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 80-111, doi: 10.4230/DagRep.12.7.80 Sébastien Bardin, Somesh Jha, and Vijay Ganesh (Eds.) |
| Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292) | |
|
(12,481 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 112-179, doi: 10.4230/DagRep.12.7.112 Maud Ehrmann, Marten Düring, Clemens Neudecker, and Antoine Doucet (Eds.) |
| Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301) | |
|
(2,174 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 180-204, doi: 10.4230/DagRep.12.7.180 Phokion G. Kolaitis, Andrej E. Romashchenko, Milan Studený, Dan Suciu, and Tobias A. Boege (Eds.) |
| Educational Programming Languages and Systems (Dagstuhl Seminar 22302) | |
|
(1,618 KB) |
Dagstuhl Reports, Volume 12, Issue 7, pp. 205-236, doi: 10.4230/DagRep.12.7.205 Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, and Jens Mönig (Eds.) |
| Dagstuhl Reports, Volume 12, Issue 6, June 2022, Complete Issue | |
|
(8,057 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 1-119, doi: 10.4230/DagRep.12.6 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 6, 2022 | |
|
(223 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. i-ii, doi: 10.4230/DagRep.12.6.i |
| Theories of Programming (Dagstuhl Seminar 22231) | |
|
(2,600 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 1-13, doi: 10.4230/DagRep.12.6.1 Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, and Benjamin Xie (Eds.) |
| Efficient and Equitable Natural Language Processing in the Age of Deep Learning (Dagstuhl Seminar 22232) | |
|
(1,497 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 14-27, doi: 10.4230/DagRep.12.6.14 Jesse Dodge, Iryna Gurevych, Roy Schwartz, Emma Strubell, and Betty van Aken (Eds.) |
| Human-Game AI Interaction (Dagstuhl Seminar 22251) | |
|
(1,219 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 28-82, doi: 10.4230/DagRep.12.6.28 Dan Ashlock, Setareh Maghsudi, Diego Perez Liebana, Pieter Spronck, and Manuel Eberhardinger (Eds.) |
| Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261) | |
|
(1,164 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 83-111, doi: 10.4230/DagRep.12.6.83 Benjamin Bach, Sheelagh Carpendale, Uta Hinrichs, and Samuel Huron (Eds.) |
| Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262) | |
|
(1,644 KB) |
Dagstuhl Reports, Volume 12, Issue 6, pp. 112-117, doi: 10.4230/DagRep.12.6.112 Wendy E. Mackay, John Shawe-Taylor, and Frank van Harmelen (Eds.) |
(21,710 KB)
| Dagstuhl Reports, Volume 12, Issue 5, May 2022, Complete Issue | |
|
(21,710 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 1-232, doi: 10.4230/DagRep.12.5 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 5, 2022 | |
|
(225 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. i-ii, doi: 10.4230/DagRep.12.5.i |
| Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181) | |
|
(2,182 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 1-16, doi: 10.4230/DagRep.12.5.1 Corey Broeckling, Timothy Ebbels, Ewy Mathé, Nicola Zamboni, and Cecilia Wieder (Eds.) |
| Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182) | |
|
(2,349 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 17-36, doi: 10.4230/DagRep.12.5.17 Josu Ceberio Uribe, Benjamin Doerr, Carsten Witt, and Vicente P. Soloviev (Eds.) |
| Visual Text Analytics (Dagstuhl Seminar 22191) | |
|
(1,475 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 37-91, doi: 10.4230/DagRep.12.5.37 Christopher Collins, Antske Fokkens, Andreas Kerren, Chris Weaver, and Angelos Chatzimparmpas (Eds.) |
| Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192) | |
|
(2,426 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 92-111, doi: 10.4230/DagRep.12.5.92 Martin Gairing, Carolina Osorio, Britta Peis, David Watling, and Katharina Eickhoff (Eds.) |
| The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201) | |
|
(2,706 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 112-130, doi: 10.4230/DagRep.12.5.112 Martin Grohe, Venkatesan Guruswami, Dániel Marx, and Stanislav Živný (Eds.) |
| Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202) | |
|
(4,097 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 131-169, doi: 10.4230/DagRep.12.5.131 Jelmer Borst, Andreas Bulling, Cleotilde Gonzalez, and Nele Russwinkel (Eds.) |
| Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221) | |
|
(2,393 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 170-187, doi: 10.4230/DagRep.12.5.170 Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, and Ferre Knaepkens (Eds.) |
| Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222) | |
|
(4,496 KB) |
Dagstuhl Reports, Volume 12, Issue 5, pp. 188-230, doi: 10.4230/DagRep.12.5.188 Wendy Ju, Bastian Pfleging, and Andreas Riener (Eds.) |
(12,168 KB)
| Dagstuhl Reports, Volume 12, Issue 4, April 2022, Complete Issue | |
|
(12,168 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 1-97, doi: 10.4230/DagRep.12.4 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 4, 2022 | |
|
(221 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. i-ii, doi: 10.4230/DagRep.12.4.i |
| Symmetric Cryptography (Dagstuhl Seminar 22141) | |
|
(1,702 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 1-12, doi: 10.4230/DagRep.12.4.1 Nils Gregor Leander, Bart Mennink, María Naya-Plasencia, Yu Sasaki, and Eran Lambooij (Eds.) |
| Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161) | |
|
(1,640 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 13-25, doi: 10.4230/DagRep.12.4.13 Priyank Jaini, Kristian Kersting, Antonio Vergari, and Max Welling (Eds.) |
| Urban Mobility Analytics (Dagstuhl Seminar 22162) | |
|
(6,235 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 26-53, doi: 10.4230/DagRep.12.4.26 David Jonietz, Monika Sester, Kathleen Stewart, Stephan Winter, Martin Tomko, and Yanan Xin (Eds.) |
| Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171) | |
|
(2,332 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 54-71, doi: 10.4230/DagRep.12.4.54 Alvaro Cárdenas Mora, Simin Nadjm-Tehrani, Edgar Weippl, and Matthias Eckhart (Eds.) |
| Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172) | |
|
(1,916 KB) |
Dagstuhl Reports, Volume 12, Issue 4, pp. 72-95, doi: 10.4230/DagRep.12.4.72 Tilman Dingler, Benjamin Tag, and Andrew Vargo (Eds.) |
(25,243 KB)
| Dagstuhl Reports, Volume 12, Issue 3, March 2022, Complete Issue | |
|
(25,243 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 1-157, doi: 10.4230/DagRep.12.3 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 3, 2022 | |
|
(224 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. i-ii, doi: 10.4230/DagRep.12.3.i |
| Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101) | |
|
(5,684 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 1-14, doi: 10.4230/DagRep.12.3.1 Paolo Bientinesi, David Ham, Furong Huang, Paul H. J. Kelly, P. (Saday) Sadayappan, and Edward Stow (Eds.) |
| Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102) | |
|
(7,600 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 15-81, doi: 10.4230/DagRep.12.3.15 Christian P. Janssen, Martin Baumann, Antti Oulasvirta, Shamsi Tamara Iqbal, and Luisa Heinrich (Eds.) |
| Database Indexing and Query Processing (Dagstuhl Seminar 22111) | |
|
(5,275 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 82-96, doi: 10.4230/DagRep.12.3.82 Renata Borovica-Gajic, Goetz Graefe, Allison Lee, Caetano Sauer, and Pinar Tözün (Eds.) |
| 3D Morphable Models and Beyond (Dagstuhl Seminar 22121) | |
|
(643 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 97-116, doi: 10.4230/DagRep.12.3.97 James Gardner, Bernhard Egger, William Smith, Christian Theobalt, and Stefanie Wuhrer (Eds.) |
| Framing in Communication: From Theories to Computation (Dagstuhl Seminar 22131) | |
|
(3,761 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 117-140, doi: 10.4230/DagRep.12.3.117 Katarzyna Budzynska, Chris Reed, Manfred Stede, Benno Stein, and Zhang He (Eds.) |
| Graph Embeddings: Theory meets Practice (Dagstuhl Seminar 22132) | |
|
(4,225 KB) |
Dagstuhl Reports, Volume 12, Issue 3, pp. 141-155, doi: 10.4230/DagRep.12.3.141 Martin Grohe, Stephan Günnemann, Stefanie Jegelka, and Christopher Morris (Eds.) |
(29,399 KB)
| Dagstuhl Reports, Volume 12, Issue 2, February 2022, Complete Issue | |
|
(29,399 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 1-144, doi: 10.4230/DagRep.12.2 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 2, 2022 | |
|
(224 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. i-ii, doi: 10.4230/DagRep.12.2.i |
| Logic and Random Discrete Structures (Dagstuhl Seminar 22061) | |
|
(2,848 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 1-16, doi: 10.4230/DagRep.12.2.1 Erich Grädel, Phokion G. Kolaitis, Marc Noy, and Matthias Naaf (Eds.) |
| Computation and Reconfiguration in Low-Dimensional Topological Spaces (Dagstuhl Seminar 22062) | |
|
(6,416 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 17-66, doi: 10.4230/DagRep.12.2.17 Maike Buchin, Anna Lubiw, Arnaud de Mesmay, Saul Schleimer, and Florestan Brunck (Eds.) |
| New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) | |
|
(6,573 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 67-86, doi: 10.4230/DagRep.12.2.67 Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio (Eds.) |
| Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 22081) | |
|
(5,821 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 87-102, doi: 10.4230/DagRep.12.2.87 Anne Auger, Carlos M. Fonseca, Tobias Friedrich, Johannes Lengler, and Armand Gissler (Eds.) |
| Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082) | |
|
(4,020 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 103-133, doi: 10.4230/DagRep.12.2.103 Meinard Müller, Rachel Bittner, Juhan Nam, Michael Krause, and Yigitcan Özer (Eds.) |
| AI for the Social Good (Dagstuhl Seminar 22091) | |
|
(4,121 KB) |
Dagstuhl Reports, Volume 12, Issue 2, pp. 134-142, doi: 10.4230/DagRep.12.2.134 Claudia Clopath, Ruben De Winne, and Tom Schaul (Eds.) |
| Dagstuhl Reports, Volume 12, Issue 1, January 2022, Complete Issue | |
|
(24,725 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 1-132, doi: 10.4230/DagRep.12.1 |
| Dagstuhl Reports, Table of Contents, Volume 12, Issue 1, 2022 | |
|
(225 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. i-ii, doi: 10.4230/DagRep.12.1.i |
| Mobility Data Science (Dagstuhl Seminar 22021) | |
|
(4,653 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 1-34, doi: 10.4230/DagRep.12.1.1 Mohamed Mokbel et al. (Ed.) |
| Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022) | |
|
(4,358 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 35-66, doi: 10.4230/DagRep.12.1.35 Bettina Berendt, Stan Matwin, Chiara Renso, Fran Meissner, Francesca Pratesi, Alessandra Raffaetà, and Geoffrey Rockwell (Eds.) |
| Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031) | |
|
(7,013 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 67-82, doi: 10.4230/DagRep.12.1.67 Karsten Klein, Juan F. Sequeda, Hsiang-Yun Wu, and Da Yan (Eds.) |
| Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042) | |
|
(559 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 83-100, doi: 10.4230/DagRep.12.1.83 Frank Kargl, Ioannis Krontiris, André Weimerskirch, Ian Williams, and Nataša Trkulja (Eds.) |
| Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051) | |
|
(4,325 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 101-118, doi: 10.4230/DagRep.12.1.101 Albert Atserias, Christoph Berkholz, Kousha Etessami, and Joanna Ochremiak (Eds.) |
| The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052) | |
|
(4,061 KB) |
Dagstuhl Reports, Volume 12, Issue 1, pp. 119-130, doi: 10.4230/DagRep.12.1.119 Brett A. Becker, Paul Denny, Janet Siegmund, Andreas Stefik, and Eddie Antonio Santos (Eds.) |
(2,253 KB)
| Dagstuhl Reports, Volume 11, Issue 11, December 2021, Complete Issue | |
|
(2,253 KB) |
Dagstuhl Reports, Volume 11, Issue 11, pp. 1-57, doi: 10.4230/DagRep.11.11 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 11, 2021 | |
|
(210 KB) |
Dagstuhl Reports, Volume 11, Issue 11, pp. i-ii, doi: 10.4230/DagRep.11.11.i |
| Representing and Solving Spatial Problems (Dagstuhl Seminar 21492) | |
|
(2,070 KB) |
Dagstuhl Reports, Volume 11, Issue 11, pp. 1-55, doi: 10.4230/DagRep.11.11.1 Pedro Cabalar, Zoe Falomir, Paulo E. Santos, and Thora Tenbrink (Eds.) |
(23,193 KB)
| Dagstuhl Reports, Volume 11, Issue 10, November 2021, Complete Issue | |
|
(23,193 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 1-206, doi: 10.4230/DagRep.11.10 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 10, 2021 | |
|
(226 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. i-ii, doi: 10.4230/DagRep.11.10.i |
| Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441) | |
|
(2,864 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 1-19, doi: 10.4230/DagRep.11.10.1 Michael Gerndt, Masaaki Kondo, Barton P. Miller, and Tapasya Patki (Eds.) |
| Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442) | |
|
(1,891 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 20-35, doi: 10.4230/DagRep.11.10.20 Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger (Eds.) |
| Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451) | |
|
(2,536 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 36-56, doi: 10.4230/DagRep.11.10.36 Simon Dejung, Mingyan Liu, Arndt Lüder, and Edgar Weippl (Eds.) |
| Unambiguity in Automata Theory (Dagstuhl Seminar 21452) | |
|
(3,014 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 57-71, doi: 10.4230/DagRep.11.10.57 Thomas Colcombet, Karin Quaas, and Michał Skrzypczak (Eds.) |
| Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461) | |
|
(2,850 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 72-93, doi: 10.4230/DagRep.11.10.72 Mathieu Hoyrup, Arno Pauly, Victor Selivanov, and Mariya I. Soskova (Eds.) |
| Foundations of Persistent Programming (Dagstuhl Seminar 21462) | |
|
(2,533 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, doi: 10.4230/DagRep.11.10.94 Hans-J. Boehm, Ori Lahav, and Azalea Raad (Eds.) |
| Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471) | |
|
(2,885 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 111-150, doi: 10.4230/DagRep.11.10.111 Falai Chen, Tor Dokken, and Géraldine Morin (Eds.) |
| Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472) | |
|
(3,101 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 151-172, doi: 10.4230/DagRep.11.10.151 Thierry Coquand, Hajime Ishihara, Sara Negri, and Peter M. Schuster (Eds.) |
| Secure Compilation (Dagstuhl Seminar 21481) | |
|
(1,966 KB) |
Dagstuhl Reports, Volume 11, Issue 10, pp. 173-204, doi: 10.4230/DagRep.11.10.173 David Chisnall, Deepak Garg, Catalin Hritcu, and Mathias Payer (Eds.) |
(16,216 KB)
| Dagstuhl Reports, Volume 11, Issue 9, October 2021, Complete Issue | |
|
(16,216 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 1-121, doi: 10.4230/DagRep.11.9 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 9, 2021 | |
|
(224 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. i-ii, doi: 10.4230/DagRep.11.9.i |
| Visualization of Biological Data - From Analysis to Communication (Dagstuhl Seminar 21401) | |
|
(3,061 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 1-27, doi: 10.4230/DagRep.11.9.1 Karsten Klein, Georgeta Elisabeta Marai, Kay Katja Nieselt, and Blaz Zupan (Eds.) |
| Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402) | |
|
(484 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 28-44, doi: 10.4230/DagRep.11.9.28 Claude Kirchner, and Franziska Roesner (Eds.) |
| Machine Learning in Sports (Dagstuhl Seminar 21411) | |
|
(6,126 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 45-63, doi: 10.4230/DagRep.11.9.45 Ulf Brefeld, Jesse Davis, Martin Lames, and James J. Little (Eds.) |
| Quantum Cryptanalysis (Dagstuhl Seminar 21421) | |
|
(1,703 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 64-79, doi: 10.4230/DagRep.11.9.64 Stacey Jeffery, Michele Mosca, Maria Naya-Plasencia, and Rainer Steinwandt (Eds.) |
| Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431) | |
|
(2,301 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 80-101, doi: 10.4230/DagRep.11.9.80 Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, and Grigore Rosu (Eds.) |
| Probabilistic Numerical Methods - From Theory to Implementation (Dagstuhl Seminar 21432) | |
|
(2,801 KB) |
Dagstuhl Reports, Volume 11, Issue 9, pp. 102-119, doi: 10.4230/DagRep.11.9.102 Philipp Hennig, Ilse C.F. Ipsen, Maren Mahsereci, and Tim Sullivan (Eds.) |
(26,548 KB)
| Dagstuhl Reports, Volume 11, Issue 8, September 2021, Complete Issue | |
|
(26,548 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 1-130, doi: 10.4230/DagRep.11.8 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 8, 2021 | |
|
(223 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. i-ii, doi: 10.4230/DagRep.11.8.i |
| Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361) | |
|
(7,595 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 1-10, doi: 10.4230/DagRep.11.8.1 Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler (Eds.) |
| Structure and Learning (Dagstuhl Seminar 21362) | |
|
(3,132 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 11-34, doi: 10.4230/DagRep.11.8.11 Tiansi Dong, Achim Rettinger, Jie Tang, Barbara Tversky, and Frank van Harmelen (Eds.) |
| Integrated Deduction (Dagstuhl Seminar 21371) | |
|
(3,007 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 35-51, doi: 10.4230/DagRep.11.8.35 Maria Paola Bonacina, Philipp Rümmer, and Renate A. Schmidt (Eds.) |
| Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) | |
|
(4,160 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 52-75, doi: 10.4230/DagRep.11.8.52 Mariangiola Dezani, Roland Kuhn, Sam Lindley, and Alceste Scalas (Eds.) |
| Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381) | |
|
(5,098 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 76-114, doi: 10.4230/DagRep.11.8.76 Effie Lai-Chong Law, Asbjørn Følstad, Jonathan Grudin, and Björn Schuller (Eds.) |
| Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391) | |
|
(3,797 KB) |
Dagstuhl Reports, Volume 11, Issue 8, pp. 115-128, doi: 10.4230/DagRep.11.8.115 Daniel Král’, Michał Pilipczuk, Sebastian Siebertz, and Blair D. Sullivan (Eds.) |
(23,248 KB)
| Dagstuhl Reports, Volume 11, Issue 7, August 2021, Complete Issue | |
|
(23,248 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 1-180, doi: 10.4230/DagRep.11.7 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 7, 2021 | |
|
(222 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. i-ii, doi: 10.4230/DagRep.11.7.i |
| Coalition Formation Games (Dagstuhl Seminar 21331) | |
|
(4,645 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 1-15, doi: 10.4230/DagRep.11.7.1 Edith Elkind, Judy Goldsmith, Anja Rey, and Jörg Rothe (Eds.) |
| Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332) | |
|
(4,010 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 16-75, doi: 10.4230/DagRep.11.7.16 Philip Carns, Julian Kunkel, Kathryn Mohror, and Martin Schulz (Eds.) |
| Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 21342) | |
|
(3,279 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 76-88, doi: 10.4230/DagRep.11.7.76 Aaron Ding, Ella Peltonen, Sasu Tarkoma, and Lars Wolf (Eds.) |
| Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 21351) | |
|
(1,902 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 89-138, doi: 10.4230/DagRep.11.7.89 Timothy Baldwin, William Croft, Joakim Nivre, and Agata Savary (Eds.) |
| Higher-Order Graph Models: From Theoretical Foundations to Machine Learning (Dagstuhl Seminar 21352) | |
|
(9,572 KB) |
Dagstuhl Reports, Volume 11, Issue 7, pp. 139-178, doi: 10.4230/DagRep.11.7.139 Tina Eliassi-Rad, Vito Latora, Martin Rosvall, and Ingo Scholtes (Eds.) |
(15,333 KB)
| Dagstuhl Reports, Volume 11, Issue 6, July 2021, Complete Issue | |
|
(15,333 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 1-165, doi: 10.4230/DagRep.11.6 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 6, 2021 | |
|
(224 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. i-ii, doi: 10.4230/DagRep.11.6.i |
| Computational Proteomics (Dagstuhl Seminar 21271) | |
|
(2,609 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 1-13, doi: 10.4230/DagRep.11.6.1 Sebastian Böcker, Rebekah Gundry, Lennart Martens, and Magnus Palmblad (Eds.) |
| Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272) | |
|
(849 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 14-37, doi: 10.4230/DagRep.11.6.14 Vaibhav Bajpai, Oliver Hohlfeld, Jon Crowcroft, and Srinivasan Keshav (Eds.) |
| Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283) | |
|
(2,211 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 38-53, doi: 10.4230/DagRep.11.6.38 Stratos Idreos, Viktor Leis, Kai-Uwe Sattler, and Margo Seltzer (Eds.) |
| Scalable Handling of Effects (Dagstuhl Seminar 21292) | |
|
(1,519 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 54-81, doi: 10.4230/DagRep.11.6.54 Danel Ahman, Amal Ahmed, Sam Lindley, and Andreas Rossberg (Eds.) |
| Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293) | |
|
(5,882 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 82-123, doi: 10.4230/DagRep.11.6.82 Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, and Meirav Zehavi (Eds.) |
| Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301) | |
|
(2,145 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 124-146, doi: 10.4230/DagRep.11.6.124 Haris Aziz, Péter Biró, Tamás Fleiner, and Bettina Klaus (Eds.) |
| Approximate Systems (Dagstuhl Seminar 21302) | |
|
(2,441 KB) |
Dagstuhl Reports, Volume 11, Issue 6, pp. 147-163, doi: 10.4230/DagRep.11.6.147 Eva Darulova, Babak Falsafi, Andreas Gerstlauer, and Phillip Stanley-Marbell (Eds.) |
(15,233 KB)
| Dagstuhl Reports, Volume 11, Issue 5, June 2021, Complete Issue | |
|
(15,233 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 1-98, doi: 10.4230/DagRep.11.5 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 5, 2021 | |
|
(213 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. i-ii, doi: 10.4230/DagRep.11.5.i |
| Transparency by Design (Dagstuhl Seminar 21231) | |
|
(818 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 1-22, doi: 10.4230/DagRep.11.5.1 Judy Kay, Tsvi Kuflik, and Michael Rovatsos (Eds.) |
| Human-Computer Interaction to Support Work and Wellbeing in Mobile Environments (Dagstuhl Seminar 21232) | |
|
(9,070 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 23-53, doi: 10.4230/DagRep.11.5.23 Stephen Brewster, Andrew Kun, Andreas Riener, and Orit Shaer (Eds.) |
| Compute-First Networking (Dagstuhl Seminar 21243) | |
|
(1,405 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 54-75, doi: 10.4230/DagRep.11.5.54 Jon Crowcroft, Philip Eardley, Dirk Kutscher, and Eve M. Schooler (Eds.) |
| Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261) | |
|
(3,143 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 76-88, doi: 10.4230/DagRep.11.5.76 Bill Fefferman, Sevag Gharibian, Norbert Schuch, and Barbara Terhal (Eds.) |
| Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262) | |
|
(940 KB) |
Dagstuhl Reports, Volume 11, Issue 5, pp. 89-96, doi: 10.4230/DagRep.11.5.89 Ana Aguiar, Onur Altintas, Falko Dressler, and Gunnar Karlsson (Eds.) |
(4,832 KB)
| Dagstuhl Reports, Volume 11, Issue 4, May 2021, Complete Issue | |
|
(4,832 KB) |
Dagstuhl Reports, Volume 11, Issue 4, pp. 1-95, doi: 10.4230/DagRep.11.4 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 4, 2021 | |
|
(217 KB) |
Dagstuhl Reports, Volume 11, Issue 4, pp. i-ii, doi: 10.4230/DagRep.11.4.i |
| Computational Geometry (Dagstuhl Seminar 21181) | |
|
(556 KB) |
Dagstuhl Reports, Volume 11, Issue 4, pp. 1-19, doi: 10.4230/DagRep.11.4.1 Siu-Wing Cheng, Anne Driemel, and Jeff M. Phillips (Eds.) |
| Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192) | |
|
(1,856 KB) |
Dagstuhl Reports, Volume 11, Issue 4, pp. 20-33, doi: 10.4230/DagRep.11.4.20 Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid (Eds.) |
| Serverless Computing (Dagstuhl Seminar 21201) | |
|
(2,399 KB) |
Dagstuhl Reports, Volume 11, Issue 4, pp. 34-93, doi: 10.4230/DagRep.11.4.34 Cristina Abad, Ian T. Foster, Nikolas Herbst, and Alexandru Iosup (Eds.) |
(6,990 KB)
| Dagstuhl Reports, Volume 11, Issue 3, April 2021, Complete Issue | |
|
(6,990 KB) |
Dagstuhl Reports, Volume 11, Issue 3, pp. 1-48, doi: 10.4230/DagRep.11.3 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 3, 2021 | |
|
(215 KB) |
Dagstuhl Reports, Volume 11, Issue 3, pp. i-ii, doi: 10.4230/DagRep.11.3.i |
| Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152) | |
|
(5,842 KB) |
Dagstuhl Reports, Volume 11, Issue 3, pp. 1-15, doi: 10.4230/DagRep.11.3.1 Katy Börner, and Stephen Kobourov (Eds.) |
| Temporal Graphs: Structure, Algorithms, Applications (Dagstuhl Seminar 21171) | |
|
(1,287 KB) |
Dagstuhl Reports, Volume 11, Issue 3, pp. 16-46, doi: 10.4230/DagRep.11.3.16 Arnaud Casteigts, Kitty Meeks, George B. Mertzios, and Rolf Niedermeier (Eds.) |
(1,424 KB)
| Dagstuhl Reports, Volume 11, Issue 2, March 2021, Complete Issue | |
|
(1,424 KB) |
Dagstuhl Reports, Volume 11, Issue 2, pp. 1-18, doi: 10.4230/DagRep.11.2 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 2, 2021 | |
|
(211 KB) |
Dagstuhl Reports, Volume 11, Issue 2, pp. i-ii, doi: 10.4230/DagRep.11.2.i |
| Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121) | |
|
(1,326 KB) |
Dagstuhl Reports, Volume 11, Issue 2, pp. 1-16, doi: 10.4230/DagRep.11.2.1 Anna Gál, Meena Mahajan, Rahul Santhanam, and Till Tantau (Eds.) |
(9,840 KB)
| Dagstuhl Reports, Volume 11, Issue 1, February 2021, Complete Issue | |
|
(9,840 KB) |
Dagstuhl Reports, Volume 11, Issue 1, pp. 1-102, doi: 10.4230/DagRep.11.1 |
| Dagstuhl Reports, Table of Contents, Volume 11, Issue 1, 2021 | |
|
(214 KB) |
Dagstuhl Reports, Volume 11, Issue 1, pp. i-ii, doi: 10.4230/DagRep.11.1.i |
| Scalable Data Structures (Dagstuhl Seminar 21071) | |
|
(1,769 KB) |
Dagstuhl Reports, Volume 11, Issue 1, pp. 1-23, doi: 10.4230/DagRep.11.1.1 Gerth Stølting Brodal, John Iacono, Markus E. Nebel, and Vijaya Ramachandran (Eds.) |
| Autonomous Agents on the Web (Dagstuhl Seminar 21072) | |
|
(8,775 KB) |
Dagstuhl Reports, Volume 11, Issue 1, pp. 24-100, doi: 10.4230/DagRep.11.1.24 Olivier Boissier, Andrei Ciortea, Andreas Harth, and Alessandro Ricci (Eds.) |
(2,015 KB)
| DagRep, Volume 10, Issue 5, October 2020, Complete Issue | |
|
(2,015 KB) |
Dagstuhl Reports, Volume 10, Issue 5, pp. 1-20, doi: 10.4230/DagRep.10.5 |
| Dagstuhl Reports, Table of Contents, Volume 10, Issue 5, 2020 | |
|
(176 KB) |
Dagstuhl Reports, Volume 10, Issue 5, pp. i-ii, doi: 10.4230/DagRep.10.5.i |
| Decision-Making Modeling and Solutions for Smart Semiconductor Manufacturing (Dagstuhl Seminar 20452) | |
|
(1,819 KB) |
Dagstuhl Reports, Volume 10, Issue 5, pp. 1-18, doi: 10.4230/DagRep.10.5.1 Chen-Fu Chien, Hans Ehm, John W. Fowler, and Lars Mönch (Eds.) |
(4,133 KB)
| DagRep, Volume 10, Issue 4, September 2020, Complete Issue | |
|
(4,133 KB) |
Dagstuhl Reports, Volume 10, Issue 4, pp. 1-44, doi: 10.4230/DagRep.10.4 |
| Dagstuhl Reports, Table of Contents, Volume 10, Issue 4, 2020 | |
|
(158 KB) |
Dagstuhl Reports, Volume 10, Issue 4, pp. i-ii, doi: 10.4230/DagRep.10.4.i |
| Beyond Adaptation: Understanding Distributional Changes (Dagstuhl Seminar 20372) | |
|
(2,631 KB) |
Dagstuhl Reports, Volume 10, Issue 4, pp. 1-36, doi: 10.4230/DagRep.10.4.1 Georg Krempl, Vera Hofer, Geoffrey Webb, and Eyke Hüllermeier (Eds.) |
| Interactive Visualization for Fostering Trust in AI (Dagstuhl Seminar 20382) | |
|
(1,431 KB) |
Dagstuhl Reports, Volume 10, Issue 4, pp. 37-42, doi: 10.4230/DagRep.10.4.37 Daniela Oelke, Daniel A. Keim, Polo Chau, and Alex Endert (Eds.) |
(8,763 KB)
| Dagstuhl Reports, Volume 10, Issue 3, March 2020, Complete Issue | |
|
(8,763 KB) |
Dagstuhl Reports, Volume 10, Issue 3, pp. 1-72, doi: 10.4230/DagRep.10.3 |
| Dagstuhl Reports, Table of Contents, Volume 10, Issue 3, 2020 | |
|
(158 KB) |
Dagstuhl Reports, Volume 10, Issue 3, pp. i-ii, doi: 10.4230/DagRep.10.3.i |
| Resiliency in Numerical Algorithm Design for Extreme Scale Simulations (Dagstuhl Seminar 20101) | |
|
(4,639 KB) |
Dagstuhl Reports, Volume 10, Issue 3, pp. 1-57, doi: 10.4230/DagRep.10.3.1 Luc Giraud, Ulrich Rüde, and Linda Stals (Eds.) |
| Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111) | |
|
(4,053 KB) |
Dagstuhl Reports, Volume 10, Issue 3, pp. 58-70, doi: 10.4230/DagRep.10.3.58 Paolo Bientinesi, David Ham, Furong Huang, Paul H. J. Kelly, Christian Lengauer, and Saday Sadayappan (Eds.) |
(33,087 KB)
| Dagstuhl Reports, Volume 10, Issue 2, February 2020, Complete Issue | |
|
(33,087 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. 1-89, doi: 10.4230/DagRep.10.2 |
| Dagstuhl Reports, Table of Contents, Volume 10, Issue 2, 2020 | |
|
(162 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. i-ii, doi: 10.4230/DagRep.10.2.i |
| SAT and Interactions (Dagstuhl Seminar 20061) | |
|
(6,697 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. 1-18, doi: 10.4230/DagRep.10.2.1 Olaf Beyersdorff, Uwe Egly, Meena Mahajan, and Cláudia Nalon (Eds.) |
| Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) | |
|
(10,451 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. 19-49, doi: 10.4230/DagRep.10.2.19 Alexander Artikis, Thomas Eiter, Alessandro Margara, and Stijn Vansummeren (Eds.) |
| Scheduling (Dagstuhl Seminar 20081) | |
|
(7,930 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. 50-75, doi: 10.4230/DagRep.10.2.50 Nicole Megow, David Shmoys, and Ola Svensson (Eds.) |
| SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091) | |
|
(8,083 KB) |
Dagstuhl Reports, Volume 10, Issue 2, pp. 76-87, doi: 10.4230/DagRep.10.2.76 Kristian Kersting, Miryung Kim, Guy Van den Broeck, and Thomas Zimmermann (Eds.) |
(30,289 KB)
| Dagstuhl Reports, Volume 10, Issue 1, January 2020, Complete Issue | |
|
(30,289 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. 1-161, doi: 10.4230/DagRep.10.1 |
| Dagstuhl Reports, Table of Contents, Volume 10, Issue 1, 2020 | |
|
(153 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. i-ii, doi: 10.4230/DagRep.10.1.i |
| Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction (Dagstuhl Seminar 20021) | |
|
(10,642 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. 1-51, doi: 10.4230/DagRep.10.1.1 Laurence Devillers, Tatsuya Kawahara, Roger K. Moore, and Matthias Scheutz (Eds.) |
| Scalability in Multiobjective Optimization (Dagstuhl Seminar 20031) | |
|
(2,704 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. 52-129, doi: 10.4230/DagRep.10.1.52 Carlos M. Fonseca, Kathrin Klamroth, Günter Rudolph, and Margaret M. Wiecek (Eds.) |
| Symmetric Cryptography (Dagstuhl Seminar 20041) | |
|
(8,190 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. 130-143, doi: 10.4230/DagRep.10.1.130 Nils Gregor Leander, Bart Mennink, Kaisa Nyberg, and Kan Yasuda (Eds.) |
| Computational Metabolomics: From Cheminformatics to Machine Learning (Dagstuhl Seminar 20051) | |
|
(8,805 KB) |
Dagstuhl Reports, Volume 10, Issue 1, pp. 144-159, doi: 10.4230/DagRep.10.1.144 Sebastian Böcker, Corey Broeckling, Emma Schymanski, and Nicola Zamboni (Eds.) |
(36,495 KB)
| Dagstuhl Reports, Volume 9, Issue 12, December 2019, Complete Issue | |
|
(36,495 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. 1-136, doi: 10.4230/DagRep.9.12 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 12, 2019 | |
|
(185 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. i-ii, doi: 10.4230/DagRep.9.12.i |
| Big Graph Processing Systems (Dagstuhl Seminar 19491) | |
|
(8,557 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. 1-27, doi: 10.4230/DagRep.9.12.1 Angela Bonifati, Alexandru Iosup, Sherif Sakr, and Hannes Voigt (Eds.) |
| Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502) | |
|
(8,498 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. 28-66, doi: 10.4230/DagRep.9.12.28 Dirk Ziegenbein, Selma Saidi, Xiaobo Sharon Hu, and Sebastian Steinhorst (Eds.) |
| Artificial and Computational Intelligence in Games: Revolutions in Computational Game AI (Dagstuhl Seminar 19511) | |
|
(10,761 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. 67-114, doi: 10.4230/DagRep.9.12.67 Jialin Liu, Tom Schaul, Pieter Spronck, and Julian Togelius (Eds.) |
| Interactive Design and Simulation (Dagstuhl Seminar 19512) | |
|
(8,707 KB) |
Dagstuhl Reports, Volume 9, Issue 12, pp. 115-134, doi: 10.4230/DagRep.9.12.115 Thomas A. Grandine, Jörg Peters, and Ulrich Reif (Eds.) |
(46,752 KB)
| Dagstuhl Reports, Volume 9, Issue 11, November 2019, Complete Issue | |
|
(46,752 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 1-126, doi: 10.4230/DagRep.9.11 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 11, 2019 | |
|
(193 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. i-ii, doi: 10.4230/DagRep.9.11.i |
| Biggest Failures in Security (Dagstuhl Seminar 19451) | |
|
(6,836 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 1-23, doi: 10.4230/DagRep.9.11.1 Frederik Armknecht, Ingrid Verbauwhede, Melanie Volkamer, and Moti Yung (Eds.) |
| Machine Learning Meets Visualization to Make Artificial Intelligence Interpretable (Dagstuhl Seminar 19452) | |
|
(5,927 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 24-33, doi: 10.4230/DagRep.9.11.24 Enrico Bertini, Peer-Timo Bremer, Daniela Oelke, and Jayaraman Thiagarajan (Eds.) |
| Conversational Search (Dagstuhl Seminar 19461) | |
|
(8,933 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 34-83, doi: 10.4230/DagRep.9.11.34 Avishek Anand, Lawrence Cavedon, Hideo Joho, Mark Sanderson, and Benno Stein (Eds.) |
| BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471) | |
|
(7,946 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 84-96, doi: 10.4230/DagRep.9.11.84 Margaret-Anne Storey, Alexander Serebrenik, Carolyn Penstein Rosé, Thomas Zimmermann, and James D. Herbsleb (Eds.) |
| Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481) | |
|
(11,325 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 97-116, doi: 10.4230/DagRep.9.11.97 Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler (Eds.) |
| Diversity, Fairness, and Data-Driven Personalization in (News) Recommender System (Dagstuhl Perspectives Workshop 19482) | |
|
(5,959 KB) |
Dagstuhl Reports, Volume 9, Issue 11, pp. 117-124, doi: 10.4230/DagRep.9.11.117 Abraham Bernstein, Claes De Vreese, Natali Helberger, Wolfgang Schulz, and Katharina A. Zweig (Eds.) |
(19,268 KB)
| Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue | |
|
(19,268 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 1-153, doi: 10.4230/DagRep.9.10 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019 | |
|
(201 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. i-ii, doi: 10.4230/DagRep.9.10.i |
| Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411) | |
|
(3,803 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 1-46, doi: 10.4230/DagRep.9.10.1 Elisabeth André, Ana Paiva, Julie Shah, and Selma Šabanovic (Eds.) |
| Quantum Cryptanalysis (Dagstuhl Seminar 19421) | |
|
(3,291 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 47-60, doi: 10.4230/DagRep.9.10.47 Michele Mosca, Maria Naya-Plasencia, and Rainer Steinwandt (Eds.) |
| Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431) | |
|
(3,966 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 61-94, doi: 10.4230/DagRep.9.10.61 Carola Doerr, Carlos M. Fonseca, Tobias Friedrich, and Xin Yao (Eds.) |
| Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432) | |
|
(2,305 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 95-116, doi: 10.4230/DagRep.9.10.95 Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker and (Eds.) |
| Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442) | |
|
(3,223 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 117-133, doi: 10.4230/DagRep.9.10.117 Carla Ferreira, Philipp Haller, and Guido Salvaneschi (Eds.) |
| Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443) | |
|
(2,864 KB) |
Dagstuhl Reports, Volume 9, Issue 10, pp. 134-151, doi: 10.4230/DagRep.9.10.134 Magnus Bordewich, Britta Dorn, Simone Linz, and Rolf Niedermeier (Eds.) |
(20,834 KB)
| Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue | |
|
(20,834 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 1-157, doi: 10.4230/DagRep.9.9 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 9, 2019 | |
|
(200 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. i-ii, doi: 10.4230/DagRep.9.9.i |
| Logic and Learning (Dagstuhl Seminar 19361) | |
|
(4,300 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 1-22, doi: 10.4230/DagRep.9.9.1 Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, and Daniel Neider (Eds.) |
| Deduction Beyond Satisfiability (Dagstuhl Seminar 19371) | |
|
(3,426 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 23-44, doi: 10.4230/DagRep.9.9.23 Carsten Fuhs, Philipp Rümmer, Renate Schmidt, and Cesare Tinelli (Eds.) |
| Application-Oriented Computational Social Choice (Dagstuhl Seminar 19381) | |
|
(4,445 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 45-65, doi: 10.4230/DagRep.9.9.45 Umberto Grandi, Stefan Napel, Rolf Niedermeier,, and Kristen Brent Venable (Eds.) |
| Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391) | |
|
(5,991 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 66-134, doi: 10.4230/DagRep.9.9.66 Cinzia Cappiello, Avigdor Gal, Matthias Jarke, and Jakob Rehof (Eds.) |
| Comparative Theory for Graph Polynomials (Dagstuhl Seminar 19401) | |
|
(3,663 KB) |
Dagstuhl Reports, Volume 9, Issue 9, pp. 135-155, doi: 10.4230/DagRep.9.9.135 Jo Ellis-Monaghan, Andrew Goodall, Iain Moffatt, and Kerri Morgan (Eds.) |
(19,950 KB)
| Dagstuhl Reports, Volume 9, Issue 8, August 2019, Complete Issue | |
|
(19,950 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 0-0, doi: 10.4230/DagRep.9.8 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 8, 2019 | |
|
(191 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. i-ii, doi: 10.4230/DagRep.9.8.i |
| Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331) | |
|
(4,394 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 1-25, doi: 10.4230/DagRep.9.8.1 Bjorn De Sutter, Christian Collberg, Mila Dalla Preda, and Brecht Wyseur (Eds.) |
| Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 19341) | |
|
(3,301 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 26-48, doi: 10.4230/DagRep.9.8.26 Dmitriy Bilyk, Aicke Hinrichs, Frances Y. Kuo, and Klaus Ritter (Eds.) |
| Advances and Challenges in Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 19342) | |
|
(3,797 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 49-69, doi: 10.4230/DagRep.9.8.49 Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani (Eds.) |
| Computational Proteomics (Dagstuhl Seminar 19351) | |
|
(2,841 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 70-83, doi: 10.4230/DagRep.9.8.70 Nuno Bandeira, and Lennart Martens (Eds.) |
| Computation in Low-Dimensional Geometry and Topology (Dagstuhl Seminar 19352) | |
|
(5,793 KB) |
Dagstuhl Reports, Volume 9, Issue 8, pp. 84-112, doi: 10.4230/DagRep.9.8.84 Maarten Löffler, Anna Lubiw, Saul Schleimer, and Erin Moriarty Wolf Chambers (Eds.) |
(17,275 KB)
| Dagstuhl Reports, Volume 9, Issue 7, July 2019, Complete Issue | |
|
(17,275 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 0-0, doi: 10.4230/DagRep.9.7 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 7, 2019 | |
|
(189 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. i-ii, doi: 10.4230/DagRep.9.7.i |
| Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281) | |
|
(2,451 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 1-23, doi: 10.4230/DagRep.9.7.1 Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, and Jan Vahrenhold (Eds.) |
| Data Series Management (Dagstuhl Seminar 19282) | |
|
(2,777 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 24-39, doi: 10.4230/DagRep.9.7.24 Anthony Bagnall, Richard L. Cole, Themis Palpanas, and Konstantinos Zoumpatianos (Eds.) |
| Values in Computing (Dagstuhl Seminar 19291) | |
|
(3,332 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 40-77, doi: 10.4230/DagRep.9.7.40 Christoph Becker, Gregor Engels, Andrew Feenberg, Maria Angela Ferrario, and Geraldine Fitzpatrick (Eds.) |
| Mobile Data Visualization (Dagstuhl Seminar 19292) | |
|
(865 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 78-93, doi: 10.4230/DagRep.9.7.78 Eun Kyoung Choe, Raimund Dachselt, Petra Isenberg, and Bongshin Lee (Eds.) |
| Secure Composition for Hardware Systems (Dagstuhl Seminar 19301) | |
|
(4,140 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 94-116, doi: 10.4230/DagRep.9.7.94 Divya Arora, Ilia Polian, Francesco Regazzoni, and Patrick Schaumont (Eds.) |
| Cybersafety Threats - from Deception to Aggression (Dagstuhl Seminar 19302) | |
|
(4,049 KB) |
Dagstuhl Reports, Volume 9, Issue 7, pp. 117-154, doi: 10.4230/DagRep.9.7.117 Zinaida Benenson, Marianne Junger, Daniela Oliveira, and Gianluca Stringhini (Eds.) |
(28,972 KB)
| Dagstuhl Reports, Volume 9, Issue 6, June 2019, Complete Issue | |
|
(28,972 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 0-0, doi: 10.4230/DagRep.9.6 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 6, 2019 | |
|
(193 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. i-ii, doi: 10.4230/DagRep.9.6.i |
| Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231) | |
|
(3,427 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 1-25, doi: 10.4230/DagRep.9.6.1 Adam Shostack, Matthew Smith, Sam Weber, and Mary Ellen Zurko (Eds.) |
| Ubiquitous Computing Education: Why, What, and How (Dagstuhl Seminar 19232) | |
|
(4,972 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 26-54, doi: 10.4230/DagRep.9.6.26 Audrey Girouard, Andrew L. Kun, Anne Roudaut, and Orit Shaer (Eds.) |
| 25 Years of the Burrows-Wheeler Transform (Dagstuhl Seminar 19241) | |
|
(4,505 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 55-68, doi: 10.4230/DagRep.9.6.55 Travis Gagie, Giovanni Manzini, Gonzalo Navarro, and Jens Stoye (Eds.) |
| Distributed Computing with Permissioned Blockchains and Databases (Dagstuhl Seminar 19261) | |
|
(3,560 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 69-94, doi: 10.4230/DagRep.9.6.69 C. Mohan, Beng Chin Ooi, and Gottfried Vossen (Eds.) |
| Astrographics: Interactive Data-Driven Journeys through Space (Dagstuhl Seminar 19262) | |
|
(3,428 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 95-124, doi: 10.4230/DagRep.9.6.95 Alyssa A. Goodman, Charles D. Hansen, Daniel Weiskopf, and Anders Ynnerman (Eds.) |
| Graph Colouring: from Structure to Algorithms (Dagstuhl Seminar 19271) | |
|
(3,631 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 125-142, doi: 10.4230/DagRep.9.6.125 Maria Chudnovsky, Daniel Paulusma, and Oliver Schaudt (Eds.) |
| Real VR - Importing the Real World into Immersive VR and Optimizing the Perceptual Experience of Head-Mounted Displays (Dagstuhl Seminar 19272) | |
|
(5,802 KB) |
Dagstuhl Reports, Volume 9, Issue 6, pp. 143-156, doi: 10.4230/DagRep.9.6.143 Marcus A. Magnor, and Alexander Sorkine-Hornung (Eds.) |
(23,867 KB)
| Dagstuhl Reports, Volume 9, Issue 5, May 2019, Complete Issue | |
|
(23,867 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 0-0, doi: 10.4230/DagRep.9.5 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 5, 2019 | |
|
(201 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. i-ii, doi: 10.4230/DagRep.9.5.i |
| Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191) | |
|
(4,447 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 1-30, doi: 10.4230/DagRep.9.5.1 Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer (Eds.) |
| Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192) | |
|
(5,320 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 31-57, doi: 10.4230/DagRep.9.5.31 Sara Irina Fabrikant, Silvia Miksch, and Alexander Wolff (Eds.) |
| Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202) | |
|
(2,715 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 58-88, doi: 10.4230/DagRep.9.5.58 Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid (Eds.) |
| Enumeration in Data Management (Dagstuhl Seminar 19211) | |
|
(3,630 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 89-109, doi: 10.4230/DagRep.9.5.89 Endre Boros, Benny Kimelfeld, Reinhard Pichler, and Nicole Schweikardt (Eds.) |
| Topology, Computation and Data Analysis (Dagstuhl Seminar 19212) | |
|
(3,888 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 110-131, doi: 10.4230/DagRep.9.5.110 Michael Kerber, Vijay Natarajan, and Bei Wang (Eds.) |
| Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222) | |
|
(4,162 KB) |
Dagstuhl Reports, Volume 9, Issue 5, pp. 132-141, doi: 10.4230/DagRep.9.5.132 John S. Baras, Sandra Hirche, Kay Römer, and Klaus Wehrle (Eds.) |
(47,730 KB)
| Dagstuhl Reports, Volume 9, Issue 4, April 2019, Complete Issue | |
|
(47,730 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 0-0, doi: 10.4230/DagRep.9.4 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 4, 2019 | |
|
(203 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. i-ii, doi: 10.4230/DagRep.9.4.i |
| Visual Computing in Materials Sciences (Dagstuhl Seminar 19151) | |
|
(8,736 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 1-42, doi: 10.4230/DagRep.9.4.1 Christoph Heinzl, Robert Michael Kirby, Stepan V. Lomov, Guillermo Requena, and Rüdiger Westermann (Eds.) |
| Emerging Hardware Techniques and EDA Methodologies for Neuromorphic Computing (Dagstuhl Seminar 19152) | |
|
(7,121 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 43-58, doi: 10.4230/DagRep.9.4.43 Krishnendu Chakrabarty, Tsung-Yi Ho, Hai Li, and Ulf Schlichtmann (Eds.) |
| Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171) | |
|
(7,767 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 59-86, doi: 10.4230/DagRep.9.4.59 Michael Fisher, Christian List, Marija Slavkovik, and Astrid Weiss (Eds.) |
| Computational Creativity Meets Digital Literary Studies (Dagstuhl Seminar 19172) | |
|
(8,693 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 87-106, doi: 10.4230/DagRep.9.4.87 Tarek Richard Besold, Pablo Gervás, Evelyn Gius, and Sarah Schulz (Eds.) |
| Computational Geometry (Dagstuhl Seminar 19181) | |
|
(8,740 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 107-123, doi: 10.4230/DagRep.9.4.107 Siu-Wing Cheng, Anne Driemel, and Jeff Erickson (Eds.) |
| Multi-Document Information Consolidation (Dagstuhl Seminar 19182) | |
|
(6,856 KB) |
Dagstuhl Reports, Volume 9, Issue 4, pp. 124-140, doi: 10.4230/DagRep.9.4.124 Ido Dagan, Iryna Gurevych, Dan Roth, and Amanda Stent (Eds.) |
(94,340 KB)
| Dagstuhl Reports, Volume 9, Issue 3, March 2019, Complete Issue | |
|
(94,340 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 0-0, doi: 10.4230/DagRep.9.3 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 3, 2019 | |
|
(204 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. i-ii, doi: 10.4230/DagRep.9.3.i |
| Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101) | |
|
(3,158 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 1-15, doi: 10.4230/DagRep.9.3.1 Kunal Agrawal, Enrico Bini, and Giovanni Stea (Eds.) |
| 3D Morphable Models (Dagstuhl Seminar 19102) | |
|
(3,959 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 16-38, doi: 10.4230/DagRep.9.3.16 Bernhard Egger, William Smith, Christian Theobalt, and Thomas Vetter (Eds.) |
| Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111) | |
|
(9,109 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 39-51, doi: 10.4230/DagRep.9.3.39 Martin Farach-Colton, Inge Li Gørtz, Rob Johnson, and Donald E. Porter (Eds.) |
| Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112) | |
|
(3,230 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 52-63, doi: 10.4230/DagRep.9.3.52 Jürgen Dix, Brian Logan, and Michael Winikoff (Eds.) |
| Computational Complexity of Discrete Problems (Dagstuhl Seminar 19121) | |
|
(4,281 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 64-82, doi: 10.4230/DagRep.9.3.64 Anna Gál, Rahul Santhanam, and Till Tantau (Eds.) |
| Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131) | |
|
(3,827 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 83-110, doi: 10.4230/DagRep.9.3.83 Volker Diekert, Olga Kharlampovich, Markus Lohrey, and Alexei Myasnikov (Eds.) |
| Users and automated driving systems: How will we interact with tomorrow's vehicles? (Dagstuhl Seminar 19132) | |
|
(56,829 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 111-178, doi: 10.4230/DagRep.9.3.111 Susanne Boll, Andrew L. Kun, Andreas Riener, and C.Y. David Yang (Eds.) |
| Programmable Network Data Planes (Dagstuhl Seminar 19141) | |
|
(10,531 KB) |
Dagstuhl Reports, Volume 9, Issue 3, pp. 178-201, doi: 10.4230/DagRep.9.3.178 Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, and Justine Sherry (Eds.) |
(62,321 KB)
| Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue | |
|
(62,321 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 0-0, doi: 10.4230/DagRep.9.2 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 2, 2019 | |
|
(194 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. i-ii, doi: 10.4230/DagRep.9.2.i |
| Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061) | |
|
(9,388 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 1-26, doi: 10.4230/DagRep.9.2.1 Mikko Kivelä, Fintan McGee, Guy Melançon, Nathalie Henry Riche, and Tatiana von Landesberger (Eds.) |
| Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062) | |
|
(6,016 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 27-47, doi: 10.4230/DagRep.9.2.27 Sébastien Bardin, Nikolaj S. Bjørner, and Cristian Cadar (Eds.) |
| Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071) | |
|
(10,426 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 48-72, doi: 10.4230/DagRep.9.2.48 Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic (Eds.) |
| The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072) | |
|
(10,705 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 73-90, doi: 10.4230/DagRep.9.2.73 Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, and Renata Wassermann (Eds.) |
| Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081) | |
|
(9,071 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 91-110, doi: 10.4230/DagRep.9.2.91 Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit (Eds.) |
| AI for the Social Good (Dagstuhl Seminar 19082) | |
|
(8,395 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 111-122, doi: 10.4230/DagRep.9.2.111 Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Tom Schaul (Eds.) |
| Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092) | |
|
(8,676 KB) |
Dagstuhl Reports, Volume 9, Issue 2, pp. 123-156, doi: 10.4230/DagRep.9.2.123 Seok-Hee Hong, Michael Kaufmann, János Pach, and Csaba D. Tóth (Eds.) |
(59,292 KB)
| Dagstuhl Reports, Volume 9, Issue 1, January 2019, Complete Issue | |
|
(59,292 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 0-0, doi: 10.4230/DagRep.9.1 |
| Dagstuhl Reports, Table of Contents, Volume 9, Issue 1, 2019 | |
|
(204 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. i-ii, doi: 10.4230/DagRep.9.1.i |
| Joint Processing of Language and Visual Data for Better Automated Understanding (Dagstuhl Seminar 19021) | |
|
(8,176 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 1-27, doi: 10.4230/DagRep.9.1.1 Marie-Francine Moens, Lucia Specia, and Tinne Tuytelaars (Eds.) |
| Logics for Dependence and Independence (Dagstuhl Seminar 19031) | |
|
(7,014 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 28-46, doi: 10.4230/DagRep.9.1.28 Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, and Heribert Vollmer (Eds.) |
| Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032) | |
|
(9,182 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 47-66, doi: 10.4230/DagRep.9.1.47 Guillaume Aucher, Paul Egré, Gabriele Kern-Isberner, and Francesca Poggiolesi (Eds.) |
| New Horizons in Parameterized Complexity (Dagstuhl Seminar 19041) | |
|
(9,072 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 67-87, doi: 10.4230/DagRep.9.1.67 Fedor V. Fomin, Dániel Marx, Saket Saurabh, and Meirav Zehavi (Eds.) |
| Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042) | |
|
(9,044 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 88-103, doi: 10.4230/DagRep.9.1.88 Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, and Alessandra Scafuro (Eds.) |
| Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051) | |
|
(8,861 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 104-124, doi: 10.4230/DagRep.9.1.104 Gerth Stølting Brodal, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick (Eds.) |
| Computational Methods for Melody and Voice Processing in Music Recordings (Dagstuhl Seminar 19052) | |
|
(8,237 KB) |
Dagstuhl Reports, Volume 9, Issue 1, pp. 125-177, doi: 10.4230/DagRep.9.1.125 Meinard Müller, Emilia Gómez, and Yi-Hsuan Yang (Eds.) |
(10,857 KB)
| Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue | |
|
(10,857 KB) |
Dagstuhl Reports, Volume 8, Issue 12, pp. 0-0, doi: 10.4230/DagRep.8.12 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 12, 2018 | |
|
(184 KB) |
Dagstuhl Reports, Volume 8, Issue 12, pp. i-ii, doi: 10.4230/DagRep.8.12.i |
| Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491) | |
|
(5,870 KB) |
Dagstuhl Reports, Volume 8, Issue 12, pp. 1-48, doi: 10.4230/DagRep.8.12.1 Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev (Eds.) |
| Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511) | |
|
(4,889 KB) |
Dagstuhl Reports, Volume 8, Issue 12, pp. 49-67, doi: 10.4230/DagRep.8.12.49 Eimear Byrne, Martin Bossert, and Antonia Wachter-Zeh (Eds.) |
(25,299 KB)
| Dagstuhl Reports, Volume 8, Issue 11, November 2018, Complete Issue | |
|
(25,299 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 0-0, doi: 10.4230/DagRep.8.11 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 11, 2018 | |
|
(193 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. i-ii, doi: 10.4230/DagRep.8.11.i |
| Genomics, Pattern Avoidance, and Statistical Mechanics (Dagstuhl Seminar 18451) | |
|
(4,901 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 1-20, doi: 10.4230/DagRep.8.11.1 Michael Albert, David Bevan, Miklós Bóna, and István Miklós (Eds.) |
| Blockchain Security at Scale (Dagstuhl Seminar 18461) | |
|
(3,330 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 21-34, doi: 10.4230/DagRep.8.11.21 Rainer Böhme, Joseph Bonneau, and Ittay Eyal (Eds.) |
| Provenance and Logging for Sense Making (Dagstuhl Seminar 18462) | |
|
(3,484 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 35-62, doi: 10.4230/DagRep.8.11.35 Jean-Daniel Fekete, T. J. Jankun-Kelly, Melanie Tory, and Kai Xu (Eds.) |
| Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471) | |
|
(4,862 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 63-90, doi: 10.4230/DagRep.8.11.63 Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, and Markus Stumptner (Eds.) |
| Implementing FAIR Data Infrastructures (Dagstuhl Perspectives Workshop 18472) | |
|
(3,933 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 91-111, doi: 10.4230/DagRep.8.11.91 Natalia Manola, Peter Mutschke, Guido Scherp, Klaus Tochtermann, and Peter Wittenburg (Eds.) |
| High Throughput Connectomics (Dagstuhl Seminar 18481) | |
|
(2,928 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 112-138, doi: 10.4230/DagRep.8.11.112 Moritz Helmstaedter, Jeff Lichtman, and Nir Shavit (Eds.) |
| Network Visualization in the Humanities (Dagstuhl Seminar 18482) | |
|
(2,232 KB) |
Dagstuhl Reports, Volume 8, Issue 11, pp. 139-153, doi: 10.4230/DagRep.8.11.139 Katy Börner, Oyvind Eide, Tamara Mchedlidze, Malte Rehbein, and Gerik Scheuermann (Eds.) |
(35,098 KB)
| Dagstuhl Reports, Volume 8, Issue 10, October 2018, Complete Issue | |
|
(35,098 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 0-0, doi: 10.4230/DagRep.8.10 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 10, 2018 | |
|
(192 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. i-ii, doi: 10.4230/DagRep.8.10.i |
| Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411) | |
|
(10,995 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 1-40, doi: 10.4230/DagRep.8.10.1 Jean-Daniel Fekete, Danyel Fisher, Arnab Nandi, and Michael Sedlmair (Eds.) |
| Encouraging Reproducibility in Scientific Research of the Internet (Dagstuhl Seminar 18412) | |
|
(4,696 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 41-62, doi: 10.4230/DagRep.8.10.41 Vaibhav Bajpai, Olivier Bonaventure, Kimberly Claffy, and Daniel Karrenberg (Eds.) |
| Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421) | |
|
(6,797 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 63-86, doi: 10.4230/DagRep.8.10.63 Henning Fernau, Petr A. Golovach, and Marie-France Sagot (Eds.) |
| Shape Analysis: Euclidean, Discrete and Algebraic Geometric Methods (Dagstuhl Seminar 18422) | |
|
(3,774 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 87-103, doi: 10.4230/DagRep.8.10.87 Michael Breuß, Alfred M. Bruckstein, Christer Oscar Kiselman, and Petros Maragos (Eds.) |
| Computational Aspects of Fabrication (Dagstuhl Seminar 18431) | |
|
(3,279 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 104-126, doi: 10.4230/DagRep.8.10.104 Bernd Bickel, Marc Alexa, Jessica K. Hodgins, and Kristina Shea (Eds.) |
| Data Physicalization (Dagstuhl Seminar 18441) | |
|
(1,158 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 127-147, doi: 10.4230/DagRep.8.10.127 Jason Alexander, Petra Isenberg, Yvonne Jansen, Bernice E. Rogowitz, and Andrew Vande Moere (Eds.) |
| Visualization and Processing of Anisotropy in Imaging, Geometry, and Astronomy (Dagstuhl Seminar 18442) | |
|
(4,672 KB) |
Dagstuhl Reports, Volume 8, Issue 10, pp. 148-172, doi: 10.4230/DagRep.8.10.148 Andrea Fuster, Evren Özarslan, Thomas Schultz, and Eugene Zhang (Eds.) |
(23,181 KB)
| Dagstuhl Reports, Volume 8, Issue 9, September 2018, Complete Issue | |
|
(23,181 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 0-0, doi: 10.4230/DagRep.8.9 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 9, 2018 | |
|
(190 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. i-ii, doi: 10.4230/DagRep.8.9.i |
| Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361) | |
|
(6,749 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 1-28, doi: 10.4230/DagRep.8.9.1 Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, and Arno Pauly (Eds.) |
| Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371) | |
|
(5,201 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 29-111, doi: 10.4230/DagRep.8.9.29 Piero Andrea Bonatti, Stefan Decker, Axel Polleres, and Valentina Presutti (Eds.) |
| Quantum Programming Languages (Dagstuhl Seminar 18381) | |
|
(3,888 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 112-132, doi: 10.4230/DagRep.8.9.112 Michele Mosca, Martin Roetteler, and Peter Selinger (Eds.) |
| Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391) | |
|
(5,546 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 133-153, doi: 10.4230/DagRep.8.9.133 Markus Bläser, Valentine Kabanets, Jacobo Torán, and Christopher Umans (Eds.) |
| Automating Data Science (Dagstuhl Seminar 18401) | |
|
(1,865 KB) |
Dagstuhl Reports, Volume 8, Issue 9, pp. 154-181, doi: 10.4230/DagRep.8.9.154 Tijl De Bie, Luc De Raedt, Holger H. Hoos, and Padhraic Smyth (Eds.) |
(59,869 KB)
| Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue | |
|
(59,869 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 0-0, doi: 10.4230/DagRep.8.8 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018 | |
|
(186 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. i-ii, doi: 10.4230/DagRep.8.8.i |
| Web Application Security (Dagstuhl Seminar 18321) | |
|
(3,603 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 1-17, doi: 10.4230/DagRep.8.8.1 Martin Johns, Nick Nikiforakis, Melanie Volkamer, and John Wilander (Eds.) |
| Human-Computer Integration (Dagstuhl Seminar 18322) | |
|
(13,357 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 18-47, doi: 10.4230/DagRep.8.8.18 Jonathan Grudin, Pattie Maes, and Florian Mueller (Eds.) |
| Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331) | |
|
(14,140 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 48-66, doi: 10.4230/DagRep.8.8.48 Spring Berman, Sándor P. Fekete, Matthew J. Patitz, and Christian Scheideler (Eds.) |
| Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332) | |
|
(8,741 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 67-129, doi: 10.4230/DagRep.8.8.67 Marlon Dumas, Richard Hull, Jan Mendling, and Ingo Weber (Eds.) |
| Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341) | |
|
(11,441 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 130-155, doi: 10.4230/DagRep.8.8.130 Andrej Bauer, Martín H. Escardó, Peter L. Lumsdaine, and Assia Mahboubi (Eds.) |
| Modeling for Sustainability (Dagstuhl Seminar 18351) | |
|
(8,838 KB) |
Dagstuhl Reports, Volume 8, Issue 8, pp. 146-168, doi: 10.4230/DagRep.8.8.146 Gordon Blair ad Betty H. C. Cheng, Lorenz Hilty, and Richard F. Paige (Eds.) |
(26,812 KB)
| Dagstuhl Reports, Volume 8, Issue 7, July 2018, Complete Issue | |
|
(26,812 KB) |
Dagstuhl Reports, Volume 8, Issue 7, pp. 0-0, doi: 10.4230/DagRep.8.7 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 7, 2018 | |
|
(197 KB) |
Dagstuhl Reports, Volume 8, Issue 7, pp. i-ii, doi: 10.4230/DagRep.8.7.i |
| In Situ Visualization for Computational Science (Dagstuhl Seminar 18271) | |
|
(12,143 KB) |
Dagstuhl Reports, Volume 8, Issue 7, pp. 1-43, doi: 10.4230/DagRep.8.7.1 Janine C. Bennett, Hank Childs, Christoph Garth, and Bernd Hentschel (Eds.) |
| Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices (Dagstuhl Seminar 18281) | |
|
(9,060 KB) |
Dagstuhl Reports, Volume 8, Issue 7, pp. 44-61, doi: 10.4230/DagRep.8.7.44 Jérémy Barbay, Johannes Fischer, Stefan Kratsch, and Srinivasa Rao Satti (Eds.) |
| Extreme Classification (Dagstuhl Seminar 18291) | |
|
(5,614 KB) |
Dagstuhl Reports, Volume 8, Issue 7, pp. 62-80, doi: 10.4230/DagRep.8.7.62 Samy Bengio, Krzysztof Dembczynski, Thorsten Joachims, Marius Kloft, and Manik Varma (Eds.) |
(66,932 KB)
| Dagstuhl Reports, Volume 8, Issue 6, June 2018, Complete Issue | |
|
(66,932 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 0-0, doi: 10.4230/DagRep.8.6 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 6, 2018 | |
|
(193 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. i-ii, doi: 10.4230/DagRep.8.6.i |
| The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231) | |
|
(11,912 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 1-18, doi: 10.4230/DagRep.8.6.1 Martin Grohe, Venkatesan Guruswami, and Stanislav Zivny (Eds.) |
| High-Performance Graph Algorithms (Dagstuhl Seminar 18241) | |
|
(9,010 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 19-39, doi: 10.4230/DagRep.8.6.19 Henning Meyerhenke, Richard Peng, and Ilya Safro (Eds.) |
| Secure Routing for the Internet (Dagstuhl Seminar 18242) | |
|
(7,796 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 40-62, doi: 10.4230/DagRep.8.6.40 Phillipa Gill, Adrian Perrig, and Matthias Wählisch (Eds.) |
| Database Architectures for Modern Hardware (Dagstuhl Seminar 18251) | |
|
(8,517 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 63-76, doi: 10.4230/DagRep.8.6.63 Peter A. Boncz, Goetz Graefe, Bingsheng He, and Kai-Uwe Sattler (Eds.) |
| Ubiquitous Gaze Sensing and Interaction (Dagstuhl Seminar 18252) | |
|
(10,694 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 77-148, doi: 10.4230/DagRep.8.6.77 Lewis Chuang, Andrew Duchowski, Pernilla Qvarfordt, and Daniel Weiskopf (Eds.) |
| Discipline Convergence in Networked Systems (Dagstuhl Seminar 18261) | |
|
(10,004 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 149-172, doi: 10.4230/DagRep.8.6.149 Yungang Bao, Lars Eggert, Simon Peter, and Noa Zilberman (Eds.) |
| 10 Years of Web Science: Closing The Loop (Dagstuhl Perspectives Workshop 18262) | |
|
(9,312 KB) |
Dagstuhl Reports, Volume 8, Issue 6, pp. 173-198, doi: 10.4230/DagRep.8.6.173 Susan Halford, James A. Hendler, Eirini Ntoutsi, and Steffen Staab (Eds.) |
(28,411 KB)
| Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue | |
|
(28,411 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. 0-0, doi: 10.4230/DagRep.8.5 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018 | |
|
(188 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. i-ii, doi: 10.4230/DagRep.8.5.i |
| Secure Compilation (Dagstuhl Seminar 18201) | |
|
(7,351 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. 1-30, doi: 10.4230/DagRep.8.5.1 Amal Ahmed, Deepak Garg, Catalin Hritcu, and Frank Piessens (Eds.) |
| Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202) | |
|
(6,332 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. 31-59, doi: 10.4230/DagRep.8.5.31 Onur Altintas, Suman Banerjee, Falko Dressler, and Geert Heijenk (Eds.) |
| Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) | |
|
(6,291 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. 60-79, doi: 10.4230/DagRep.8.5.60 Javier Esparza, Pierre Fraigniaud, Anca Muscholl, and Sergio Rajsbaum (Eds.) |
| On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212) | |
|
(8,524 KB) |
Dagstuhl Reports, Volume 8, Issue 5, pp. 80-101, doi: 10.4230/DagRep.8.5.80 Kasper Hornbaek, David Kirsh, Joseph A. Paradiso, and Jürgen Steimle (Eds.) |
(62,394 KB)
| Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue | |
|
(62,394 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 0-0, doi: 10.4230/DagRep.8.4 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018 | |
|
(192 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. i-ii, doi: 10.4230/DagRep.8.4.i |
| Program Equivalence (Dagstuhl Seminar 18151) | |
|
(6,286 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 1-19, doi: 10.4230/DagRep.8.4.1 Shuvendu K. Lahiri, Andrzej Murawski, Ofer Strichman, and Mattias Ulbrich (Eds.) |
| Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152) | |
|
(4,506 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 20-31, doi: 10.4230/DagRep.8.4.20 Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl (Eds.) |
| Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161) | |
|
(18,870 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 32-71, doi: 10.4230/DagRep.8.4.32 Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, and Kay Katja Nieselt (Eds.) |
| Normative Multi-Agent Systems (Dagstuhl Seminar 18171) | |
|
(11,400 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, doi: 10.4230/DagRep.8.4.72 Mehdi Dastani, Jürgen Dix, Harko Verhagen, and Serena Villata (Eds.) |
| Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172) | |
|
(9,985 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 104-125, doi: 10.4230/DagRep.8.4.104 Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, and Tom Schrijvers (Eds.) |
| Towards Accountable Systems (Dagstuhl Seminar 18181) | |
|
(10,886 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 126-163, doi: 10.4230/DagRep.8.4.126 David Eyers, Christopher Millard, Margo Seltzer, and Jatinder Singh (Eds.) |
| Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182) | |
|
(841 KB) |
Dagstuhl Reports, Volume 8, Issue 4, pp. 164-198, doi: 10.4230/DagRep.8.4.164 Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, and Alexander Mädche (Eds.) |
(55,371 KB)
| Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue | |
|
(55,371 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 0-0, doi: 10.4230/DagRep.8.3 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018 | |
|
(190 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. i-ii, doi: 10.4230/DagRep.8.3.i |
| Scheduling (Dagstuhl Seminar 18101) | |
|
(11,033 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 1-20, doi: 10.4230/DagRep.8.3.1 Magnús M. Halldórsson, Nicole Megow, and Clifford Stein (Eds.) |
| Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102) | |
|
(7,987 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 21-38, doi: 10.4230/DagRep.8.3.21 Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis (Eds.) |
| Loop Optimization (Dagstuhl Seminar 18111) | |
|
(8,490 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 39-59, doi: 10.4230/DagRep.8.3.39 Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer (Eds.) |
| Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112) | |
|
(9,139 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 60-73, doi: 10.4230/DagRep.8.3.60 Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke (Eds.) |
| Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) | |
|
(10,231 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 74-93, doi: 10.4230/DagRep.8.3.74 Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, and Jan Kretinsky (Eds.) |
| Automatic Quality Assurance and Release (Dagstuhl Seminar 18122) | |
|
(8,778 KB) |
Dagstuhl Reports, Volume 8, Issue 3, pp. 94-127, doi: 10.4230/DagRep.8.3.94 Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman (Eds.) |
(43,084 KB)
| Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue | |
|
(43,084 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 0-0, doi: 10.4230/DagRep.8.2 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018 | |
|
(203 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. i-ii, doi: 10.4230/DagRep.8.2.i |
| Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061) | |
|
(7,414 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 1-25, doi: 10.4230/DagRep.8.2.1 Andreas Stefik, Bonita Sharif, Brad A. Myers, and Stefan Hanenberg (Eds.) |
| Planning and Operations Research (Dagstuhl Seminar 18071) | |
|
(9,660 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 26-63, doi: 10.4230/DagRep.8.2.26 J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, and Willem-Jan Van Hoeve (Eds.) |
| Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) | |
|
(8,945 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 64-87, doi: 10.4230/DagRep.8.2.64 Pierre Bonami, Ambros M. Gleixner, Jeff Linderoth, and Ruth Misener (Eds.) |
| Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082) | |
|
(715 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 88-100, doi: 10.4230/DagRep.8.2.88 Yaakov Benenson, Neil Dalchau, Heinz Koeppl, and Oded Maler (Eds.) |
| Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091) | |
|
(8,050 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 101-121, doi: 10.4230/DagRep.8.2.101 Annette Bieniusa, Alexey Gotsman, Bettina Kemme, and Marc Shapiro (Eds.) |
| The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092) | |
|
(8,580 KB) |
Dagstuhl Reports, Volume 8, Issue 2, pp. 122-149, doi: 10.4230/DagRep.8.2.122 Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons (Eds.) |
(46,989 KB)
| Dagstuhl Reports, Volume 8, Issue 1, January 2018, Complete Issue | |
|
(46,989 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 0-0, doi: 10.4230/DagRep.8.1 |
| Dagstuhl Reports, Table of Contents, Volume 8, Issue 1, 2018 | |
|
(199 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. i-ii, doi: 10.4230/DagRep.8.1.i |
| Symmetric Cryptography (Dagstuhl Seminar 18021) | |
|
(2,437 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 1-32, doi: 10.4230/DagRep.8.1.1 Joan Daemen, Tetsu Iwata, Nils Gregor Leander, and Kaisa Nyberg (Eds.) |
| Personalized Multiobjective Optimization: An Analytics Perspective (Dagstuhl Seminar 18031) | |
|
(13,009 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 33-99, doi: 10.4230/DagRep.8.1.33 Kathrin Klamroth, Joshua D. Knowles, Günter Rudolph, and Margaret M. Wiecek (Eds.) |
| Foundations of Data Visualization (Dagstuhl Seminar 18041) | |
|
(10,162 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 100-123, doi: 10.4230/DagRep.8.1.100 Helwig Hauser, Penny Rheingans, and Gerik Scheuermann (Eds.) |
| Proof Complexity (Dagstuhl Seminar 18051) | |
|
(12,754 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 124-157, doi: 10.4230/DagRep.8.1.124 Albert Atserias, Jakob Nordström, Pavel Pudlák, and Rahul Santhanam (Eds.) |
| Genetic Improvement of Software (Dagstuhl Seminar 18052) | |
|
(8,909 KB) |
Dagstuhl Reports, Volume 8, Issue 1, pp. 158-182, doi: 10.4230/DagRep.8.1.158 Justyna Petke, Claire Le Goues, Stephanie Forrest, and William B. Langdon (Eds.) |
(9,647 KB)
| Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue | |
|
(9,647 KB) |
Dagstuhl Reports, Volume 7, Issue 12, pp. 0-0, doi: 10.4230/DagRep.7.12 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017 | |
|
(184 KB) |
Dagstuhl Reports, Volume 7, Issue 12, pp. i-ii, doi: 10.4230/DagRep.7.12.i |
| Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491) | |
|
(2,943 KB) |
Dagstuhl Reports, Volume 7, Issue 12, pp. 1-17, doi: 10.4230/DagRep.7.12.1 Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski (Eds.) |
| Multi-Level Modelling (Dagstuhl Seminar 17492) | |
|
(4,418 KB) |
Dagstuhl Reports, Volume 7, Issue 12, pp. 18-49, doi: 10.4230/DagRep.7.12.18 João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne (Eds.) |
| Testing and Verification of Compilers (Dagstuhl Seminar 17502) | |
|
(2,254 KB) |
Dagstuhl Reports, Volume 7, Issue 12, pp. 50-65, doi: 10.4230/DagRep.7.12.50 Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang (Eds.) |
(16,851 KB)
| Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue | |
|
(16,851 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 0-0, doi: 10.4230/DagRep.7.11 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 11, 2017 | |
|
(189 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. i-ii, doi: 10.4230/DagRep.7.11.i |
| New Challenges in Parallelism (Dagstuhl Seminar 17451) | |
|
(2,802 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 1-27, doi: 10.4230/DagRep.7.11.1 Annette Bieniusa, Hans-J. Boehm, Maurice Herlihy, and Erez Petrank (Eds.) |
| Algorithmic Cheminformatics (Dagstuhl Seminar 17452) | |
|
(2,712 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 28-45, doi: 10.4230/DagRep.7.11.28 Jakob L. Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler (Eds.) |
| Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461) | |
|
(2,197 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 46-58, doi: 10.4230/DagRep.7.11.46 Remco Chang, Jean-Daniel Fekete, Juliana Freire, and Carlos E. Scheidegger (Eds.) |
| A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462) | |
|
(2,334 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 59-85, doi: 10.4230/DagRep.7.11.59 Klaus Havelund, Martin Leucker, Giles Reger, and Volker Stolz (Eds.) |
| Artificial and Computational Intelligence in Games: AI-Driven Game Design (Dagstuhl Seminar 17471) | |
|
(2,719 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 86-129, doi: 10.4230/DagRep.7.11.86 Pieter Spronck, Elisabeth André, Michael Cook, and Mike Preuß (Eds.) |
| Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472) | |
|
(2,100 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 130-141, doi: 10.4230/DagRep.7.11.130 Niko Beerenwinkel, Holger Fröhlich, and Susan A. Murphy (Eds.) |
| Reliable Computation and Complexity on the Reals (Dagstuhl Seminar 17481) | |
|
(2,265 KB) |
Dagstuhl Reports, Volume 7, Issue 11, pp. 142-167, doi: 10.4230/DagRep.7.11.142 Norbert T. Müller, Siegfried M. Rump, Klaus Weihrauch, and Martin Ziegler (Eds.) |
(16,295 KB)
| Dagstuhl Reports, Volume 7, Issue 10, October 2017, Complete Issue | |
|
(16,295 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 0-0, doi: 10.4230/DagRep.7.10 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 10, 2017 | |
|
(193 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. i-ii, doi: 10.4230/DagRep.7.10.i |
| Quantum Cryptanalysis (Dagstuhl Seminar 17401) | |
|
(1,606 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 1-13, doi: 10.4230/DagRep.7.10.1 Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, and Krysta Svore (Eds.) |
| HMM Imaging: Acquisition, Algorithms, and Applications (Dagstuhl Seminar 17411) | |
|
(1,669 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 14-41, doi: 10.4230/DagRep.7.10.14 Gonzalo R. Arce, Richard Bamler, Jon Yngve Hardeberg, Andreas Kolb, and Shida Beigpour (Eds.) |
| Internet of People (Dagstuhl Seminar 17412) | |
|
(2,906 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 42-68, doi: 10.4230/DagRep.7.10.42 Elizabeth M. Belding, Jörg Ott, Andrea Passarella, and Peter Reichl (Eds.) |
| Computational Proteomics (Dagstuhl Seminar 17421) | |
|
(3,193 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 69-83, doi: 10.4230/DagRep.7.10.69 Bernhard Küster, Kathryn Lilley, and Lennart Martens (Eds.) |
| Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431) | |
|
(2,383 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 84-110, doi: 10.4230/DagRep.7.10.84 Anshu Dubey, Paul H. J. Kelly, Bernd Mohr, and Jeffrey S. Vetter (Eds.) |
| Big Stream Processing Systems (Dagstuhl Seminar 17441) | |
|
(2,720 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 111-138, doi: 10.4230/DagRep.7.10.111 Tilmann Rabl, Sherif Sakr, and Martin Hirzel (Eds.) |
| Towards Performance Modeling and Performance Prediction across IR/RecSys/NLP (Dagstuhl Perspectives Workshop 17442) | |
|
(2,138 KB) |
Dagstuhl Reports, Volume 7, Issue 10, pp. 139-146, doi: 10.4230/DagRep.7.10.139 Nicola Ferro, Norbert Fuhr, Gregory Grefenstette, and Joseph A. Konstan (Eds.) |
(30,301 KB)
| Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue | |
|
(30,301 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 0-0, doi: 10.4230/DagRep.7.9 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017 | |
|
(192 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. i-ii, doi: 10.4230/DagRep.7.9.i |
| Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) | |
|
(2,626 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 1-25, doi: 10.4230/DagRep.7.9.1 Anuj Dawar abd Erich Grädel, Phokion G. Kolaitis, and Thomas Schwentick (Eds.) |
| Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371) | |
|
(2,519 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 26-46, doi: 10.4230/DagRep.7.9.26 Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, and Cesare Tinelli (Eds.) |
| Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372) | |
|
(2,803 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 47-61, doi: 10.4230/DagRep.7.9.47 Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, and Thorsten Strufe (Eds.) |
| Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381) | |
|
(2,630 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 62-85, doi: 10.4230/DagRep.7.9.62 Adnan Darwiche, Pierre Marquis, Dan Suciu, and Stefan Szeider (Eds.) |
| Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382) | |
|
(2,858 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 86-108, doi: 10.4230/DagRep.7.9.86 Ute Schmid, Stephen H. Muggleton, and Rishabh Singh (Eds.) |
| Deep Learning for Computer Vision (Dagstuhl Seminar 17391) | |
|
(2,084 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 109-125, doi: 10.4230/DagRep.7.9.109 Daniel Cremers, Laura Leal-Taixé, and René Vidal (Eds.) |
| Body-Centric Computing (Dagstuhl Reports 17392) | |
|
(15,075 KB) |
Dagstuhl Reports, Volume 7, Issue 9, pp. 126-149, doi: 10.4230/DagRep.7.9.126 Steve Benford, Kristina Höök, Joseph Marshall, Florian Mueller, and Dag Svanes (Eds.) |
(12,562 KB)
| Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue | |
|
(12,575 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 0-0, doi: 10.4230/DagRep.7.8 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 8, 2017 | |
|
(191 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. i-ii, doi: 10.4230/DagRep.7.8.i |
| Scalable Set Visualizations (Dagstuhl Seminar 17332) | |
|
(3,562 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 1-22, doi: 10.4230/DagRep.7.8.1 Yifan Hu, Luana Micallef, Martin Nöllenburg, and Peter Rodgers (Eds.) |
| Computational Counting (Dagstuhl Seminar 17341) | |
|
(2,866 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 23-44, doi: 10.4230/DagRep.7.8.23 Ivona Bezáková, Leslie Ann Goldberg, and Mark R. Jerrum (Eds.) |
| SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342) | |
|
(1,837 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 45-54, doi: 10.4230/DagRep.7.8.45 Benoît Combemale, Ralf Lämmel, and Eric Van Wyk (Eds.) |
| Machine Learning and Formal Methods (Dagstuhl Seminar 17351) | |
|
(2,150 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 55-73, doi: 10.4230/DagRep.7.8.55 Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, and Susmit Jha (Eds.) |
| Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352) | |
|
(2,324 KB) |
Dagstuhl Reports, Volume 7, Issue 8, pp. 74-101, doi: 10.4230/DagRep.7.8.74 Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González (Eds.) |
(24,144 KB)
| Dagstuhl Reports, Volume 7, Issue 7, July 2017, Complete Issue | |
|
(24,144 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 0-0, doi: 10.4230/DagRep.7.7 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 7, 2017 | |
|
(193 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. i-ii, doi: 10.4230/DagRep.7.7.i |
| Foundations of Wireless Networking (Dagstuhl Seminar 17271) | |
|
(2,602 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 1-21, doi: 10.4230/DagRep.7.7.1 Christina Fragouli, Magnús M. Halldórsson, Kyle Jamieson, and Bhaskar Krishnamachari (Eds.) |
| Citizen Science: Design and Engagement (Dagstuhl Seminar 17272) | |
|
(6,761 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 22-43, doi: 10.4230/DagRep.7.7.22 Irene Celino, Oscar Corcho, Franz Hölker, and Elena Simperl (Eds.) |
| Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281) | |
|
(1,739 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 44-53, doi: 10.4230/DagRep.7.7.44 Sarah Zennou, Saumya K. Debray, Thomas Dullien, and Arun Lakhotia (Eds.) |
| From Observations to Prediction of Movement (Dagstuhl Seminar 17282) | |
|
(4,554 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 54-71, doi: 10.4230/DagRep.7.7.54 Mark Birkin, Somayeh Dodge, Brittany Terese Fasy, and Richard Philip Mann (Eds.) |
| Resource Bound Analysis (Dagstuhl Seminar 17291) | |
|
(2,529 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, doi: 10.4230/DagRep.7.7.72 Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, and Florian Zuleger (Eds.) |
| Topology, Computation and Data Analysis (Dagstuhl Seminar 17292) | |
|
(2,694 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 88-109, doi: 10.4230/DagRep.7.7.88 Hamish Carr, Michael Kerber, and Bei Wang (Eds.) |
| User-Generated Content in Social Media (Dagstuhl Seminar 17301) | |
|
(3,619 KB) |
Dagstuhl Reports, Volume 7, Issue 7, pp. 110-154, doi: 10.4230/DagRep.7.7.110 Tat-Seng Chua, Norbert Fuhr, Gregory Grefenstette, Kalervo Järvelin, and Jaakko Peltonen (Eds.) |
(13,247 KB)
| Dagstuhl Reports, Volume 7, Issue 6, June 2017, Complete Issue | |
|
(13,247 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 0-0, doi: 10.4230/DagRep.7.6 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 6, 2017 | |
|
(192 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. i-ii, doi: 10.4230/DagRep.7.6.i |
| Epistemic Planning (Dagstuhl Seminar 17231) | |
|
(2,533 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 1-47, doi: 10.4230/DagRep.7.6.1 Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila McIlraith (Eds.) |
| Computational Interactivity (Dagstuhl Seminar 17232) | |
|
(2,028 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 48-67, doi: 10.4230/DagRep.7.6.48 Xiaojun Bi, Otmar Hilliges, Takeo Igarashi, and Antti Oulasvirta (Eds.) |
| Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251) | |
|
(2,529 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 68-85, doi: 10.4230/DagRep.7.6.68 Paul W. Goldberg, Yishay Mansour, and Paul Dütting (Eds.) |
| Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252) | |
|
(2,162 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 86-108, doi: 10.4230/DagRep.7.6.86 Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, and Gabriele Varani (Eds.) |
| Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261) | |
|
(2,186 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 109-134, doi: 10.4230/DagRep.7.6.109 Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, and Toby Walsh (Eds.) |
| Federated Semantic Data Management (Dagstuhl Seminar 17262) | |
|
(2,082 KB) |
Dagstuhl Reports, Volume 7, Issue 6, pp. 135-167, doi: 10.4230/DagRep.7.6.135 Olaf Hartig, Maria-Esther Vidal, and Johann-Christoph Freytag (Eds.) |
(16,940 KB)
| Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue | |
|
(16,940 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 0-0, doi: 10.4230/DagRep.7.5 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017 | |
|
(192 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. i-ii, doi: 10.4230/DagRep.7.5.i |
| Theory and Applications of Hashing (Dagstuhl Seminar 17181) | |
|
(2,848 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 1-21, doi: 10.4230/DagRep.7.5.1 Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff,, and Martin Aumüller (Eds.) |
| Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191) | |
|
(3,189 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 22-55, doi: 10.4230/DagRep.7.5.22 Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao (Eds.) |
| Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192) | |
|
(2,391 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 56-83, doi: 10.4230/DagRep.7.5.56 Tarek R. Besold, Artur d'Avila Garcez, and Luis C. Lamb (Eds.) |
| Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) | |
|
(2,280 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 84-96, doi: 10.4230/DagRep.7.5.84 Calin A. Belta, Rupak Majumdar, Majid Zamani, and Matthias Rungger (Eds.) |
| Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202) | |
|
(1,906 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 97-139, doi: 10.4230/DagRep.7.5.97 André Brinkmann, Kathryn Mohror, and Weikuan Yu (Eds.) |
| Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221) | |
|
(2,247 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 140-168, doi: 10.4230/DagRep.7.5.140 Falai Chen, Tor Dokken,, Thomas A. Grandine, and Géraldine Morin (Eds.) |
| Robust Performance in Database Query Processing (Dagstuhl Seminar 17222) | |
|
(2,417 KB) |
Dagstuhl Reports, Volume 7, Issue 5, pp. 169-180, doi: 10.4230/DagRep.7.5.169 Renata Borovica-Gajic, Goetz Graefe, and Allison Lee (Eds.) |
(27,260 KB)
| Dagstuhl Reports, Volume 7, Issue 4, April 2017, Complete Issue | |
|
(27,260 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 0-0, doi: 10.4230/DagRep.7.4 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 4, 2017 | |
|
(189 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. i-ii, doi: 10.4230/DagRep.7.4.i |
| Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141) | |
|
(2,219 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 1-22, doi: 10.4230/DagRep.7.4.1 Bodo Manthey, Claire Mathieu, Heiko Röglin, and Eli Upfal (Eds.) |
| Formal Methods of Transformations (Dagstuhl Seminar 17142) | |
|
(3,533 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 23-37, doi: 10.4230/DagRep.7.4.23 Emmanuel Filiot, Sebastian Maneth, and Helmut Seidl (Eds.) |
| Ambient Notification Environments (Dagstuhl Seminar 17161) | |
|
(16,437 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 38-82, doi: 10.4230/DagRep.7.4.38 Lewis Chuang, Sven Gehring, Judy Kay, and Albrecht Schmidt (Eds.) |
| Online Privacy and Web Transparency (Dagstuhl Seminar 17162) | |
|
(1,615 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 83-106, doi: 10.4230/DagRep.7.4.83 Nataliia Bielova, Nikolaos Laoutaris, Arvind Narayanan, and Nick Nikiforakis (Eds.) |
| Computational Geometry (Dagstuhl Seminar 17171) | |
|
(3,626 KB) |
Dagstuhl Reports, Volume 7, Issue 4, pp. 107-127, doi: 10.4230/DagRep.7.4.107 Otfried Cheong, Anne Driemel, and Jeff Erickson (Eds.) |
(16,444 KB)
| Dagstuhl Reports, Volume 7, Issue 3, March 2017, Complete Issue | |
|
(16,444 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 0-0, doi: 10.4230/DagRep.7.3 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 3, 2017 | |
|
(192 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. i-ii, doi: 10.4230/DagRep.7.3.i |
| Databases on Future Hardware (Dagstuhl Seminar 17101) | |
|
(2,131 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 1-18, doi: 10.4230/DagRep.7.3.1 Gustavo Alonso, Michaela Blott, and Jens Teubner (Eds.) |
| Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102) | |
|
(691 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 19-26, doi: 10.4230/DagRep.7.3.19 Thomas Fritz, Gloria Mark, Gail C. Murphy, and Thomas Zimmermann (Eds.) |
| Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) | |
|
(2,891 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 27-32, doi: 10.4230/DagRep.7.3.27 Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, and Michael J. Wooldridge (Eds.) |
| Using Networks to Teach About Networks (Dagstuhl Seminar 17112) | |
|
(3,930 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 33-44, doi: 10.4230/DagRep.7.3.33 Timur Friedman, Aiko Pras, and Jürgen Schönwälder (Eds.) |
| Computational Complexity of Discrete Problems (Dagstuhl Seminar 17121) | |
|
(3,143 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 45-69, doi: 10.4230/DagRep.7.3.45 Anna Gál, Michal Koucký, Oded Regev, and Till Tantau (Eds.) |
| Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131) | |
|
(1,929 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 70-98, doi: 10.4230/DagRep.7.3.70 Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, and Zoë Stephenson (Eds.) |
| Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132) | |
|
(2,111 KB) |
Dagstuhl Reports, Volume 7, Issue 3, pp. 99-142, doi: 10.4230/DagRep.7.3.99 Roman Beck, Christian Becker, Juho Lindman, and Matti Rossi (Eds.) |
(25,596 KB)
| Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue | |
|
(25,596 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 0-0, doi: 10.4230/DagRep.7.2 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017 | |
|
(194 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. i-ii, doi: 10.4230/DagRep.7.2.i |
| Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061) | |
|
(827 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 1-22, doi: 10.4230/DagRep.7.2.1 Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber (Eds.) |
| Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062) | |
|
(20,263 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 23-47, doi: 10.4230/DagRep.7.2.23 Anind K. Dey, Jonna Häkkilä, Niels Henze, and Kai Kunze (Eds.) |
| Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) | |
|
(862 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 48-63, doi: 10.4230/DagRep.7.2.48 Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, and Armando Tacchella (Eds.) |
| Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072) | |
|
(1,003 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 64-88, doi: 10.4230/DagRep.7.2.64 Benjamin Burton, Maarten Löffler, Carola Wenk, and Erin Moriarty Wolf Chambers (Eds.) |
| Computability Theory (Dagstuhl Seminar 17081) | |
|
(809 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 89-101, doi: 10.4230/DagRep.7.2.89 Klaus Ambos-Spies, Vasco Brattka, Rodney Downey, and Steffen Lempp (Eds.) |
| Shape-Changing Interfaces (Dagstuhl Seminar 17082) | |
|
(727 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 102-108, doi: 10.4230/DagRep.7.2.102 Jason Alexander, Sean Follmer, Kasper Hornbaek, and Anne Roudaut (Eds.) |
| Computer Science Meets Ecology (Dagstuhl Seminar 17091) | |
|
(756 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 109-134, doi: 10.4230/DagRep.7.2.109 Gustau Camps-Valls, Thomas Hickler, and Birgitta König-Ries (Eds.) |
| Search as Learning (Dagstuhl Seminar 17092) | |
|
(783 KB) |
Dagstuhl Reports, Volume 7, Issue 2, pp. 135-162, doi: 10.4230/DagRep.7.2.135 Kevyn Collins-Thompson, Preben Hansen, and Claudia Hauff (Eds.) |
(6,203 KB)
| Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue | |
|
(6,203 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 0-0, doi: 10.4230/DagRep.7.1 |
| Dagstuhl Reports, Table of Contents, Volume 7, Issue 1, 2017 | |
|
(193 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. i-ii, doi: 10.4230/DagRep.7.1.i |
| Functoriality in Geometric Data (Dagstuhl Seminar 17021) | |
|
(875 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 1-18, doi: 10.4230/DagRep.7.1.1 Mirela Ben-Chen, Frédéric Chazal, Leonidas J. Guibas, and Maks Ovsjanikov (Eds.) |
| Automated Program Repair (Dagstuhl Seminar 17022) | |
|
(840 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 19-31, doi: 10.4230/DagRep.7.1.19 Sunghun Kim, Claire Le Goues, Michael Pradel, and Abhik Roychoudhury (Eds.) |
| Planning and Robotics (Dagstuhl Seminar 17031) | |
|
(928 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 32-73, doi: 10.4230/DagRep.7.1.32 Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, and Andrea Orlandini (Eds.) |
| Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032) | |
|
(949 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 74-102, doi: 10.4230/DagRep.7.1.74 David Hausheer, Oliver Hohlfeld, Diego R. López, Bruce MacDowell Maggs, and Costin Raiciu (Eds.) |
| Randomization in Parameterized Complexity (Dagstuhl Seminar 17041) | |
|
(870 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 103-128, doi: 10.4230/DagRep.7.1.103 Marek Cygan, Fedor V. Fomin, Danny Hermelin, and Magnus Wahlström (Eds.) |
| From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042) | |
|
(1,202 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 129-157, doi: 10.4230/DagRep.7.1.129 Phil Blunsom, Kyunghyun Cho, Chris Dyer, and Hinrich Schütze (Eds.) |
| Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) | |
|
(913 KB) |
Dagstuhl Reports, Volume 7, Issue 1, pp. 158-189, doi: 10.4230/DagRep.7.1.158 Simon Gay, Vasco T. Vasconcelos, Philip Wadler, and Nobuko Yoshida (Eds.) |
(1,110 KB)
| Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue | |
|
(1,110 KB) |
Dagstuhl Reports, Volume 6, Issue 12, pp. 0-0, doi: 10.4230/DagRep.6.12 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016 | |
|
(183 KB) |
Dagstuhl Reports, Volume 6, Issue 12, pp. i-ii, doi: 10.4230/DagRep.6.12.i |
| Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491) | |
|
(970 KB) |
Dagstuhl Reports, Volume 6, Issue 12, pp. 1-28, doi: 10.4230/DagRep.6.12.1 Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, and Nacim Ramdani (Eds.) |
(7,209 KB)
| Dagstuhl Reports, Volume 6, Issue 11, November 2016, Complete Issue | |
|
(7,209 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 0-0, doi: 10.4230/DagRep.6.11 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 11, 2016 | |
|
(193 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. i-ii, doi: 10.4230/DagRep.6.11.i |
| Structure and Hardness in P (Dagstuhl Seminar 16451) | |
|
(1,128 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 1-34, doi: 10.4230/DagRep.6.11.1 Moshe Lewenstein, Seth Pettie, and Virginia Vassilevska Williams (Eds.) |
| Beyond-Planar Graphs: Algorithmics and Combinatorics (Dagstuhl Seminar 16452) | |
|
(1,148 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 35-62, doi: 10.4230/DagRep.6.11.35 Seok-Hee Hong, Michael Kaufmann, Stephen G. Kobourov, and János Pach (Eds.) |
| Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461) | |
|
(936 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 63-89, doi: 10.4230/DagRep.6.11.63 Tyler W. Moore, Christian W. Probst, Kai Rannenberg, and Michel van Eeten (Eds.) |
| Inpainting-Based Image Compression (Dagstuhl Seminar 16462) | |
|
(1,045 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 90-107, doi: 10.4230/DagRep.6.11.90 Christine Guillemot, Gerlind Plonka-Hoch, Thomas Pock, and Joachim Weickert (Eds.) |
| Concurrency with Weak Memory Models (Dagstuhl Seminar 16471) | |
|
(887 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 108-128, doi: 10.4230/DagRep.6.11.108 Jade Alglave, Patrick Cousot, and Caterina Urban (Eds.) |
| QoE Vadis? (Dagstuhl Perspectives Workshop 16472) | |
|
(736 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 129-141, doi: 10.4230/DagRep.6.11.129 Markus Fiedler, Sebastian Möller, Peter Reichl, and Min Xie (Eds.) |
| New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481) | |
|
(925 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 142-167, doi: 10.4230/DagRep.6.11.142 Arthur Gretton, Philipp Hennig, Carl Edward Rasmussen, and Bernhard Schölkopf (Eds.) |
| Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482) | |
|
(852 KB) |
Dagstuhl Reports, Volume 6, Issue 11, pp. 168-184, doi: 10.4230/DagRep.6.11.168 Stéphane Gaubert, Dima Grigoriev, Michael Joswig, and Thorsten Theobald (Eds.) |
(6,388 KB)
| Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue | |
|
(6,388 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 0-0, doi: 10.4230/DagRep.6.10 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016 | |
|
(191 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. i-ii, doi: 10.4230/DagRep.6.10.i |
| Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402) | |
|
(879 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 1-12, doi: 10.4230/DagRep.6.10.1 Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, and Shriram Krishnamurthi (Eds.) |
| Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411) | |
|
(963 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 13-32, doi: 10.4230/DagRep.6.10.13 Valentine Kabanets, Thomas Thierauf, Jacobo Tóran, and Christopher Umans (Eds.) |
| Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412) | |
|
(1,059 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 33-74, doi: 10.4230/DagRep.6.10.33 Holger H. Hoos, Frank Neumann, and Heike Trautmann (Eds.) |
| Universality of Proofs (Dagstuhl Seminar 16421) | |
|
(991 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 75-98, doi: 10.4230/DagRep.6.10.75 Gilles Dowek, Catherine Dubois, Brigitte Pientka, and Florian Rabe (Eds.) |
| Computation over Compressed Structured Data (Dagstuhl Seminar 16431) | |
|
(857 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 99-119, doi: 10.4230/DagRep.6.10.99 Philip Bille, Markus Lohrey, Sebastian Maneth, and Gonzalo Navarro (Eds.) |
| Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441) | |
|
(961 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 120-153, doi: 10.4230/DagRep.6.10.120 Tulika Mitra, Jürgen Teich, and Lothar Thiele (Eds.) |
| Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442) | |
|
(1,026 KB) |
Dagstuhl Reports, Volume 6, Issue 10, pp. 154-194, doi: 10.4230/DagRep.6.10.154 Roger K. Moore, Serge Thill, and Ricard Marxer (Eds.) |
(11,991 KB)
| Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue | |
|
(11,991 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 0-0, doi: 10.4230/DagRep.6.9 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016 | |
|
(192 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. i-ii, doi: 10.4230/DagRep.6.9.i |
| Network Attack Detection and Defense (Dagstuhl Seminar 16361) | |
|
(1,153 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 1-28, doi: 10.4230/DagRep.6.9.1 Marc C. Dacier, Sven Dietrich, Frank Kargl, and Hartmut König (Eds.) |
| Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362) | |
|
(794 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 29-45, doi: 10.4230/DagRep.6.9.29 Martin Fränzle, James Kapinski, and Pavithra Prabhakar (Eds.) |
| Public-Key Cryptography (Dagstuhl Seminar 16371) | |
|
(969 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 46-58, doi: 10.4230/DagRep.6.9.46 Marc Fischlin, Alexander May, David Pointcheval, and Tal Rabin (Eds.) |
| Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372) | |
|
(1,248 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 59-73, doi: 10.4230/DagRep.6.9.59 Vincent Heuveline, Michael Schick, Clayton Webster, and Peter Zaspel (Eds.) |
| SAT and Interactions (Dagstuhl Seminar 16381) | |
|
(7,199 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 74-93, doi: 10.4230/DagRep.6.9.74 Olaf Beyersdorff, Nadia Creignou, Uwe Egly, and Heribert Vollmer (Eds.) |
| Foundations of Unsupervised Learning (Dagstuhl Seminar 16382) | |
|
(891 KB) |
Dagstuhl Reports, Volume 6, Issue 9, pp. 94-109, doi: 10.4230/DagRep.6.9.94 Maria-Florina Balcan, Shai Ben-David, Ruth Urner, and Ulrike von Luxburg (Eds.) |
(4,109 KB)
| Dagstuhl Reports, Volume 6, Issue 8, August 2016, Complete Issue | |
|
(4,109 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. 0-0, doi: 10.4230/DagRep.6.8 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 8, 2016 | |
|
(188 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. i-ii, doi: 10.4230/DagRep.6.8.i |
| Coding Theory in the Time of Big Data (Dagstuhl Seminar 16321) | |
|
(906 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. 1-20, doi: 10.4230/DagRep.6.8.1 Martin Bossert, Eimear Byrne, and Emina Soljanin (Eds.) |
| Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341) | |
|
(1,576 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. 21-64, doi: 10.4230/DagRep.6.8.21 David Eyers, Avigdor Gal, Hans-Arno Jacobsen, and Matthias Weidlich (Eds.) |
| Foundations of Secure Scaling (Dagstuhl Seminar 16342) | |
|
(806 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. 65-90, doi: 10.4230/DagRep.6.8.65 Lejla Batina, Swarup Bhunia, Patrick Schaumont, and Jean-Pierre Seifert (Eds.) |
| Next Generation Sequencing (Dagstuhl Seminar 16351) | |
|
(892 KB) |
Dagstuhl Reports, Volume 6, Issue 8, pp. 91-130, doi: 10.4230/DagRep.6.8.91 Gene Myers, Mihai Pop, Knut Reinert, and Tandy Warnow (Eds.) |
(3,323 KB)
| Dagstuhl Reports, Volume 6, Issue 7, July 2016, Complete Issue | |
|
(3,323 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. 0-0, doi: 10.4230/DagRep.6.7 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 7, 2016 | |
|
(188 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. i-ii, doi: 10.4230/DagRep.6.7.i |
| Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 16271) | |
|
(770 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. 1-14, doi: 10.4230/DagRep.6.7.1 Sándor Fekete, Andréa W. Richa, Kay Römer, and Christian Scheideler (Eds.) |
| Network Latency Control in Data Centres (Dagstuhl Seminar 16281) | |
|
(908 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. 15-30, doi: 10.4230/DagRep.6.7.15 Mohammad Alizadeh Attar, Jon Crowcroft, Lars Eggert, and Klaus Wehrle (Eds.) |
| Topological Methods in Distributed Computing (Dagstuhl Seminar 16282) | |
|
(842 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. 31-41, doi: 10.4230/DagRep.6.7.31 Dmitry Feichtner-Kozlov, and Damien Imbs (Eds.) |
| Data, Responsibly (Dagstuhl Seminar 16291) | |
|
(900 KB) |
Dagstuhl Reports, Volume 6, Issue 7, pp. 42-71, doi: 10.4230/DagRep.6.7.42 Serge Abiteboul, Gerome Miklau, Julia Stoyanovich, and Gerhard Weikum (Eds.) |
(8,797 KB)
| Dagstuhl Reports, Volume 6, Issue 6, June 2016, Complete Issue | |
|
(8,797 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 0-0, doi: 10.4230/DagRep.6.6 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 6, 2016 | |
|
(193 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. i-ii, doi: 10.4230/DagRep.6.6.i |
| Immersive Analytics (Dagstuhl Seminar 16231) | |
|
(886 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 1-9, doi: 10.4230/DagRep.6.6.1 Tim Dwyer, Nathalie Henry Riche, Karsten Klein, Wolfgang Stuerzlinger, and Bruce Thomas (Eds.) |
| Fair Division (Dagstuhl Seminar 16232) | |
|
(844 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 10-25, doi: 10.4230/DagRep.6.6.10 Yonatan Aumann, Jérôme Lang, and Ariel D. Procaccia (Eds.) |
| Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar 16241) | |
|
(2,349 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 26-48, doi: 10.4230/DagRep.6.6.26 Jo Ellis-Monaghan, Andrew Goodall, Johann A. Makowsky, and Iain Moffatt (Eds.) |
| Information-centric Networking and Security (Dagstuhl Seminar 16251) | |
|
(771 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 49-61, doi: 10.4230/DagRep.6.6.49 Edith Ngai, Börje Ohlman, Gene Tsudik , and Ersin Uzun (Eds.) |
| Engineering Academic Software (Dagstuhl Perspectives Workshop 16252) | |
|
(1,339 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 62-87, doi: 10.4230/DagRep.6.6.62 Carole Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, and Jurgen J. Vinju (Eds.) |
| Integration of Expert Knowledge for Interpretable Models in Biomedical Data Analysis (Dagstuhl Seminar 16261) | |
|
(862 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 88-110, doi: 10.4230/DagRep.6.6.88 Gyan Bhanot, Michael Biehl, Thomas Villmann, and Dietlind Zühlke (Eds.) |
| Automotive User Interfaces in the Age of Automation (Dagstuhl Seminar 16262) | |
|
(2,062 KB) |
Dagstuhl Reports, Volume 6, Issue 6, pp. 111-159, doi: 10.4230/DagRep.6.6.111 Andreas Riener, Susanne Boll, and Andrew L. Kun (Eds.) |
(8,818 KB)
| Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue | |
|
(8,818 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 0-0, doi: 10.4230/DagRep.6.5 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016 | |
|
(193 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. i-ii, doi: 10.4230/DagRep.6.5.i |
| Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191) | |
|
(959 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 1-30, doi: 10.4230/DagRep.6.5.1 Richard Hull, Agnes Koschmider, Hajo A. Reijers, and William Wong (Eds.) |
| Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192) | |
|
(939 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 31-55, doi: 10.4230/DagRep.6.5.31 Tony Clark, Ulrich Frank, and Vinay Kulkarni (Eds.) |
| Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201) | |
|
(923 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 56-71, doi: 10.4230/DagRep.6.5.56 Julian Dolby, Orna Grumberg, Peter Müller, and Omer Tripp (Eds.) |
| Hardware Security (Dagstuhl Seminar 16202) | |
|
(897 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 72-93, doi: 10.4230/DagRep.6.5.72 Osnat Keren, Ilia Polian, and Mark M. Tehranipoor (Eds.) |
| Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221) | |
|
(1,091 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 94-116, doi: 10.4230/DagRep.6.5.94 Jeff Erickson, Philip N. Klein, Dániel Marx, and Claire Mathieu (Eds.) |
| Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222) | |
|
(4,268 KB) |
Dagstuhl Reports, Volume 6, Issue 5, pp. 114-137, doi: 10.4230/DagRep.6.5.114 Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield (Eds.) |
(8,214 KB)
| Dagstuhl Reports, Volume 6, Issue 4, April 2016, Complete Issue | |
|
(8,214 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 0-0, doi: 10.4230/DagRep.6.4 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 4, 2016 | |
|
(194 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. i-ii, doi: 10.4230/DagRep.6.4.i |
| Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies (Dagstuhl Seminar 16141) | |
|
(820 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 1-15, doi: 10.4230/DagRep.6.4.1 Thorsten Quandt, German Shegalov, Helle Sjøvaag, and Gottfried Vossen (Eds.) |
| Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142) | |
|
(1,016 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 16-38, doi: 10.4230/DagRep.6.4.16 Ingrid Hotz, Evren Özarslan, and Thomas Schultz (Eds.) |
| Foundations of Data Management (Dagstuhl Perspectives Workshop 16151) | |
|
(872 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 39-56, doi: 10.4230/DagRep.6.4.39 Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, and Thomas Schwentick (Eds.) |
| Tensor Computing for Internet of Things (Dagstuhl Perspectives Workshop 16152) | |
|
(1,733 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 57-79, doi: 10.4230/DagRep.6.4.57 Evrim Acar, Animashree Anandkumar, Lenore Mullin, Sebnem Rusitschka, and Volker Tresp (Eds.) |
| Natural Language Argumentation: Mining, Processing, and Reasoning over Textual Arguments (Dagstuhl Seminar 16161) | |
|
(1,233 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 80-109, doi: 10.4230/DagRep.6.4.80 Elena Cabrio, Graeme Hirst, Serena Villata, and Adam Wyner (Eds.) |
| Managing Technical Debt in Software Engineering (Dagstuhl Seminar 16162) | |
|
(1,068 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 110-138, doi: 10.4230/DagRep.6.4.110 Paris Avgeriou, Philippe Kruchten, Ipek Ozkaya, and Carolyn Seaman (Eds.) |
| Algorithmic Methods for Optimization in Public Transport (Dagstuhl Seminar 16171) | |
|
(951 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 139-160, doi: 10.4230/DagRep.6.4.139 Leo G. Kroon, Anita Schöbel, and Dorothea Wagner (Eds.) |
| Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172) | |
|
(885 KB) |
Dagstuhl Reports, Volume 6, Issue 4, pp. 161-173, doi: 10.4230/DagRep.6.4.161 Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, and Karl Meinke (Eds.) |
(4,550 KB)
| Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue | |
|
(4,550 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. 0-0, doi: 10.4230/DagRep.6.3 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016 | |
|
(191 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. i-ii, doi: 10.4230/DagRep.6.3.i |
| Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101) | |
|
(999 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. 1-23, doi: 10.4230/DagRep.6.3.1 Alejandro Lopez-Ortiz, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick (Eds.) |
| Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111) | |
|
(1,593 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. 24-43, doi: 10.4230/DagRep.6.3.24 Daniel Delling, Camil Demetrescu, David S. Johnson, and Jan Vitek (Eds.) |
| From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) | |
|
(1,166 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. 44-58, doi: 10.4230/DagRep.6.3.44 Andrej Bauer, Martin Hofmann, Matija Pretnar, and Jeremy Yallop (Eds.) |
| Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131) | |
|
(866 KB) |
Dagstuhl Reports, Volume 6, Issue 3, pp. 59-77, doi: 10.4230/DagRep.6.3.59 Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, and Stephanie Weirich (Eds.) |
(7,374 KB)
| Dagstuhl Reports, Volume 6, Issue 2, February 2016, Complete Issue | |
|
(7,374 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 0-0, doi: 10.4230/DagRep.6.2 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 2, 2016 | |
|
(190 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. i-ii, doi: 10.4230/DagRep.6.2.i |
| Data-Driven Storytelling (Dagstuhl Seminar 16061) | |
|
(1,035 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 1-27, doi: 10.4230/DagRep.6.2.1 Sheelagh Carpendale, Nicholas Diakopoulos, Nathalie Henry Riche, and Christophe Hurter (Eds.) |
| Modeling and Analysis of Semiconductor Supply Chains (Dagstuhl Seminar 16062) | |
|
(2,076 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 28-64, doi: 10.4230/DagRep.6.2.28 Chen-Fu Chien, Hans Ehm, John Fowler, and Lars Mönch (Eds.) |
| Pattern Avoidance and Genome Sorting (Dagstuhl Seminar 16071) | |
|
(845 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 65-77, doi: 10.4230/DagRep.6.2.65 Michael Albert, Miklós Bóna, István Miklós, and Einar Steingrimsson (Eds.) |
| Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072) | |
|
(713 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 78-96, doi: 10.4230/DagRep.6.2.78 Michael E. Caspersen, Kathi Fisler, and Jan Vahrenhold (Eds.) |
| Scheduling (Dagstuhl Seminar 16081) | |
|
(1,032 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 97-118, doi: 10.4230/DagRep.6.2.97 Nikhil Bansal, Nicole Megow, and Clifford Stein (Eds.) |
| Computational Challenges in Cooperative Intelligent Urban Transport (Dagstuhl Seminar 16091) | |
|
(1,026 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 119-146, doi: 10.4230/DagRep.6.2.119 Caitlin Doyle Cottrill, Jan Fabian Ehmke, Franziska Klügl, and Sabine Timpf (Eds.) |
| Computational Music Structure Analysis (Dagstuhl Seminar 16092) | |
|
(982 KB) |
Dagstuhl Reports, Volume 6, Issue 2, pp. 147-190, doi: 10.4230/DagRep.6.2.147 Meinard Müller, Elaine Chew, and Juan Pablo Bello (Eds.) |
(10,917 KB)
| Dagstuhl Reports, Volume 6, Issue 1, January 2016, Complete Issue | |
|
(10,917 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 0-0, doi: 10.4230/DagRep.6.1 |
| Dagstuhl Reports, Table of Contents, Volume 6, Issue 1, 2016 | |
|
(194 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. i-ii, doi: 10.4230/DagRep.6.1.i |
| Evolution and Computing (Dagstuhl Seminar 16011) | |
|
(1,136 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 1-14, doi: 10.4230/DagRep.6.1.1 Nick Barton, Per Kristian Lehre, and Nisheeth K. Vishnoi (Eds.) |
| Global Measurements: Practice and Experience (Dagstuhl Seminar 16012) | |
|
(982 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 15-33, doi: 10.4230/DagRep.6.1.15 Vaibhav Bajpai, Arthur W. Berger, Philip Eardley, Jörg Ott, and Jürgen Schönwälder (Eds.) |
| Symmetric Cryptography (Dagstuhl Seminar 16021) | |
|
(849 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 34-54, doi: 10.4230/DagRep.6.1.34 Frederik Armknecht, Tetsu Iwata, Kaisa Nyberg, and Bart Preneel (Eds.) |
| Geometric and Graph-based Approaches to Collective Motion (Dagstuhl Seminar 16022) | |
|
(868 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 55-68, doi: 10.4230/DagRep.6.1.55 Giuseppe F. Italiano, Marc van Kreveld, Bettina Speckmann, and Guy Theraulaz (Eds.) |
| Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031) | |
|
(1,086 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 69-98, doi: 10.4230/DagRep.6.1.69 Jean Goubault-Larrecq, Monika Seisenberger, Victor Selivanov, and Andreas Weiermann (Eds.) |
| Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 16032) | |
|
(896 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 99-107, doi: 10.4230/DagRep.6.1.99 George Danezis, Stefan Katzenbeisser, Christiane Peters, and Bart Preneel (Eds.) |
| Reproducibility of Data-Oriented Experiments in e-Science (Dagstuhl Seminar 16041) | |
|
(1,370 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 108-159, doi: 10.4230/DagRep.6.1.108 Juliana Freire, Norbert Fuhr, and Andreas Rauber (Eds.) |
| Eyewear Computing – Augmenting the Human with Head-mounted Wearable Assistants (Dagstuhl Seminar 16042) | |
|
(2,660 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 160-206, doi: 10.4230/DagRep.6.1.160 Andreas Bulling, Ozan Cakmakci, Kai Kunze, and James M. Rehg (Eds.) |
| Modern Cryptography and Security: An Inter-Community Dialogue (Dagstuhl Seminar 16051) | |
|
(701 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 207-223, doi: 10.4230/DagRep.6.1.207 Kristin Lauter, Radu Sion, and Nigel P. Smart (Eds.) |
| Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052) | |
|
(1,000 KB) |
Dagstuhl Reports, Volume 6, Issue 1, pp. 224-244, doi: 10.4230/DagRep.6.1.224 Hans Michael Gerndt, Michael Glaß, Sri Parameswaran, and Barry L. Rountree (Eds.) |
(2,240 KB)
| Dagstuhl Reports, Volume 5, Issue 12, December 2015, Complete Issue | |
|
(2,240 KB) |
Dagstuhl Reports, Volume 5, Issue 12, pp. 0-0, doi: 10.4230/DagRep.5.12 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 12, 2015 | |
|
(184 KB) |
Dagstuhl Reports, Volume 5, Issue 12, pp. i-ii, doi: 10.4230/DagRep.5.12.i |
| The Graph Isomorphism Problem (Dagstuhl Seminar 15511) | |
|
(1,164 KB) |
Dagstuhl Reports, Volume 5, Issue 12, pp. 1-17, doi: 10.4230/DagRep.5.12.1 László Babai, Anuj Dawar, Pascal Schweitzer, and Jacobo Torán (Eds.) |
| Debating Technologies (Dagstuhl Seminar 15512) | |
|
(999 KB) |
Dagstuhl Reports, Volume 5, Issue 12, pp. 18-46, doi: 10.4230/DagRep.5.12.18 Iryna Gurevych, Eduard H. Hovy, Noam Slonim, and Benno Stein (Eds.) |
(9,119 KB)
| Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue | |
|
(9,119 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 0-0, doi: 10.4230/DagRep.5.11 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015 | |
|
(194 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. i-ii, doi: 10.4230/DagRep.5.11.i |
| Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) | |
|
(1,071 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 1-28, doi: 10.4230/DagRep.5.11.1 Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis (Eds.) |
| Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452) | |
|
(854 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 29-35, doi: 10.4230/DagRep.5.11.29 Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller (Eds.) |
| Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461) | |
|
(1,052 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 36-61, doi: 10.4230/DagRep.5.11.36 André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla (Eds.) |
| The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462) | |
|
(955 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 62-70, doi: 10.4230/DagRep.5.11.62 Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi (Eds.) |
| Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471) | |
|
(1,126 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 71-89, doi: 10.4230/DagRep.5.11.71 Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang (Eds.) |
| Programming with "Big Code" (Dagstuhl Seminar 15472) | |
|
(1,088 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 90-102, doi: 10.4230/DagRep.5.11.90 William W. Cohen, Charles Sutton, and Martin T. Vechev (Eds.) |
| Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481) | |
|
(1,108 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 103-126, doi: 10.4230/DagRep.5.11.103 Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase (Eds.) |
| Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482) | |
|
(815 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 127-150, doi: 10.4230/DagRep.5.11.127 Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer (Eds.) |
| Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) | |
|
(939 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 151-179, doi: 10.4230/DagRep.5.11.151 Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz (Eds.) |
| Computational Metabolomics (Dagstuhl Seminar 15492) | |
|
(683 KB) |
Dagstuhl Reports, Volume 5, Issue 11, pp. 180-192, doi: 10.4230/DagRep.5.11.180 Sebastian Böcker, Juho Rousu, and Emma Schymanski (Eds.) |
(5,691 KB)
| Dagstuhl Reports, Volume 5, Issue 10, October 2015, Complete Issue | |
|
(5,691 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 0-0, doi: 10.4230/DagRep.5.10 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 10, 2015 | |
|
(190 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. i-ii, doi: 10.4230/DagRep.5.10.i |
| Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411) | |
|
(1,082 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 1-18, doi: 10.4230/DagRep.5.10.1 Jan Peters, Justus Piater, Robert Platt, and Siddhartha Srinivasa (Eds.) |
| Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412) | |
|
(1,033 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 19-34, doi: 10.4230/DagRep.5.10.19 José R. Correa, Tobias Harks, Kai Nagel, Britta Peis, and Martin Skutella (Eds.) |
| Rack-scale Computing (Dagstuhl Seminar 15421) | |
|
(965 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 35-49, doi: 10.4230/DagRep.5.10.35 Babak Falsafi, Tim Harris, Dushyanth Narayanan, and David A. Patterson (Eds.) |
| Genomic Privacy (Dagstuhl Seminar 15431) | |
|
(1,115 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 50-65, doi: 10.4230/DagRep.5.10.50 Jean Pierre Hubaux, Stefan Katzenbeisser, Bradley Malin, and Gene Tsudik (Eds.) |
| Duality in Computer Science (Dagstuhl Seminar 15441) | |
|
(867 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 66-88, doi: 10.4230/DagRep.5.10.66 Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen (Eds.) |
| Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) | |
|
(929 KB) |
Dagstuhl Reports, Volume 5, Issue 10, pp. 89-111, doi: 10.4230/DagRep.5.10.89 José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn (Eds.) |
(7,370 KB)
| Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue | |
|
(7,370 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 0-0, doi: 10.4230/DagRep.5.9 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 9, 2015 | |
|
(192 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. i-ii, doi: 10.4230/DagRep.5.9.i |
| Quantum Cryptanalysis (Dagstuhl Seminar 15371) | |
|
(1,134 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 1-17, doi: 10.4230/DagRep.5.9.1 Michele Mosca, Martin Roetteler, Nicolas Sendrier, and Rainer Steinwandt (Eds.) |
| Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381) | |
|
(1,202 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 18-37, doi: 10.4230/DagRep.5.9.18 Nikolaj S. Bjorner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, and Christoph Weidenbach (Eds.) |
| Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382) | |
|
(1,020 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 38-56, doi: 10.4230/DagRep.5.9.38 Ricardo Duarteand Björn Eskofier, Martin Rumpf, and Josef Wiemeyer (Eds.) |
| Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391) | |
|
(1,134 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 57-76, doi: 10.4230/DagRep.5.9.57 Aicke Hinrichs, Joseph F. Traub, Henryk Wozniakowski, and Larisa Yaroslavtseva (Eds.) |
| Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392) | |
|
(1,149 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 77-104, doi: 10.4230/DagRep.5.9.77 Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, and Arno Pauly (Eds.) |
| Circuits, Logic and Games (Dagstuhl Seminar 15401) | |
|
(1,117 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 105-124, doi: 10.4230/DagRep.5.9.105 Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, and Heribert Vollmer (Eds.) |
| Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402) | |
|
(914 KB) |
Dagstuhl Reports, Volume 5, Issue 9, pp. 125-138, doi: 10.4230/DagRep.5.9.125 Vincent Danos, and Heinz Koeppl (Eds.) |
(6,633 KB)
| Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue | |
|
(6,633 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 0-0, doi: 10.4230/DagRep.5.8 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015 | |
|
(188 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. i-ii, doi: 10.4230/DagRep.5.8.i |
| Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342) | |
|
(1,132 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 1-8, doi: 10.4230/DagRep.5.8.1 Dieter Kranzlmüller, and Barry L. Rountree (Eds.) |
| Computational Mass Spectrometry (Dagstuhl Seminar 15351) | |
|
(2,968 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 9-33, doi: 10.4230/DagRep.5.8.9 Rudolf Aebersold, Oliver Kohlbacher, and Olga Vitek (Eds.) |
| Design of Microfluidic Biochips (Dagstuhl Seminar 15352) | |
|
(1,036 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 34-53, doi: 10.4230/DagRep.5.8.34 Krishnendu Chakrabarty, Tsung-Yi Ho, and Robert Wille (Eds.) |
| Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361) | |
|
(889 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 54-73, doi: 10.4230/DagRep.5.8.54 Matthias Hein, Gabor Lugosi, and Lorenzo Rosasco (Eds.) |
| Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) | |
|
(708 KB) |
Dagstuhl Reports, Volume 5, Issue 8, pp. 74-89, doi: 10.4230/DagRep.5.8.74 Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre (Eds.) |
(3,254 KB)
| Dagstuhl Reports, Volume 5, Issue 7, July 2015, Complete Issue | |
|
(3,254 KB) |
Dagstuhl Reports, Volume 5, Issue 7, pp. 0-0, doi: 10.4230/DagRep.5.7 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 7, 2015 | |
|
(188 KB) |
Dagstuhl Reports, Volume 5, Issue 7, pp. i-ii, doi: 10.4230/DagRep.5.7.i |
| Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems (Dagstuhl Seminar 15281) | |
|
(785 KB) |
Dagstuhl Reports, Volume 5, Issue 7, pp. 1-21, doi: 10.4230/DagRep.5.7.1 Henri Casanova, Ewa Deelman, Yves Robert, and Uwe Schwiegelshohn (Eds.) |
| The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 15301) | |
|
(1,156 KB) |
Dagstuhl Reports, Volume 5, Issue 7, pp. 22-41, doi: 10.4230/DagRep.5.7.22 Andrei A. Bulatov, Venkatesan Guruswami, Andrei Krokhin, and Dániel Marx (Eds.) |
| Digital Scholarship and Open Science in Psychology and the Behavioral Sciences (Dagstuhl Perspectives Workshop 15302) | |
|
(1,318 KB) |
Dagstuhl Reports, Volume 5, Issue 7, pp. 42-68, doi: 10.4230/DagRep.5.7.42 Alexander Garcia Castro, Janna Hastings, Robert Stevens, and Erich Weichselgartner (Eds.) |
(4,403 KB)
| Dagstuhl Reports, Volume 5, Issue 6, June 2015, Complete Issue | |
|
(4,403 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. 0-0, doi: 10.4230/DagRep.5.6 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 6, 2015 | |
|
(188 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. i-ii, doi: 10.4230/DagRep.5.6.i |
| Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241) | |
|
(1,132 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. 1-27, doi: 10.4230/DagRep.5.6.1 Craig Boutilier, Britta Dorn, Nicolas Maudet, and Vincent Merlin (Eds.) |
| Complexity of Symbolic and Numerical Problems (Dagstuhl Seminar 15242) | |
|
(1,108 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. 28-47, doi: 10.4230/DagRep.5.6.28 Peter Bürgisser, Felipe Cucker, Marek Karpinski, and Nicolai Vorobjov (Eds.) |
| Sparse Modelling and Multi-exponential Analysis (Dagstuhl Seminar 15251) | |
|
(857 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. 48-69, doi: 10.4230/DagRep.5.6.48 Annie Cuyt, George Labahn, Avraham Sidi, and Wen-shin Lee (Eds.) |
| Logics for Dependence and Independence (Dagstuhl Seminar 15261) | |
|
(1,382 KB) |
Dagstuhl Reports, Volume 5, Issue 6, pp. 70-85, doi: 10.4230/DagRep.5.6.70 Erich Grädel, Juha Kontinen, Jouko Väänänen, and Heribert Vollmer (Eds.) |
(6,743 KB)
| Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue | |
|
(6,743 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 0-0, doi: 10.4230/DagRep.5.5 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015 | |
|
(192 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. i-ii, doi: 10.4230/DagRep.5.5.i |
| Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) | |
|
(1,129 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 1-23, doi: 10.4230/DagRep.5.5.1 Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao (Eds.) |
| The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192) | |
|
(1,419 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 24-42, doi: 10.4230/DagRep.5.5.24 Roberto Casati, Patrick Cavanagh, and Paulo E. Santos (Eds.) |
| Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201) | |
|
(1,037 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 43-56, doi: 10.4230/DagRep.5.5.43 Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger (Eds.) |
| Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211) | |
|
(1,324 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 57-91, doi: 10.4230/DagRep.5.5.57 Benjamin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele (Eds.) |
| Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221) | |
|
(874 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 92-114, doi: 10.4230/DagRep.5.5.92 Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade (Eds.) |
| Human-Centric Development of Software Tools (Dagstuhl Seminar 15222) | |
|
(1,147 KB) |
Dagstuhl Reports, Volume 5, Issue 5, pp. 115-132, doi: 10.4230/DagRep.5.5.115 Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund (Eds.) |
(6,670 KB)
| Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue | |
|
(6,670 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 0-0, doi: 10.4230/DagRep.5.4 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015 | |
|
(192 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. i-ii, doi: 10.4230/DagRep.5.4.i |
| Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151) | |
|
(1,021 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 1-17, doi: 10.4230/DagRep.5.4.1 David Hutchison, Klara Nahrstedt, Marcus Schöller, Indra Spiecker gen. Döhmann, and Markus Tauber (Eds.) |
| Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152) | |
|
(1,334 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 18-55, doi: 10.4230/DagRep.5.4.18 Trevor Darrell, Marius Kloft, Massimiliano Pontil, Gunnar Rätsch, and Erik Rodner (Eds.) |
| Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161) | |
|
(758 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 56-75, doi: 10.4230/DagRep.5.4.56 Christian Lengauer, Matthias Bolten, Robert D. Falgout, and Olaf Schenk (Eds.) |
| Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162) | |
|
(1,048 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 76-97, doi: 10.4230/DagRep.5.4.76 Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, and Wilhelm Schäfer (Eds.) |
| Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) | |
|
(1,162 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 98-122, doi: 10.4230/DagRep.5.4.98 Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, and Ryan Williams (Eds.) |
| Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181) | |
|
(855 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 123-141, doi: 10.4230/DagRep.5.4.123 Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, and Annabelle McIver (Eds.) |
| Qualification of Formal Methods Tools (Dagstuhl Seminar 15182) | |
|
(771 KB) |
Dagstuhl Reports, Volume 5, Issue 4, pp. 142-159, doi: 10.4230/DagRep.5.4.142 Darren Cofer, Gerwin Klein, Konrad Slind, and Virginie Wiels (Eds.) |
(8,308 KB)
| Dagstuhl Reports, Volume 5, Issue 3, March 2015, Complete Issue | |
|
(8,308 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 0-0, doi: 10.4230/DagRep.5.3 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 3, 2015 | |
|
(191 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. i-ii, doi: 10.4230/DagRep.5.3.i |
| Bridging Information Visualization with Machine Learning (Dagstuhl Seminar 15101) | |
|
(1,465 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 1-27, doi: 10.4230/DagRep.5.3.1 Daniel A. Keim, Tamara Munzner, Fabrice Rossi, and Michel Verleysen (Eds.) |
| Secure Routing for Future Communication Networks (Dagstuhl Seminar 15102) | |
|
(936 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 28-40, doi: 10.4230/DagRep.5.3.28 Amir Herzberg, Matthias Hollick, and Adrian Perrig (Eds.) |
| Computational Geometry (Dagstuhl Seminar 15111) | |
|
(1,199 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 41-62, doi: 10.4230/DagRep.5.3.41 Otfried Cheong, Jeff Erickson, and Monique Teillaud (Eds.) |
| Network Calculus (Dagstuhl Seminar 15112) | |
|
(746 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 63-83, doi: 10.4230/DagRep.5.3.63 Florin Ciucu, Markus Fidler, Jörg Liebeherr, and Jens Schmitt (Eds.) |
| Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121) | |
|
(2,076 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 84-142, doi: 10.4230/DagRep.5.3.84 Sanjoy K. Baruah, Liliana Cucu-Grosjean, Robert I. Davis, and Claire Maiza (Eds.) |
| Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122) | |
|
(1,150 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 143-161, doi: 10.4230/DagRep.5.3.143 Frank Drewes, Kevin Knight, and Marco Kuhlmann (Eds.) |
| Normative Multi-Agent Systems (Dagstuhl Seminar 15131) | |
|
(1,053 KB) |
Dagstuhl Reports, Volume 5, Issue 3, pp. 162-176, doi: 10.4230/DagRep.5.3.162 Amit K. Chopra, Leon van der Torre, Harko Verhagen, and Serena Villata (Eds.) |
(6,848 KB)
| Dagstuhl Reports, Volume 5, Issue 2, February 2015, Complete Issue | |
|
(6,848 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 0-0, doi: 10.4230/DagRep.5.2 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 2, 2015 | |
|
(193 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. i-ii, doi: 10.4230/DagRep.5.2.i |
| Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061) | |
|
(961 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 1-25, doi: 10.4230/DagRep.5.2.1 Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, and Wolfgang Thomas (Eds.) |
| Domain-Specific Languages (Dagstuhl Seminar 15062) | |
|
(1,021 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 26-43, doi: 10.4230/DagRep.5.2.26 Sebastian Erdweg, Martin Erwig, Richard F. Paige, and Eelco Visser (Eds.) |
| Formal Foundations for Networking (Dagstuhl Seminar 15071) | |
|
(981 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 44-63, doi: 10.4230/DagRep.5.2.44 Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, and Pamela Zave (Eds.) |
| Distributed Cloud Computing (Dagstuhl Seminar 15072) | |
|
(904 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 64-79, doi: 10.4230/DagRep.5.2.64 Yvonne Coady, James Kempf, Rick McGeer, and Stefan Schmid (Eds.) |
| Holistic Scene Understanding (Dagstuhl Seminar 15081) | |
|
(1,106 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 80-108, doi: 10.4230/DagRep.5.2.80 Jiri Matas, Vittorio Murino, Bodo Rosenhahn, and Laura Leal-Taixé (Eds.) |
| Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082) | |
|
(932 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 109-127, doi: 10.4230/DagRep.5.2.109 Hartmut Klauck, Troy Lee, Dirk Oliver Theis, and Rekha R. Thomas (Eds.) |
| Smart Buildings and Smart Grids (Dagstuhl Seminar 15091) | |
|
(1,211 KB) |
Dagstuhl Reports, Volume 5, Issue 2, pp. 128-175, doi: 10.4230/DagRep.5.2.128 Hans-Arno Jacobsen, Randy H. Katz, Hartmut Schmeck, and Christoph Goebel (Eds.) |
(8,530 KB)
| Dagstuhl Reports, Volume 5, Issue 1, January 2015, Complete Issue | |
|
(8,530 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 0-0, doi: 10.4230/DagRep.5.1 |
| Dagstuhl Reports, Table of Contents, Volume 5, Issue 1, 2015 | |
|
(193 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. i-ii, doi: 10.4230/DagRep.5.1.i |
| Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021) | |
|
(1,236 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 1-56, doi: 10.4230/DagRep.5.1.1 Michael Philippsen, Pascal Felber, Michael L. Scott, and J. Eliot B. Moss (Eds.) |
| Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) | |
|
(1,503 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 57-95, doi: 10.4230/DagRep.5.1.57 Katrien De Moor, Markus Fiedlerand Peter Reichl, and Martín Varela (Eds.) |
| Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) | |
|
(1,615 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 96-163, doi: 10.4230/DagRep.5.1.96 Salvatore Greco, Kathrin Klamroth, Joshua D. Knowles, and Günter Rudolph (Eds.) |
| Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) | |
|
(1,022 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 164-196, doi: 10.4230/DagRep.5.1.164 Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, and Marta Kwiatkowska (Eds.) |
| Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042) | |
|
(969 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 197-206, doi: 10.4230/DagRep.5.1.197 Samson Abramsky, Alexander Kurz, Pierre Lescanne, and Viktor Winschel (Eds.) |
| Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051) | |
|
(1,270 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 207-242, doi: 10.4230/DagRep.5.1.207 Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck,, and Julian Togelius (Eds.) |
| Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052) | |
|
(1,179 KB) |
Dagstuhl Reports, Volume 5, Issue 1, pp. 243-258, doi: 10.4230/DagRep.5.1.243 Ulrik Brandes, Irene Finocchi, Martin Nöllenburg, and Aaron Quigley (Eds.) |
(9,805 KB)
| Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue | |
|
(9,805 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. 0-0, doi: 10.4230/DagRep.4.12 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014 | |
|
(187 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. i-ii, doi: 10.4230/DagRep.4.12.i |
| Socio-Technical Security Metrics (Dagstuhl Seminar 14491) | |
|
(4,645 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. 1-28, doi: 10.4230/DagRep.4.12.1 Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse (Eds.) |
| The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) | |
|
(762 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. 29-47, doi: 10.4230/DagRep.4.12.29 Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh (Eds.) |
| Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511) | |
|
(1,342 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. 48-67, doi: 10.4230/DagRep.4.12.48 James Cheney, Torsten Grust, and Dimitrios Vytiniotis (Eds.) |
| Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) | |
|
(4,382 KB) |
Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, doi: 10.4230/DagRep.4.12.68 Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli (Eds.) |
(18,809 KB)
| Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue | |
|
(18,809 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 0-0, doi: 10.4230/DagRep.4.11 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 11, 2014 | |
|
(193 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. i-ii, doi: 10.4230/DagRep.4.11.i |
| Optimality and tight results in parameterized complexity (Dagstuhl Seminar 14451) | |
|
(1,354 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 1-21, doi: 10.4230/DagRep.4.11.1 Stefan Kratsch, Daniel Lokshtanov, Dániel Marx, and Peter Rossmanith (Eds.) |
| Algorithmic Cheminformatics (Dagstuhl Seminar 14452) | |
|
(1,012 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 22-39, doi: 10.4230/DagRep.4.11.22 Wolfgang Banzhaf, Christoph Flamm, Daniel Merkle, and Peter F. Stadler (Eds.) |
| High-performance Graph Algorithms and Applications in Computational Science (Dagstuhl Seminar 14461) | |
|
(1,049 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 40-58, doi: 10.4230/DagRep.4.11.40 Ulrich Carsten Meyer, Henning Meyerhenke, Ali Pinar, and Ilya Safro (Eds.) |
| Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462) | |
|
(942 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 59-77, doi: 10.4230/DagRep.4.11.59 Eiko Yoneki, Amitabha Roy, and Derek Murray (Eds.) |
| Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment (Dagstuhl Seminar 14471) | |
|
(1,545 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 78-137, doi: 10.4230/DagRep.4.11.78 Jon Crowcroft, Adam Wolisz, and Arjuna Sathiaseelan (Eds.) |
| Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481) | |
|
(7,144 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 138-226, doi: 10.4230/DagRep.4.11.138 David Gilbert, Monika Heiner, Koichi Takahashi, and Adelinde M. Uhrmacher (Eds.) |
| Automated Planning and Model Checking (Dagstuhl Seminar 14482) | |
|
(1,123 KB) |
Dagstuhl Reports, Volume 4, Issue 11, pp. 227-245, doi: 10.4230/DagRep.4.11.227 Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, and Erion Plaku (Eds.) |
(4,864 KB)
| Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue | |
|
(4,864 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 0-0, doi: 10.4230/DagRep.4.10 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014 | |
|
(192 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. i-ii, doi: 10.4230/DagRep.4.10.i |
| Constraints, Optimization and Data (Dagstuhl Seminar 14411) | |
|
(1,321 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 1-31, doi: 10.4230/DagRep.4.10.1 Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Michele Sebag (Eds.) |
| Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412) | |
|
(1,073 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 32-50, doi: 10.4230/DagRep.4.10.32 Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe (Eds.) |
| Optimal algorithms and proofs (Dagstuhl Seminar 14421) | |
|
(835 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 51-68, doi: 10.4230/DagRep.4.10.51 Olaf Beyersdorff, Edward A. Hirsch, Jan Krajicek, and Rahul Santhanam (Eds.) |
| Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441) | |
|
(914 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 69-97, doi: 10.4230/DagRep.4.10.69 Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec (Eds.) |
| Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442) | |
|
(755 KB) |
Dagstuhl Reports, Volume 4, Issue 10, pp. 98-114, doi: 10.4230/DagRep.4.10.98 Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, and Koushik Sen (Eds.) |
(6,509 KB)
| Dagstuhl Reports, Volume 4, Issue 9, September 2014, Complete Issue | |
|
(6,509 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 0-0, doi: 10.4230/DagRep.4.9 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 9, 2014 | |
|
(191 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. i-ii, doi: 10.4230/DagRep.4.9.i |
| Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371) | |
|
(1,166 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 1-29, doi: 10.4230/DagRep.4.9.1 Nicolas R. Gauger, Michael Giles, Max Gunzburger, and Uwe Naumann (Eds.) |
| Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372) | |
|
(1,178 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 30-49, doi: 10.4230/DagRep.4.9.30 Maria-Florina Balcan, Bodo Manthey, Heiko Röglin, and Tim Roughgarden (Eds.) |
| Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381) | |
|
(1,885 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 50-84, doi: 10.4230/DagRep.4.9.50 Artur d'Avila Garcez, Marco Gori, Pascal Hitzler, and Luís C. Lamb (Eds.) |
| Algebra in Computational Complexity (Dagstuhl Seminar 14391) | |
|
(1,154 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 85-105, doi: 10.4230/DagRep.4.9.85 Manindra Agrawal, Valentine Kabanets, Thomas Thierauf, and Christopher Umans (Eds.) |
| Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401) | |
|
(1,205 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 106-123, doi: 10.4230/DagRep.4.9.106 Bart Preneel, Phillip Rogaway, Mark D. Ryan, and Peter Y. A. Ryan (Eds.) |
| Resilience in Exascale Computing (Dagstuhl Seminar 14402) | |
|
(715 KB) |
Dagstuhl Reports, Volume 4, Issue 9, pp. 124-139, doi: 10.4230/DagRep.4.9.124 Hermann Härtig, Satoshi Matsuoka, Frank Mueller, and Alexander Reinefeld (Eds.) |
(7,600 KB)
| Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue | |
|
(7,600 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 0-0, doi: 10.4230/DagRep.4.8 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014 | |
|
(192 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. i-ii, doi: 10.4230/DagRep.4.8.i |
| Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331) | |
|
(798 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 1-20, doi: 10.4230/DagRep.4.8.1 Michael Benedikt, Carsten Lutz, and Balder Ten Cate (Eds.) |
| Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) | |
|
(1,180 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 21-44, doi: 10.4230/DagRep.4.8.21 Thomas Agotnes, and Nils Bulling (Eds.) |
| Resource-bounded Problem Solving (Dagstuhl Seminar 14341) | |
|
(794 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 45-72, doi: 10.4230/DagRep.4.8.45 Yll Haxhimusa, Iris van Rooij, and Sashank Varma ans Todd Wareham (Eds.) |
| Equilibrium Computation (Dagstuhl Seminar 14342) | |
|
(1,013 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 73-88, doi: 10.4230/DagRep.4.8.73 Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani,, and Vijay V. Vazirani (Eds.) |
| Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) | |
|
(1,061 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, doi: 10.4230/DagRep.4.8.89 Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur (Eds.) |
| Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) | |
|
(993 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 107-125, doi: 10.4230/DagRep.4.8.107 Patrick Cousot, Daniel Kroening, and Carsten Sinz (Eds.) |
| Computational Aspects of Fabrication (Dagstuhl Seminar 14361) | |
|
(1,143 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 126-150, doi: 10.4230/DagRep.4.8.126 Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier (Eds.) |
| Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362) | |
|
(983 KB) |
Dagstuhl Reports, Volume 4, Issue 8, pp. 151-173, doi: 10.4230/DagRep.4.8.151 Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt (Eds.) |
(6,380 KB)
| Dagstuhl Reports, Volume 4, Issue 7, July 2014, Complete Issue | |
|
(6,380 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. 0-0, doi: 10.4230/DagRep.4.7 |
| Dagstuhl Reports, Table of Contents, Volume 4, Issue 7, 2014 | |
|
(192 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. i-ii, doi: 10.4230/DagRep.4.7.i |
| Feature Interactions: The Next Generation (Dagstuhl Seminar 14281) | |
|
(1,299 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. 1-24, doi: 10.4230/DagRep.4.7.1 Sven Apel, Joanne M. Atlee, Luciano Baresi, and Pamela Zave (Eds.) |
| Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282) | |
|
(1,193 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. 25-51, doi: 10.4230/DagRep.4.7.25 Abraham Bernstein, Jan Marco Leimeister, Natasha Noy, Cristina Sarasua, and Elena Simperl (Eds.) |
| Information-Centric Networking 3 (Dagstuhl Seminar 14291) | |
|
(1,025 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. 52-61, doi: 10.4230/DagRep.4.7.52 Dirk Kutscher, Taekyoung Kwon, and Ignacio Solis (Eds.) |
| Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures (Dagstuhl Seminar 14292) | |
|
(1,102 KB) |
Dagstuhl Reports, Volume 4, Issue 7, pp. 62-79, |