default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 7
Volume 7, Number 1, January 2017
- Mirela Ben-Chen, Frédéric Chazal, Leonidas J. Guibas, Maks Ovsjanikov:
Functoriality in Geometric Data (Dagstuhl Seminar 17021). 1-18 - Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated Program Repair (Dagstuhl Seminar 17022). 19-31 - Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini:
Planning and Robotics (Dagstuhl Seminar 17031). 32-73 - David Hausheer, Oliver Hohlfeld, Diego R. López, Bruce MacDowell Maggs, Costin Raiciu:
Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032). 74-102 - Marek Cygan, Fedor V. Fomin, Danny Hermelin, Magnus Wahlström
:
Randomization in Parameterized Complexity (Dagstuhl Seminar 17041). 103-128 - Phil Blunsom, Kyunghyun Cho, Chris Dyer, Hinrich Schütze:
From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042). 129-157 - Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida:
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). 158-189
Volume 7, Number 2, February 2017
- Jerónimo Castrillón Mazo, Tei-Wei Kuo, Heike E. Riel, Matthias Lieber:
Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061). 1-22 - Anind K. Dey, Jonna Häkkilä, Niels Henze, Kai Kunze:
Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062). 23-47 - Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella:
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). 48-63 - Benjamin A. Burton, Maarten Löffler, Carola Wenk, Erin Wolf Chambers:
Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072). 64-88 - Klaus Ambos-Spies, Vasco Brattka, Rodney G. Downey, Steffen Lempp:
Computability Theory (Dagstuhl Seminar 17081). 89-101 - Jason Alexander, Sean Follmer, Kasper Hornbæk, Anne Roudaut:
Shape-Changing Interfaces (Dagstuhl Seminar 17082). 102-108 - Gustau Camps-Valls, Thomas Hickler, Birgitta König-Ries:
Computer Science Meets Ecology (Dagstuhl Seminar 17091). 109-134 - Kevyn Collins-Thompson, Preben Hansen, Claudia Hauff:
Search as Learning (Dagstuhl Seminar 17092). 135-162
Volume 7, Number 3, March 2017
- Gustavo Alonso, Michaela Blott, Jens Teubner:
Databases on Future Hardware (Dagstuhl Seminar 17101). 1-18 - Thomas Fritz, Gloria Mark, Gail C. Murphy, Thomas Zimmermann:
Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102). 19-26 - Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge:
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). 27-32 - Timur Friedman, Aiko Pras, Jürgen Schönwälder:
Using Networks to Teach About Networks (Dagstuhl Seminar 17112). 33-44 - Anna Gál, Michal Koucký, Oded Regev, Till Tantau:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 17121). 45-69 - Liliana Cucu-Grosjean, Robert I. Davis, Sanjoy K. Baruah, Zoë Stephenson:
Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131). 70-98 - Roman Beck, Christian Becker, Juho Lindman, Matti Rossi:
Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132). 99-142
Volume 7, Number 4, April 2017
- Bodo Manthey, Claire Mathieu, Heiko Röglin, Eli Upfal:
Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141). 1-22 - Emmanuel Filiot, Sebastian Maneth, Helmut Seidl:
Formal Methods of Transformations (Dagstuhl Seminar 17142). 23-37 - Lewis L. Chuang, Sven Gehring, Judy Kay, Albrecht Schmidt:
Ambient Notification Environments (Dagstuhl Seminar 17161). 38-82 - Nataliia Bielova, Nikolaos Laoutaris, Arvind Narayanan, Nick Nikiforakis:
Online Privacy and Web Transparency (Dagstuhl Seminar 17162). 83-106 - Otfried Cheong, Anne Driemel, Jeff Erickson:
Computational Geometry (Dagstuhl Seminar 17171). 107-127
Volume 7, Number 5, May 2017
- Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff, Martin Aumüller:
Theory and Applications of Hashing (Dagstuhl Seminar 17181). 1-21 - Carola Doerr, Christian Igel, Lothar Thiele, Xin Yao:
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191). 22-55 - Tarek R. Besold, Artur S. d'Avila Garcez, Luís C. Lamb:
Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192). 56-83 - Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger:
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). 84-96 - André Brinkmann, Kathryn M. Mohror, Weikuan Yu:
Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202). 97-139 - Falai Chen, Tor Dokken, Thomas A. Grandine, Géraldine Morin:
Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221). 140-168 - Renata Borovica-Gajic, Goetz Graefe, Allison W. Lee:
Robust Performance in Database Query Processing (Dagstuhl Seminar 17222). 169-180
Volume 7, Number 6, June 2017
- Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith:
Epistemic Planning (Dagstuhl Seminar 17231). 1-47 - Xiaojun Bi, Otmar Hilliges, Takeo Igarashi, Antti Oulasvirta:
Computational Interactivity (Dagstuhl Seminar 17232). 48-67 - Paul W. Goldberg, Yishay Mansour, Paul Dütting:
Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251). 68-85 - Rolf Backofen, Yael Mandel-Gutfreund, Uwe Ohler, Gabriele Varani:
Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252). 86-108 - Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, Toby Walsh:
Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261). 109-134 - Olaf Hartig, Maria-Esther Vidal, Johann-Christoph Freytag:
Federated Semantic Data Management (Dagstuhl Seminar 17262). 135-167
Volume 7, Number 7, July 2017
- Christina Fragouli, Magnús M. Halldórsson, Kyle Jamieson, Bhaskar Krishnamachari:
Foundations of Wireless Networking (Dagstuhl Seminar 17271). 1-21 - Irene Celino, Óscar Corcho, Franz Hölker, Elena Simperl:
Citizen Science: Design and Engagement (Dagstuhl Seminar 17272). 22-43 - Sarah Zennou, Saumya K. Debray, Thomas Dullien, Arun Lakhotia:
Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281). 44-53 - Mark H. Birkin, Somayeh Dodge, Brittany Terese Fasy, Richard Philip Mann:
From Observations to Prediction of Movement (Dagstuhl Seminar 18282). 54-71 - Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger:
Resource Bound Analysis (Dagstuhl Seminar 17291). 72-87 - Hamish A. Carr, Michael Kerber, Bei Wang:
Topology, Computation and Data Analysis (Dagstuhl Seminar 17292). 88-109 - Tat-Seng Chua, Norbert Fuhr, Gregory Grefenstette, Kalervo Järvelin, Jaakko Peltonen:
User-Generated Content in Social Media (Dagstuhl Seminar 17301). 110-154
Volume 7, Number 8, August 2017
- Yifan Hu, Luana Micallef, Martin Nöllenburg, Peter J. Rodgers:
Scalable Set Visualizations (Dagstuhl Seminar 17332). 1-22 - Ivona Bezáková, Leslie Ann Goldberg, Mark Jerrum:
Computational Counting (Dagstuhl Seminar 18341). 23-44 - Benoît Combemale, Ralf Lämmel, Eric Van Wyk:
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342). 45-54 - Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha:
Machine Learning and Formal Method (Dagstuhl Seminar 17351). 55-73 - Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González:
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). 74-101
Volume 7, Number 9, September 2017
- Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick:
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). 1-25 - Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli:
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). 26-46 - Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, Thorsten Strufe:
Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372). 47-61 - Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider:
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). 62-85 - Ute Schmid, Stephen H. Muggleton, Rishabh Singh:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382). 86-108 - Daniel Cremers, Laura Leal-Taixé, René Vidal:
Deep Learning for Computer Vision (Dagstuhl Seminar 17391). 109-125 - Steve Benford, Kristina Höök, Joe Marshall, Florian 'Floyd' Mueller, Dag Svanes:
Body-Centric Computing (Dagstuhl Reports 17392). 126-149
Volume 7, Number 10, October 2017
- Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, Krysta M. Svore:
Quantum Cryptanalysis (Dagstuhl Seminar 17401). 1-13 - Gonzalo R. Arce, Richard Bamler, Jon Yngve Hardeberg, Andreas Kolb, Shida Beigpour:
HMM Imaging: Acquisition, Algorithms, and Applications (Dagstuhl Seminar 17411). 14-41 - Elizabeth M. Belding, Jörg Ott, Andrea Passarella, Peter Reichl:
Internet of People (Dagstuhl Seminar 17412). 42-68 - Bernhard Küster, Kathryn S. Lilley, Lennart Martens:
Computational Proteomics (Dagstuhl Seminar 17421). 69-83 - Anshu Dubey, Paul H. J. Kelly, Bernd Mohr, Jeffrey S. Vetter:
Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431). 84-110 - Tilmann Rabl, Sherif Sakr, Martin Hirzel:
Big Stream Processing Systems (Dagstuhl Seminar 17441). 111-138 - Nicola Ferro, Norbert Fuhr, Gregory Grefenstette, Joseph A. Konstan:
Towards Performance Modeling and Performance Prediction across IR/RecSys/NLP (Dagstuhl Perspectives Workshop 17442). 139-146
Volume 7, Number 11, November 2017
- Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank:
New Challenges in Parallelism (Dagstuhl Seminar 17451). 1-27 - Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Algorithmic Cheminformatics (Dagstuhl Seminar 17452). 28-45 - Remco Chang, Jean-Daniel Fekete, Juliana Freire, Carlos Eduardo Scheidegger:
Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461). 46-58 - Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). 59-85 - Pieter Spronck, Elisabeth André, Michael Cook, Mike Preuß:
Artificial and Computational Intelligence in Games: AI-Driven Game Design (Dagstuhl Seminar 17471). 86-129 - Niko Beerenwinkel, Holger Fröhlich, Susan A. Murphy:
Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472). 130-141
Volume 7, Number 12, December 2017
- Theodore Alexandrov, Sebastian Böcker, Pieter C. Dorrestein, Emma Schymanski:
Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491). 1-17 - João Paulo A. Almeida, Ulrich Frank, Thomas Kühne:
Multi-Level Modelling (Dagstuhl Seminar 17492). 18-49 - Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang:
Testing and Verification of Compilers (Dagstuhl Seminar 17502). 50-65
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-13 00:40 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:
