default search action
Dagstuhl Reports, Volume 9
Volume 9, Number 1, January 2019
- Marie-Francine Moens, Lucia Specia
, Tinne Tuytelaars:
Joint Processing of Language and Visual Data for Better Automated Understanding (Dagstuhl Seminar 19021). 1-27 - Erich Grädel, Phokion G. Kolaitis, Juha Kontinen
Logics for Dependence and Independence (Dagstuhl Seminar 19031). 28-46 - Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi:
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). 47-66 - Fedor V. Fomin, Dániel Marx, Saket Saurabh, Meirav Zehavi:
New Horizons in Parameterized Complexity (Dagstuhl Seminar 19041). 67-87 - Jan Camenisch, Ralf Küsters, Anna Lysyanskaya, Alessandra Scafuro:
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042). 88-103 - Gerth Stølting Brodal, Ulrich Carsten Meyer, Markus E. Nebel, Robert Sedgewick:
Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051). 104-124 - Meinard Müller, Emilia Gómez, Yi-Hsuan Yang:
Computational Methods for Melody and Voice Processing in Music Recordings (Dagstuhl Seminar 19052). 125-177
Volume 9, Number 2, February 2019
- Mikko Kivelä
Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061). 1-26 - Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar:
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). 27-47 - Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). 48-72 - Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann:
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). 73-90 - Rachid Alami, Kerstin I. Eder, Guy Hoffman
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). 91-110 - Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, Tom Schaul:
AI for the Social Good (Dagstuhl Seminar 19082). 111-122 - Seok-Hee Hong, Michael Kaufmann, János Pach, Csaba D. Tóth:
Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092). 123-156
Volume 9, Number 3, March 2019
- Kunal Agrawal, Enrico Bini, Giovanni Stea
Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101). 1-15 - Bernhard Egger, William A. P. Smith, Christian Theobalt
3D Morphable Models (Dagstuhl Seminar 19102). 16-38 - Martin Farach-Colton, Inge Li Gørtz, Rob Johnson, Donald E. Porter:
Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111). 39-51 - Jürgen Dix, Brian Logan, Michael Winikoff:
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). 52-63 - Anna Gál, Rahul Santhanam, Till Tantau:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 19121). 64-82 - Volker Diekert, Olga Kharlampovich, Markus Lohrey, Alexei G. Myasnikov:
Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131). 83-110 - Susanne Boll, Andrew L. Kun, Andreas Riener, C. Y. David Yang:
Users and automated driving systems: How will we interact with tomorrow's vehicles? (Dagstuhl Seminar 19132). 111-178 - Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry:
Programmable Network Data Planes (Dagstuhl Seminar 19141). 178-201
Volume 9, Number 4, April 2019
- Christoph Heinzl
Visual Computing in Materials Sciences (Dagstuhl Seminar 19151). 1-42 - Krishnendu Chakrabarty, Tsung-Yi Ho
Emerging Hardware Techniques and EDA Methodologies for Neuromorphic Computing (Dagstuhl Seminar 19152). 43-58 - Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). 59-86 - Tarek Richard Besold, Pablo Gervás, Evelyn Gius
Computational Creativity Meets Digital Literary Studies (Dagstuhl Seminar 19172). 87-106 - Siu-Wing Cheng, Anne Driemel, Jeff Erickson:
Computational Geometry (Dagstuhl Seminar 19181). 107-123 - Ido Dagan, Iryna Gurevych, Dan Roth, Amanda Stent:
Multi-Document Information Consolidation (Dagstuhl Seminar 19182). 124-140
Volume 9, Number 5, May 2019
- Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer:
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). 1-30 - Sara Irina Fabrikant, Silvia Miksch, Alexander Wolff:
Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192). 31-57 - Luc De Raedt, Richard Evans, Stephen H. Muggleton, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202). 58-88 - Endre Boros, Benny Kimelfeld, Reinhard Pichler, Nicole Schweikardt:
Enumeration in Data Management (Dagstuhl Seminar 19211). 89-109 - Michael Kerber, Vijay Natarajan, Bei Wang:
Topology, Computation and Data Analysis (Dagstuhl Seminar 19212). 110-131 - John S. Baras, Sandra Hirche, Kay Römer, Klaus Wehrle:
Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222). 132-141
Volume 9, Number 6, June 2019
- Adam Shostack, Matthew Smith
Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 19231). 1-25 - Audrey Girouard, Andrew L. Kun, Anne Roudaut, Orit Shaer:
Ubiquitous Computing Education: Why, What, and How (Dagstuhl Seminar 19232). 26-54 - Travis Gagie, Giovanni Manzini, Gonzalo Navarro, Jens Stoye
25 Years of the Burrows-Wheeler Transform (Dagstuhl Seminar 19241). 55-68 - C. Mohan, Beng Chin Ooi, Gottfried Vossen:
Distributed Computing with Permissioned Blockchains and Databases (Dagstuhl Seminar 19261). 69-94 - Alyssa Goodman, Charles D. Hansen, Daniel Weiskopf, Anders Ynnerman:
Astrographics: Interactive Data-Driven Journeys through Space (Dagstuhl Seminar 19262). 95-124 - Maria Chudnovsky, Daniël Paulusma
Graph Colouring: from Structure to Algorithms (Dagstuhl Seminar 19271). 125-142 - Marcus A. Magnor, Alexander Sorkine-Hornung:
Real VR - Importing the Real World into Immersive VR and Optimizing the Perceptual Experience of Head-Mounted Displays (Dagstuhl Seminar 19272). 143-156
Volume 9, Number 7, July 2019
- Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold:
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). 1-23 - Anthony J. Bagnall, Richard L. Cole, Themis Palpanas, Konstantinos Zoumpatianos:
Data Series Management (Dagstuhl Seminar 19282). 24-39 - Christoph Becker, Gregor Engels, Andrew Feenberg, Maria Angela Ferrario, Geraldine Fitzpatrick:
Values in Computing (Dagstuhl Seminar 19291). 40-77 - Eun Kyoung Choe, Raimund Dachselt, Petra Isenberg, Bongshin Lee:
Mobile Data Visualization (Dagstuhl Seminar 19292). 78-93 - Divya Arora, Ilia Polian, Francesco Regazzoni, Patrick Schaumont
Secure Composition for Hardware Systems (Dagstuhl Seminar 19301). 94-116 - Zinaida Benenson, Marianne Junger, Daniela Oliveira, Gianluca Stringhini:
Cybersafety Threats - from Deception to Aggression (Dagstuhl Seminar 19302). 117-154
Volume 9, Number 8, August 2019
- Bjorn De Sutter, Christian S. Collberg, Mila Dalla Preda, Brecht Wyseur:
Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331). 1-25 - Dmitriy Bilyk, Aicke Hinrichs, Frances Y. Kuo, Klaus Ritter:
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 19341). 26-48 - Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, Gabriele Varani:
Advances and Challenges in Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 19342). 49-69 - Nuno Bandeira, Lennart Martens:
Computational Proteomics (Dagstuhl Seminar 19351). 70-83 - Maarten Löffler, Anna Lubiw, Saul Schleimer, Erin Wolf Chambers:
Computation in Low-Dimensional Geometry and Topology (Dagstuhl Seminar 19352). 84-112
Volume 9, Number 9, September 2019
- Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider
Logic and Learning (Dagstuhl Seminar 19361). 1-22 - Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli:
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). 23-44 - Umberto Grandi, Stefan Napel, Rolf Niedermeier, Kristen Brent Venable:
Application-Oriented Computational Social Choice (Dagstuhl Seminar 19381). 45-65 - Cinzia Cappiello, Avigdor Gal, Matthias Jarke, Jakob Rehof:
Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391). 66-134 - Joanna A. Ellis-Monaghan, Andrew J. Goodall, Iain Moffatt, Kerri Morgan
Comparative Theory for Graph Polynomials (Dagstuhl Seminar 19401). 135-155
Volume 9, Number 10, October 2019
- Elisabeth André
Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411). 1-46 - Michele Mosca, María Naya-Plasencia, Rainer Steinwandt:
Quantum Cryptanalysis (Dagstuhl Seminar 19421). 47-60 - Carola Doerr
Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431). 61-94 - Mario Gleirscher, Anne E. Haxthausen
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). 95-116 - Carla Ferreira
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). 117-133 - Magnus Bordewich, Britta Dorn, Simone Linz
Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443). 134-151
Volume 9, Number 11, November 2019
- Frederik Armknecht
Biggest Failures in Security (Dagstuhl Seminar 19451). 1-23 - Enrico Bertini, Peer-Timo Bremer, Daniela Oelke, Jayaraman J. Thiagarajan:
Machine Learning Meets Visualization to Make Artificial Intelligence Interpretable (Dagstuhl Seminar 19452). 24-33 - Avishek Anand, Lawrence Cavedon, Hideo Joho, Mark Sanderson, Benno Stein:
Conversational Search (Dagstuhl Seminar 19461). 34-83 - Margaret-Anne D. Storey, Alexander Serebrenik, Carolyn Penstein Rosé, Thomas Zimmermann, James D. Herbsleb:
BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471). 84-96 - Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). 97-116 - Abraham Bernstein, Claes H. de Vreese, Natali Helberger
Diversity, Fairness, and Data-Driven Personalization in (News) Recommender System (Dagstuhl Perspectives Workshop 19482). 117-124
Volume 9, Number 12, December 2019
- Angela Bonifati, Alexandru Iosup, Sherif Sakr, Hannes Voigt:
Big Graph Processing Systems (Dagstuhl Seminar 19491). 1-27 - Dirk Ziegenbein, Selma Saidi, Xiaobo Sharon Hu, Sebastian Steinhorst:
Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502). 28-66 - Jialin Liu, Tom Schaul, Pieter Spronck, Julian Togelius:
Artificial and Computational Intelligence in Games: Revolutions in Computational Game AI (Dagstuhl Seminar 19511). 67-114 - Thomas A. Grandine, Jörg Peters, Ulrich Reif:
Interactive Design and Simulation (Dagstuhl Seminar 19512). 115-134
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: