default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 8
Volume 8, Number 1, January 2018
- Joan Daemen, Tetsu Iwata, Nils Gregor Leander, Kaisa Nyberg
:
Symmetric Cryptography (Dagstuhl Seminar 18021). 1-32 - Kathrin Klamroth, Joshua D. Knowles, Günter Rudolph, Margaret M. Wiecek:
Personalized Multiobjective Optimization: An Analytics Perspective (Dagstuhl Seminar 18031). 33-99 - Helwig Hauser, Penny Rheingans, Gerik Scheuermann:
Foundations of Data Visualization (Dagstuhl Seminar 18041). 100-123 - Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam:
Proof Complexity (Dagstuhl Seminar 18051). 124-157 - Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon:
Genetic Improvement of Software (Dagstuhl Seminar 18052). 158-182
Volume 8, Number 2, February 2018
- Andreas Stefik, Bonita Sharif, Brad A. Myers, Stefan Hanenberg:
Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061). 1-25 - J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve:
Planning and Operations Research (Dagstuhl Seminar 18071). 26-63 - Pierre Bonami, Ambros M. Gleixner, Jeff T. Linderoth, Ruth Misener:
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). 64-87 - Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler:
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082). 88-100 - Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro:
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). 101-121 - Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons:
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). 122-149
Volume 8, Number 3, March 2018
- Magnús M. Halldórsson, Nicole Megow, Clifford Stein:
Scheduling (Dagstuhl Seminar 18101). 1-20 - Roberto Cominetti, Tobias Harks, Carolina Osorio, Britta Peis:
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102). 21-38 - Sebastian Hack, Paul H. J. Kelly, Christian Lengauer:
Loop Optimization (Dagstuhl Seminar 18111). 39-59 - Po-Ling Loh, Arya Mazumdar, Dimitris S. Papailiopoulos, Rüdiger L. Urbanke:
Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112). 60-73 - Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský:
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). 74-93 - Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman:
Automatic Quality Assurance and Release (Dagstuhl Seminar 18122). 94-127
Volume 8, Number 4, April 2018
- Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich:
Program Equivalence (Dagstuhl Seminar 18151). 1-19 - Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, Edgar R. Weippl:
Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152). 20-31 - Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, Kay Katja Nieselt:
Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161). 32-71 - Mehdi Dastani, Jürgen Dix, Harko Verhagen, Serena Villata:
Normative Multi-Agent Systems (Dagstuhl Seminar 18171). 72-103 - Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers:
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). 104-125 - David M. Eyers, Christopher Millard, Margo I. Seltzer, Jatinder Singh:
Towards Accountable Systems (Dagstuhl Seminar 18181). 126-163 - Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, Alexander Mädche:
Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182). 164-198
Volume 8, Number 5, May 2018
- Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens:
Secure Compilation (Dagstuhl Seminar 18201). 1-30 - Onur Altintas, Suman Banerjee, Falko Dressler, Geert Heijenk:
Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202). 31-59 - Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum:
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). 60-79 - Kasper Hornbæk, David Kirsh, Joseph A. Paradiso, Jürgen Steimle:
On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212). 80-101
Volume 8, Number 6, June 2018
- Martin Grohe, Venkatesan Guruswami, Stanislav Zivný:
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231). 1-18 - Henning Meyerhenke, Richard Peng, Ilya Safro:
High-Performance Graph Algorithms (Dagstuhl Seminar 18241). 19-39 - Phillipa Gill, Adrian Perrig, Matthias Wählisch:
Secure Routing for the Internet (Dagstuhl Seminar 18242). 40-62 - Peter A. Boncz, Goetz Graefe, Bingsheng He, Kai-Uwe Sattler:
Database Architectures for Modern Hardware (Dagstuhl Seminar 18251). 63-76 - Lewis L. Chuang, Andrew T. Duchowski, Pernilla Qvarfordt, Daniel Weiskopf:
Ubiquitous Gaze Sensing and Interaction (Dagstuhl Seminar 18252). 77-148 - Yungang Bao, Lars Eggert, Simon Peter, Noa Zilberman:
Discipline Convergence in Networked Systems (Dagstuhl Seminar 18261). 149-172 - Susan Halford, James A. Hendler, Eirini Ntoutsi, Steffen Staab:
10 Years of Web Science: Closing The Loop (Dagstuhl Perspectives Workshop 18262). 173-198
Volume 8, Number 7, July 2018
- Janine C. Bennett, Hank Childs, Christoph Garth, Bernd Hentschel:
In Situ Visualization for Computational Science (Dagstuhl Seminar 18271). 1-43 - Jérémy Barbay, Johannes Fischer, Stefan Kratsch, Srinivasa Rao Satti:
Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices (Dagstuhl Seminar 18281). 44-61 - Samy Bengio, Krzysztof Dembczynski, Thorsten Joachims, Marius Kloft, Manik Varma:
Extreme Classification (Dagstuhl Seminar 18291). 62-80
Volume 8, Number 8, August 2018
- Martin Johns, Nick Nikiforakis, Melanie Volkamer, John Wilander:
Web Application Security (Dagstuhl Seminar 18321). 1-17 - Jonathan Grudin, Pattie Maes, Florian 'Floyd' Mueller:
Human-Computer Integration (Dagstuhl Seminar 18322). 18-47 - Spring Berman, Sándor P. Fekete, Matthew J. Patitz, Christian Scheideler:
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331). 48-66 - Marlon Dumas, Richard Hull, Jan Mendling, Ingo Weber:
Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332). 67-129 - Andrej Bauer, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Assia Mahboubi:
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). 130-155 - Gordon S. Blair, Betty H. C. Cheng, Lorenz M. Hilty, Richard F. Paige:
Modeling for Sustainability (Dagstuhl Seminar 18351). 146-168
Volume 8, Number 9, September 2018
- Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly:
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). 1-28 - Piero Andrea Bonatti, Stefan Decker, Axel Polleres, Valentina Presutti:
Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371). 29-111 - Michele Mosca, Martin Roetteler, Peter Selinger:
Quantum Programming Languages (Dagstuhl Seminar 18381). 112-132 - Markus Bläser, Valentine Kabanets, Jacobo Torán, Christopher Umans:
Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391). 133-153 - Tijl De Bie, Luc De Raedt, Holger H. Hoos, Padhraic Smyth:
Automating Data Science (Dagstuhl Seminar 18401). 154-181
Volume 8, Number 10, October 2018
- Jean-Daniel Fekete, Danyel Fisher, Arnab Nandi, Michael Sedlmair:
Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411). 1-40 - Vaibhav Bajpai, Olivier Bonaventure, Kimberly C. Claffy, Daniel Karrenberg:
Encouraging Reproducibility in Scientific Research of the Internet (Dagstuhl Seminar 18412). 41-62 - Henning Fernau, Petr A. Golovach, Marie-France Sagot:
Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421). 63-86 - Michael Breuß, Alfred M. Bruckstein, Christer Oscar Kiselman, Petros Maragos:
Shape Analysis: Euclidean, Discrete and Algebraic Geometric Methods (Dagstuhl Seminar 18422). 87-103 - Bernd Bickel, Marc Alexa, Jessica K. Hodgins, Kristina Shea:
Computational Aspects of Fabrication (Dagstuhl Seminar 18431). 104-126 - Jason Alexander, Petra Isenberg, Yvonne Jansen, Bernice E. Rogowitz, Andrew Vande Moere:
Data Physicalization (Dagstuhl Seminar 18441). 127-147 - Andrea Fuster, Evren Özarslan, Thomas Schultz, Eugene Zhang:
Visualization and Processing of Anisotropy in Imaging, Geometry, and Astronomy (Dagstuhl Seminar 18442). 148-172
Volume 8, Number 11, November 2018
- Michael Albert, David I. Bevan, Miklós Bóna, István Miklós:
Genomics, Pattern Avoidance, and Statistical Mechanics (Dagstuhl Seminar 18451). 1-20 - Rainer Böhme, Joseph Bonneau, Ittay Eyal:
Blockchain Security at Scale (Dagstuhl Seminar 18461). 21-34 - Jean-Daniel Fekete, T. J. Jankun-Kelly, Melanie Tory, Kai Xu:
Provenance and Logging for Sense Making (Dagstuhl Seminar 18462). 35-62 - Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, Markus Stumptner:
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471). 63-90 - Natalia Manola, Peter Mutschke, Guido Scherp, Klaus Tochtermann, Peter Wittenburg:
Implementing FAIR Data Infrastructures (Dagstuhl Perspectives Workshop 18472). 91-111 - Moritz Helmstaedter, Jeff Lichtman, Nir Shavit:
High Throughput Connectomics (Dagstuhl Seminar 18481). 112-138 - Katy Börner, Øyvind Eide, Tamara Mchedlidze, Malte Rehbein, Gerik Scheuermann:
Network Visualization in the Humanities (Dagstuhl Seminar 18482). 139-153
Volume 8, Number 12, December 2018
- Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev:
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). 1-48 - Eimear Byrne, Martin Bossert, Antonia Wachter-Zeh:
Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511). 49-67
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 2025-12-04 01:27 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:
