default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 6
Volume 6, Number 1, January 2016
- Nick Barton, Per Kristian Lehre, Nisheeth K. Vishnoi:
Evolution and Computing (Dagstuhl Seminar 16011). 1-14 - Vaibhav Bajpai
, Arthur W. Berger, Philip Eardley, Jörg Ott, Jürgen Schönwälder:
Global Measurements: Practice and Experience (Dagstuhl Seminar 16012). 15-33 - Frederik Armknecht, Tetsu Iwata, Kaisa Nyberg, Bart Preneel:
Symmetric Cryptography (Dagstuhl Seminar 16021). 34-54 - Giuseppe F. Italiano, Marc J. van Kreveld, Bettina Speckmann, Guy Theraulaz:
Geometric and Graph-based Approaches to Collective Motion (Dagstuhl Seminar 16022). 55-68 - Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann:
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). 69-98 - George Danezis, Stefan Katzenbeisser, Christiane Peters, Bart Preneel:
Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 16032). 99-107 - Juliana Freire, Norbert Fuhr, Andreas Rauber:
Reproducibility of Data-Oriented Experiments in e-Science (Dagstuhl Seminar 16041). 108-159 - Andreas Bulling, Ozan Cakmakci, Kai Kunze, James M. Rehg:
Eyewear Computing - Augmenting the Human with Head-mounted Wearable Assistants (Dagstuhl Seminar 16042). 160-206 - Kristin E. Lauter, Radu Sion, Nigel P. Smart:
Modern Cryptography and Security: An Inter-Community Dialogue (Dagstuhl Seminar 16051). 207-223 - Hans Michael Gerndt, Michael Glaß, Sri Parameswaran, Barry L. Rountree:
Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052). 224-244
Volume 6, Number 2, February 2016
- Sheelagh Carpendale, Nicholas Diakopoulos, Nathalie Henry Riche, Christophe Hurter:
Data-Driven Storytelling (Dagstuhl Seminar 16061). 1-27 - Chen-Fu Chien, Hans Ehm, John W. Fowler, Lars Mönch:
Modeling and Analysis of Semiconductor Supply Chains (Dagstuhl Seminar 16062). 28-64 - Michael Albert, Miklós Bóna, István Miklós, Einar Steingrímsson:
Pattern Avoidance and Genome Sorting (Dagstuhl Seminar 16071). 65-77 - Michael E. Caspersen, Kathi Fisler, Jan Vahrenhold:
Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072). 78-96 - Nikhil Bansal, Nicole Megow, Clifford Stein:
Scheduling (Dagstuhl Seminar 16081). 97-118 - Caitlin Doyle Cottrill, Jan Fabian Ehmke, Franziska Klügl, Sabine Timpf:
Computational Challenges in Cooperative Intelligent Urban Transport (Dagstuhl Seminar 16091). 119-146 - Meinard Müller, Elaine Chew, Juan Pablo Bello:
Computational Music Structure Analysis (Dagstuhl Seminar 16092). 147-190
Volume 6, Number 3, March 2016
- Alejandro López-Ortiz, Ulrich Carsten Meyer, Markus E. Nebel, Robert Sedgewick:
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101). 1-23 - Daniel Delling, Camil Demetrescu, David S. Johnson, Jan Vitek:
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). 24-43 - Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop:
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). 44-58 - Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich:
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). 59-77
Volume 6, Number 4, April 2016
- Thorsten Quandt, German Shegalov, Helle Sjøvaag, Gottfried Vossen:
Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies (Dagstuhl Seminar 16141). 1-15 - Ingrid Hotz, Evren Özarslan, Thomas Schultz:
Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142). 16-38 - Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, Thomas Schwentick:
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151). 39-56 - Evrim Acar, Animashree Anandkumar, Lenore Mullin, Sebnem Rusitschka, Volker Tresp:
Tensor Computing for Internet of Things (Dagstuhl Perspectives Workshop 16152). 57-79 - Elena Cabrio, Graeme Hirst, Serena Villata, Adam Z. Wyner:
Natural Language Argumentation: Mining, Processing, and Reasoning over Textual Arguments (Dagstuhl Seminar 16161). 80-109 - Paris Avgeriou, Philippe Kruchten, Ipek Ozkaya, Carolyn B. Seaman:
Managing Technical Debt in Software Engineering (Dagstuhl Seminar 16162). 110-138 - Leo G. Kroon, Anita Schöbel, Dorothea Wagner:
Algorithmic Methods for Optimization in Public Transport (Dagstuhl Seminar 16171). 139-160 - Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke:
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). 161-173
Volume 6, Number 5, May 2016
- Richard Hull, Agnes Koschmider, Hajo A. Reijers, William Wong:
Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191). 1-30 - Tony Clark, Ulrich Frank, Vinay Kulkarni:
Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192). 31-55 - Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp:
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). 56-71 - Osnat Keren, Ilia Polian, Mark Tehranipoor:
Hardware Security (Dagstuhl Seminar 16202). 72-93 - Jeff Erickson, Philip N. Klein, Dániel Marx, Claire Mathieu:
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221). 94-116 - Michael Fisher, Christian List, Marija Slavkovik, Alan F. T. Winfield:
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). 114-137
Volume 6, Number 6, June 2016
- Tim Dwyer, Nathalie Henry Riche, Karsten Klein, Wolfgang Stuerzlinger, Bruce H. Thomas:
Immersive Analytics (Dagstuhl Seminar 16231). 1-9 - Yonatan Aumann, Jérôme Lang, Ariel D. Procaccia:
Fair Division (Dagstuhl Seminar 16232). 10-25 - Joanna A. Ellis-Monaghan, Andrew J. Goodall, Johann A. Makowsky, Iain Moffatt:
Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar 16241). 26-48 - Edith C. H. Ngai, Börje Ohlman, Gene Tsudik, Ersin Uzun:
Information-centric Networking and Security (Dagstuhl Seminar 16251). 49-61 - Carole A. Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, Jurgen J. Vinju:
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). 62-87 - Gyan Bhanot, Michael Biehl, Thomas Villmann, Dietlind Zühlke:
Integration of Expert Knowledge for Interpretable Models in Biomedical Data Analysis (Dagstuhl Seminar 16261). 88-110 - Andreas Riener, Susanne Boll, Andrew L. Kun:
Automotive User Interfaces in the Age of Automation (Dagstuhl Seminar 16262). 111-159
Volume 6, Number 7, July 2016
- Sándor P. Fekete, Andréa W. Richa, Kay Römer, Christian Scheideler:
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 16271). 1-14 - Mohammad Alizadeh, Jon Crowcroft, Lars Eggert, Klaus Wehrle:
Network Latency Control in Data Centres (Dagstuhl Seminar 16281). 15-30 - Dmitry Feichtner-Kozlov, Damien Imbs:
Topological Methods in Distributed Computing (Dagstuhl Seminar 16282). 31-41 - Serge Abiteboul, Gerome Miklau, Julia Stoyanovich, Gerhard Weikum:
Data, Responsibly (Dagstuhl Seminar 16291). 42-71
Volume 6, Number 8, August 2016
- Martin Bossert, Eimear Byrne, Emina Soljanin:
Coding Theory in the Time of Big Data (Dagstuhl Seminar 16321). 1-20 - David M. Eyers, Avigdor Gal, Hans-Arno Jacobsen, Matthias Weidlich:
Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341). 21-64 - Lejla Batina, Swarup Bhunia, Patrick Schaumont, Jean-Pierre Seifert:
Foundations of Secure Scaling (Dagstuhl Seminar 16342). 65-90 - Gene Myers, Mihai Pop, Knut Reinert, Tandy J. Warnow:
Next Generation Sequencing (Dagstuhl Seminar 16351). 91-130
Volume 6, Number 9, September 2016
- Marc Dacier, Sven Dietrich, Frank Kargl, Hartmut König:
Network Attack Detection and Defense (Dagstuhl Seminar 16361). 1-28 - Martin Fränzle, James Kapinski, Pavithra Prabhakar:
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). 29-45 - Marc Fischlin, Alexander May, David Pointcheval, Tal Rabin:
Public-Key Cryptography (Dagstuhl Seminar 16371). 46-58 - Vincent Heuveline, Michael Schick, Clayton G. Webster, Peter Zaspel:
Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372). 59-73 - Olaf Beyersdorff, Nadia Creignou, Uwe Egly, Heribert Vollmer:
SAT and Interactions (Dagstuhl Seminar 16381). 74-93 - Maria-Florina Balcan, Shai Ben-David, Ruth Urner, Ulrike von Luxburg:
Foundations of Unsupervised Learning (Dagstuhl Seminar 16382). 94-109
Volume 6, Number 10, October 2016
- Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi:
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). 1-12 - Valentine Kabanets, Thomas Thierauf, Jacobo Torán, Christopher Umans:
Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411). 13-32 - Holger H. Hoos, Frank Neumann, Heike Trautmann:
Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412). 33-74 - Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe:
Universality of Proofs (Dagstuhl Seminar 16421). 75-98 - Philip Bille, Markus Lohrey, Sebastian Maneth, Gonzalo Navarro:
Computation over Compressed Structured Data (Dagstuhl Seminar 16431). 99-119 - Tulika Mitra, Jürgen Teich, Lothar Thiele:
Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441). 120-153 - Roger K. Moore, Serge Thill, Ricard Marxer:
Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442). 154-194
Volume 6, Number 11, November 2016
- Moshe Lewenstein, Seth Pettie, Virginia Vassilevska Williams:
Structure and Hardness in P (Dagstuhl Seminar 16451). 1-34 - Seok-Hee Hong, Michael Kaufmann, Stephen G. Kobourov, János Pach:
Beyond-Planar Graphs: Algorithmics and Combinatorics (Dagstuhl Seminar 16452). 35-62 - Tyler W. Moore, Christian W. Probst, Kai Rannenberg, Michel van Eeten:
Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461). 63-89 - Christine Guillemot, Gerlind Plonka-Hoch, Thomas Pock, Joachim Weickert:
Inpainting-Based Image Compression (Dagstuhl Seminar 16462). 90-107 - Jade Alglave, Patrick Cousot, Caterina Urban:
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). 108-128 - Markus Fiedler, Sebastian Möller, Peter Reichl, Min Xie:
QoE Vadis? (Dagstuhl Perspectives Workshop 16472). 129-141 - Arthur Gretton, Philipp Hennig, Carl Edward Rasmussen, Bernhard Schölkopf:
New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481). 142-167 - Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald:
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). 168-184
Volume 6, Number 12, December 2016
- Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani:
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). 1-28
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 2026-02-08 23:08 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:
