Search dblp for Publications

export results for "toc:db/journals/dagstuhl-reports/dagstuhl-reports7.bht:"

 download as .bib file

@article{DBLP:journals/dagstuhl-reports/0001GPR17,
  author       = {Sunghun Kim and
                  Claire Le Goues and
                  Michael Pradel and
                  Abhik Roychoudhury},
  title        = {Automated Program Repair (Dagstuhl Seminar 17022)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {19--31},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.19},
  doi          = {10.4230/DAGREP.7.1.19},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/0001GPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AbrahamKNT17,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Hadas Kress{-}Gazit and
                  Lorenzo Natale and
                  Armando Tacchella},
  title        = {Computer-Assisted Engineering for Robotics and Autonomous Systems
                  (Dagstuhl Seminar 17071)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {48--63},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.48},
  doi          = {10.4230/DAGREP.7.2.48},
  timestamp    = {Mon, 11 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AlexanderFHR17,
  author       = {Jason Alexander and
                  Sean Follmer and
                  Kasper Hornb{\ae}k and
                  Anne Roudaut},
  title        = {Shape-Changing Interfaces (Dagstuhl Seminar 17082)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {102--108},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.102},
  doi          = {10.4230/DAGREP.7.2.102},
  timestamp    = {Wed, 20 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlexanderFHR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AlexandrovBDS17,
  author       = {Theodore Alexandrov and
                  Sebastian B{\"{o}}cker and
                  Pieter C. Dorrestein and
                  Emma Schymanski},
  title        = {Computational Metabolomics: Identification, Interpretation, Imaging
                  (Dagstuhl Seminar 17491)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {12},
  pages        = {1--17},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.12.1},
  doi          = {10.4230/DAGREP.7.12.1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlexandrovBDS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AlmeidaFK17,
  author       = {Jo{\~{a}}o Paulo A. Almeida and
                  Ulrich Frank and
                  Thomas K{\"{u}}hne},
  title        = {Multi-Level Modelling (Dagstuhl Seminar 17492)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {12},
  pages        = {18--49},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.12.18},
  doi          = {10.4230/DAGREP.7.12.18},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlmeidaFK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AlonsoBT17,
  author       = {Gustavo Alonso and
                  Michaela Blott and
                  Jens Teubner},
  title        = {Databases on Future Hardware (Dagstuhl Seminar 17101)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {1--18},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.1},
  doi          = {10.4230/DAGREP.7.3.1},
  timestamp    = {Thu, 19 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlonsoBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Ambos-SpiesBDL17,
  author       = {Klaus Ambos{-}Spies and
                  Vasco Brattka and
                  Rodney G. Downey and
                  Steffen Lempp},
  title        = {Computability Theory (Dagstuhl Seminar 17081)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {89--101},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.89},
  doi          = {10.4230/DAGREP.7.2.89},
  timestamp    = {Wed, 20 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Ambos-SpiesBDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/AndersenFMS17,
  author       = {Jakob L. Andersen and
                  Christoph Flamm and
                  Daniel Merkle and
                  Peter F. Stadler},
  title        = {Algorithmic Cheminformatics (Dagstuhl Seminar 17452)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {28--45},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.28},
  doi          = {10.4230/DAGREP.7.11.28},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AndersenFMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ArceBHKB17,
  author       = {Gonzalo R. Arce and
                  Richard Bamler and
                  Jon Yngve Hardeberg and
                  Andreas Kolb and
                  Shida Beigpour},
  title        = {{HMM} Imaging: Acquisition, Algorithms, and Applications (Dagstuhl
                  Seminar 17411)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {14--41},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.14},
  doi          = {10.4230/DAGREP.7.10.14},
  timestamp    = {Thu, 05 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ArceBHKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BackofenMOV17,
  author       = {Rolf Backofen and
                  Yael Mandel{-}Gutfreund and
                  Uwe Ohler and
                  Gabriele Varani},
  title        = {Computational Challenges in RNA-Based Gene Regulation: Protein-RNA
                  Recognition, Regulation and Prediction (Dagstuhl Seminar 17252)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {86--108},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.86},
  doi          = {10.4230/DAGREP.7.6.86},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BackofenMOV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BaralBDM17,
  author       = {Chitta Baral and
                  Thomas Bolander and
                  Hans van Ditmarsch and
                  Sheila A. McIlraith},
  title        = {Epistemic Planning (Dagstuhl Seminar 17231)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {1--47},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.1},
  doi          = {10.4230/DAGREP.7.6.1},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BaralBDM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BaumeisterFLW17,
  author       = {Dorothea Baumeister and
                  Piotr Faliszewski and
                  Annick Laruelle and
                  Toby Walsh},
  title        = {Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl
                  Seminar 17261)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {109--134},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.109},
  doi          = {10.4230/DAGREP.7.6.109},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BaumeisterFLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BeckBLR17,
  author       = {Roman Beck and
                  Christian Becker and
                  Juho Lindman and
                  Matti Rossi},
  title        = {Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar
                  17132)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {99--142},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.99},
  doi          = {10.4230/DAGREP.7.3.99},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeckBLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BeerenwinkelFM17,
  author       = {Niko Beerenwinkel and
                  Holger Fr{\"{o}}hlich and
                  Susan A. Murphy},
  title        = {Addressing the Computational Challenges of Personalized Medicine (Dagstuhl
                  Seminar 17472)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {130--141},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.130},
  doi          = {10.4230/DAGREP.7.11.130},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeerenwinkelFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BeldingOPR17,
  author       = {Elizabeth M. Belding and
                  J{\"{o}}rg Ott and
                  Andrea Passarella and
                  Peter Reichl},
  title        = {Internet of People (Dagstuhl Seminar 17412)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {42--68},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.42},
  doi          = {10.4230/DAGREP.7.10.42},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeldingOPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BeltaMZR17,
  author       = {Calin Belta and
                  Rupak Majumdar and
                  Majid Zamani and
                  Matthias Rungger},
  title        = {Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {84--96},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.84},
  doi          = {10.4230/DAGREP.7.5.84},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeltaMZR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Ben-ChenCGO17,
  author       = {Mirela Ben{-}Chen and
                  Fr{\'{e}}d{\'{e}}ric Chazal and
                  Leonidas J. Guibas and
                  Maks Ovsjanikov},
  title        = {Functoriality in Geometric Data (Dagstuhl Seminar 17021)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {1--18},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.1},
  doi          = {10.4230/DAGREP.7.1.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Ben-ChenCGO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BenfordHMMS17,
  author       = {Steve Benford and
                  Kristina H{\"{o}}{\"{o}}k and
                  Joe Marshall and
                  Florian 'Floyd' Mueller and
                  Dag Svanes},
  title        = {Body-Centric Computing (Dagstuhl Reports 17392)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {126--149},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.126},
  doi          = {10.4230/DAGREP.7.9.126},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BenfordHMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BesoldGL17,
  author       = {Tarek R. Besold and
                  Artur S. d'Avila Garcez and
                  Lu{\'{\i}}s C. Lamb},
  title        = {Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {56--83},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.56},
  doi          = {10.4230/DAGREP.7.5.56},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BesoldGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BezakovaGJ17,
  author       = {Ivona Bez{\'{a}}kov{\'{a}} and
                  Leslie Ann Goldberg and
                  Mark Jerrum},
  title        = {Computational Counting (Dagstuhl Seminar 18341)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {8},
  pages        = {23--44},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.8.23},
  doi          = {10.4230/DAGREP.7.8.23},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BezakovaGJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BiHIO17,
  author       = {Xiaojun Bi and
                  Otmar Hilliges and
                  Takeo Igarashi and
                  Antti Oulasvirta},
  title        = {Computational Interactivity (Dagstuhl Seminar 17232)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {48--67},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.48},
  doi          = {10.4230/DAGREP.7.6.48},
  timestamp    = {Fri, 21 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BiHIO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BielovaLNN17,
  author       = {Nataliia Bielova and
                  Nikolaos Laoutaris and
                  Arvind Narayanan and
                  Nick Nikiforakis},
  title        = {Online Privacy and Web Transparency (Dagstuhl Seminar 17162)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {4},
  pages        = {83--106},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.4.83},
  doi          = {10.4230/DAGREP.7.4.83},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BielovaLNN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BieniusaBHP17,
  author       = {Annette Bieniusa and
                  Hans{-}Juergen Boehm and
                  Maurice Herlihy and
                  Erez Petrank},
  title        = {New Challenges in Parallelism (Dagstuhl Seminar 17451)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {1--27},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.1},
  doi          = {10.4230/DAGREP.7.11.1},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BieniusaBHP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BirkinDFM17,
  author       = {Mark H. Birkin and
                  Somayeh Dodge and
                  Brittany Terese Fasy and
                  Richard Philip Mann},
  title        = {From Observations to Prediction of Movement (Dagstuhl Seminar 18282)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {54--71},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.54},
  doi          = {10.4230/DAGREP.7.7.54},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BirkinDFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BlackburnCSS17,
  author       = {Jeremy Blackburn and
                  Emiliano De Cristofaro and
                  Michael Sirivianos and
                  Thorsten Strufe},
  title        = {Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {47--61},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.47},
  doi          = {10.4230/DAGREP.7.9.47},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BlackburnCSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BlanchetteFST17,
  author       = {Jasmin Christian Blanchette and
                  Carsten Fuhs and
                  Viorica Sofronie{-}Stokkermans and
                  Cesare Tinelli},
  title        = {Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {26--46},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.26},
  doi          = {10.4230/DAGREP.7.9.26},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BlanchetteFST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BlunsomCDS17,
  author       = {Phil Blunsom and
                  Kyunghyun Cho and
                  Chris Dyer and
                  Hinrich Sch{\"{u}}tze},
  title        = {From Characters to Understanding Natural Language {(C2NLU):} Robust
                  End-to-End Deep Learning for {NLP} (Dagstuhl Seminar 17042)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {129--157},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.129},
  doi          = {10.4230/DAGREP.7.1.129},
  timestamp    = {Mon, 05 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BlunsomCDS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Borovica-GajicG17,
  author       = {Renata Borovica{-}Gajic and
                  Goetz Graefe and
                  Allison W. Lee},
  title        = {Robust Performance in Database Query Processing (Dagstuhl Seminar
                  17222)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {169--180},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.169},
  doi          = {10.4230/DAGREP.7.5.169},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Borovica-GajicG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BrinkmannMY17,
  author       = {Andr{\'{e}} Brinkmann and
                  Kathryn M. Mohror and
                  Weikuan Yu},
  title        = {Challenges and Opportunities of User-Level File Systems for {HPC}
                  (Dagstuhl Seminar 17202)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {97--139},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.97},
  doi          = {10.4230/DAGREP.7.5.97},
  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BrinkmannMY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/BurtonLWC17,
  author       = {Benjamin A. Burton and
                  Maarten L{\"{o}}ffler and
                  Carola Wenk and
                  Erin Wolf Chambers},
  title        = {Applications of Topology to the Analysis of 1-Dimensional Objects
                  (Dagstuhl Seminar 17072)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {64--88},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.64},
  doi          = {10.4230/DAGREP.7.2.64},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BurtonLWC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Camps-VallsHK17,
  author       = {Gustau Camps{-}Valls and
                  Thomas Hickler and
                  Birgitta K{\"{o}}nig{-}Ries},
  title        = {Computer Science Meets Ecology (Dagstuhl Seminar 17091)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {109--134},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.109},
  doi          = {10.4230/DAGREP.7.2.109},
  timestamp    = {Wed, 20 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Camps-VallsHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CarrKW17,
  author       = {Hamish A. Carr and
                  Michael Kerber and
                  Bei Wang},
  title        = {Topology, Computation and Data Analysis (Dagstuhl Seminar 17292)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {88--109},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.88},
  doi          = {10.4230/DAGREP.7.7.88},
  timestamp    = {Fri, 19 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CarrKW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CelinoCHS17,
  author       = {Irene Celino and
                  {\'{O}}scar Corcho and
                  Franz H{\"{o}}lker and
                  Elena Simperl},
  title        = {Citizen Science: Design and Engagement (Dagstuhl Seminar 17272)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {22--43},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.22},
  doi          = {10.4230/DAGREP.7.7.22},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CelinoCHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChangFFS17,
  author       = {Remco Chang and
                  Jean{-}Daniel Fekete and
                  Juliana Freire and
                  Carlos Eduardo Scheidegger},
  title        = {Connecting Visualization and Data Management Research (Dagstuhl Seminar
                  17461)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {46--58},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.46},
  doi          = {10.4230/DAGREP.7.11.46},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChangFFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChaudhuriKMW17,
  author       = {Swarat Chaudhuri and
                  Sampath Kannan and
                  Rupak Majumdar and
                  Michael J. Wooldridge},
  title        = {Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {27--32},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.27},
  doi          = {10.4230/DAGREP.7.3.27},
  timestamp    = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChaudhuriKMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChenDGM17,
  author       = {Falai Chen and
                  Tor Dokken and
                  Thomas A. Grandine and
                  G{\'{e}}raldine Morin},
  title        = {Geometric Modelling, Interoperability and New Challenges (Dagstuhl
                  Seminar 17221)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {140--168},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.140},
  doi          = {10.4230/DAGREP.7.5.140},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChenDGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChenDZZ17,
  author       = {Junjie Chen and
                  Alastair F. Donaldson and
                  Andreas Zeller and
                  Hongyu Zhang},
  title        = {Testing and Verification of Compilers (Dagstuhl Seminar 17502)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {12},
  pages        = {50--65},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.12.50},
  doi          = {10.4230/DAGREP.7.12.50},
  timestamp    = {Sun, 06 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChenDZZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CheongD017,
  author       = {Otfried Cheong and
                  Anne Driemel and
                  Jeff Erickson},
  title        = {Computational Geometry (Dagstuhl Seminar 17171)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {4},
  pages        = {107--127},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.4.107},
  doi          = {10.4230/DAGREP.7.4.107},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CheongD017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChuaFGJP17,
  author       = {Tat{-}Seng Chua and
                  Norbert Fuhr and
                  Gregory Grefenstette and
                  Kalervo J{\"{a}}rvelin and
                  Jaakko Peltonen},
  title        = {User-Generated Content in Social Media (Dagstuhl Seminar 17301)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {110--154},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.110},
  doi          = {10.4230/DAGREP.7.7.110},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChuaFGJP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ChuangGK017,
  author       = {Lewis L. Chuang and
                  Sven Gehring and
                  Judy Kay and
                  Albrecht Schmidt},
  title        = {Ambient Notification Environments (Dagstuhl Seminar 17161)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {4},
  pages        = {38--82},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.4.38},
  doi          = {10.4230/DAGREP.7.4.38},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChuangGK017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Collins-Thompson17,
  author       = {Kevyn Collins{-}Thompson and
                  Preben Hansen and
                  Claudia Hauff},
  title        = {Search as Learning (Dagstuhl Seminar 17092)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {135--162},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.135},
  doi          = {10.4230/DAGREP.7.2.135},
  timestamp    = {Wed, 20 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Collins-Thompson17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CombemaleLW17,
  author       = {Beno{\^{\i}}t Combemale and
                  Ralf L{\"{a}}mmel and
                  Eric Van Wyk},
  title        = {{SLEBOK:} The Software Language Engineering Body of Knowledge (Dagstuhl
                  Seminar 17342)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {8},
  pages        = {45--54},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.8.45},
  doi          = {10.4230/DAGREP.7.8.45},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CombemaleLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CremersLV17,
  author       = {Daniel Cremers and
                  Laura Leal{-}Taix{\'{e}} and
                  Ren{\'{e}} Vidal},
  title        = {Deep Learning for Computer Vision (Dagstuhl Seminar 17391)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {109--125},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.109},
  doi          = {10.4230/DAGREP.7.9.109},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CremersLV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/Cucu-GrosjeanDB17,
  author       = {Liliana Cucu{-}Grosjean and
                  Robert I. Davis and
                  Sanjoy K. Baruah and
                  Zo{\"{e}} Stephenson},
  title        = {Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar
                  17131)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {70--98},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.70},
  doi          = {10.4230/DAGREP.7.3.70},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Cucu-GrosjeanDB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CyganFHW17,
  author       = {Marek Cygan and
                  Fedor V. Fomin and
                  Danny Hermelin and
                  Magnus Wahlstr{\"{o}}m},
  title        = {Randomization in Parameterized Complexity (Dagstuhl Seminar 17041)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {103--128},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.103},
  doi          = {10.4230/DAGREP.7.1.103},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CyganFHW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DarulovaDRR17,
  author       = {Eva Darulova and
                  Alastair F. Donaldson and
                  Zvonimir Rakamaric and
                  Cindy Rubio{-}Gonz{\'{a}}lez},
  title        = {Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar
                  17352)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {8},
  pages        = {74--101},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.8.74},
  doi          = {10.4230/DAGREP.7.8.74},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DarulovaDRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DarwicheMSS17,
  author       = {Adnan Darwiche and
                  Pierre Marquis and
                  Dan Suciu and
                  Stefan Szeider},
  title        = {Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {62--85},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.62},
  doi          = {10.4230/DAGREP.7.9.62},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DarwicheMSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DawarGKS17,
  author       = {Anuj Dawar and
                  Erich Gr{\"{a}}del and
                  Phokion G. Kolaitis and
                  Thomas Schwentick},
  title        = {Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {1--25},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.1},
  doi          = {10.4230/DAGREP.7.9.1},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DawarGKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DeyHHK17,
  author       = {Anind K. Dey and
                  Jonna H{\"{a}}kkil{\"{a}} and
                  Niels Henze and
                  Kai Kunze},
  title        = {Beyond {VR} and {AR:} Reimagining Experience Sharing and Skill Transfer
                  Towards an Internet of Abilities (Dagstuhl Seminar 17062)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {23--47},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.23},
  doi          = {10.4230/DAGREP.7.2.23},
  timestamp    = {Wed, 16 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DeyHHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DietzfelbingerM17,
  author       = {Martin Dietzfelbinger and
                  Michael Mitzenmacher and
                  Rasmus Pagh and
                  David P. Woodruff and
                  Martin Aum{\"{u}}ller},
  title        = {Theory and Applications of Hashing (Dagstuhl Seminar 17181)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {1--21},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.1},
  doi          = {10.4230/DAGREP.7.5.1},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DietzfelbingerM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DoerrIT017,
  author       = {Carola Doerr and
                  Christian Igel and
                  Lothar Thiele and
                  Xin Yao},
  title        = {Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {5},
  pages        = {22--55},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.5.22},
  doi          = {10.4230/DAGREP.7.5.22},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DoerrIT017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/DubeyKMV17,
  author       = {Anshu Dubey and
                  Paul H. J. Kelly and
                  Bernd Mohr and
                  Jeffrey S. Vetter},
  title        = {Performance Portability in Extreme Scale Computing (Dagstuhl Seminar
                  17431)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {84--110},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.84},
  doi          = {10.4230/DAGREP.7.10.84},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DubeyKMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/FerroFGK17,
  author       = {Nicola Ferro and
                  Norbert Fuhr and
                  Gregory Grefenstette and
                  Joseph A. Konstan},
  title        = {Towards Performance Modeling and Performance Prediction across IR/RecSys/NLP
                  (Dagstuhl Perspectives Workshop 17442)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {139--146},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.139},
  doi          = {10.4230/DAGREP.7.10.139},
  timestamp    = {Fri, 07 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FerroFGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/FiliotMS17,
  author       = {Emmanuel Filiot and
                  Sebastian Maneth and
                  Helmut Seidl},
  title        = {Formal Methods of Transformations (Dagstuhl Seminar 17142)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {4},
  pages        = {23--37},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.4.23},
  doi          = {10.4230/DAGREP.7.4.23},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FiliotMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/FragouliHJK17,
  author       = {Christina Fragouli and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kyle Jamieson and
                  Bhaskar Krishnamachari},
  title        = {Foundations of Wireless Networking (Dagstuhl Seminar 17271)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {1--21},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.1},
  doi          = {10.4230/DAGREP.7.7.1},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FragouliHJK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/FriedmanPS17,
  author       = {Timur Friedman and
                  Aiko Pras and
                  J{\"{u}}rgen Sch{\"{o}}nw{\"{a}}lder},
  title        = {Using Networks to Teach About Networks (Dagstuhl Seminar 17112)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {33--44},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.33},
  doi          = {10.4230/DAGREP.7.3.33},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FriedmanPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/FritzMMZ17,
  author       = {Thomas Fritz and
                  Gloria Mark and
                  Gail C. Murphy and
                  Thomas Zimmermann},
  title        = {Rethinking Productivity in Software Engineering (Dagstuhl Seminar
                  17102)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {19--26},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.19},
  doi          = {10.4230/DAGREP.7.3.19},
  timestamp    = {Fri, 13 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FritzMMZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GaboardiHWZ17,
  author       = {Marco Gaboardi and
                  Jan Hoffmann and
                  Reinhard Wilhelm and
                  Florian Zuleger},
  title        = {Resource Bound Analysis (Dagstuhl Seminar 17291)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {72--87},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.72},
  doi          = {10.4230/DAGREP.7.7.72},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GaboardiHWZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GalK0T17,
  author       = {Anna G{\'{a}}l and
                  Michal Kouck{\'{y}} and
                  Oded Regev and
                  Till Tantau},
  title        = {Computational Complexity of Discrete Problems (Dagstuhl Seminar 17121)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {3},
  pages        = {45--69},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.3.45},
  doi          = {10.4230/DAGREP.7.3.45},
  timestamp    = {Thu, 02 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GalK0T17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GayVWY17,
  author       = {Simon J. Gay and
                  Vasco T. Vasconcelos and
                  Philip Wadler and
                  Nobuko Yoshida},
  title        = {Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {158--189},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.158},
  doi          = {10.4230/DAGREP.7.1.158},
  timestamp    = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GayVWY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GhallabHMWO17,
  author       = {Malik Ghallab and
                  Nick Hawes and
                  Daniele Magazzeni and
                  Brian C. Williams and
                  Andrea Orlandini},
  title        = {Planning and Robotics (Dagstuhl Seminar 17031)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {32--73},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.32},
  doi          = {10.4230/DAGREP.7.1.32},
  timestamp    = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GhallabHMWO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GoldbergMD17,
  author       = {Paul W. Goldberg and
                  Yishay Mansour and
                  Paul D{\"{u}}tting},
  title        = {Game Theory Meets Computational Learning Theory (Dagstuhl Seminar
                  17251)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {68--85},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.68},
  doi          = {10.4230/DAGREP.7.6.68},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GoldbergMD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/HartigVF17,
  author       = {Olaf Hartig and
                  Maria{-}Esther Vidal and
                  Johann{-}Christoph Freytag},
  title        = {Federated Semantic Data Management (Dagstuhl Seminar 17262)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {6},
  pages        = {135--167},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.6.135},
  doi          = {10.4230/DAGREP.7.6.135},
  timestamp    = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HartigVF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/HausheerHLMR17,
  author       = {David Hausheer and
                  Oliver Hohlfeld and
                  Diego R. L{\'{o}}pez and
                  Bruce MacDowell Maggs and
                  Costin Raiciu},
  title        = {Network Function Virtualization in Software Defined Infrastructures
                  (Dagstuhl Seminar 17032)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {1},
  pages        = {74--102},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.1.74},
  doi          = {10.4230/DAGREP.7.1.74},
  timestamp    = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HausheerHLMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/HavelundLRS17,
  author       = {Klaus Havelund and
                  Martin Leucker and
                  Giles Reger and
                  Volker Stolz},
  title        = {A Shared Challenge in Behavioural Specification (Dagstuhl Seminar
                  17462)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {59--85},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.59},
  doi          = {10.4230/DAGREP.7.11.59},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HavelundLRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/HuMNR17,
  author       = {Yifan Hu and
                  Luana Micallef and
                  Martin N{\"{o}}llenburg and
                  Peter J. Rodgers},
  title        = {Scalable Set Visualizations (Dagstuhl Seminar 17332)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {8},
  pages        = {1--22},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.8.1},
  doi          = {10.4230/DAGREP.7.8.1},
  timestamp    = {Sat, 17 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HuMNR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/KusterLM17,
  author       = {Bernhard K{\"{u}}ster and
                  Kathryn S. Lilley and
                  Lennart Martens},
  title        = {Computational Proteomics (Dagstuhl Seminar 17421)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {69--83},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.69},
  doi          = {10.4230/DAGREP.7.10.69},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/KusterLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/MantheyMRU17,
  author       = {Bodo Manthey and
                  Claire Mathieu and
                  Heiko R{\"{o}}glin and
                  Eli Upfal},
  title        = {Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl
                  Seminar 17141)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {4},
  pages        = {1--22},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.4.1},
  doi          = {10.4230/DAGREP.7.4.1},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MantheyMRU17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/MazoKRL17,
  author       = {Jer{\'{o}}nimo Castrill{\'{o}}n Mazo and
                  Tei{-}Wei Kuo and
                  Heike E. Riel and
                  Matthias Lieber},
  title        = {Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl
                  Seminar 17061)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {1--22},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.1},
  doi          = {10.4230/DAGREP.7.2.1},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MazoKRL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/MoscaSSS17,
  author       = {Michele Mosca and
                  Nicolas Sendrier and
                  Rainer Steinwandt and
                  Krysta M. Svore},
  title        = {Quantum Cryptanalysis (Dagstuhl Seminar 17401)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {1--13},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.1},
  doi          = {10.4230/DAGREP.7.10.1},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MoscaSSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/RablSH17,
  author       = {Tilmann Rabl and
                  Sherif Sakr and
                  Martin Hirzel},
  title        = {Big Stream Processing Systems (Dagstuhl Seminar 17441)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {10},
  pages        = {111--138},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.10.111},
  doi          = {10.4230/DAGREP.7.10.111},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/RablSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/SchmidMS17,
  author       = {Ute Schmid and
                  Stephen H. Muggleton and
                  Rishabh Singh},
  title        = {Approaches and Applications of Inductive Programming (Dagstuhl Seminar
                  17382)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {9},
  pages        = {86--108},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.9.86},
  doi          = {10.4230/DAGREP.7.9.86},
  timestamp    = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/SchmidMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/SeshiaZKJ17,
  author       = {Sanjit A. Seshia and
                  Xiaojin (Jerry) Zhu and
                  Andreas Krause and
                  Susmit Jha},
  title        = {Machine Learning and Formal Method (Dagstuhl Seminar 17351)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {8},
  pages        = {55--73},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.8.55},
  doi          = {10.4230/DAGREP.7.8.55},
  timestamp    = {Sun, 11 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/SeshiaZKJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/SpronckACP17,
  author       = {Pieter Spronck and
                  Elisabeth Andr{\'{e}} and
                  Michael Cook and
                  Mike Preu{\ss}},
  title        = {Artificial and Computational Intelligence in Games: AI-Driven Game
                  Design (Dagstuhl Seminar 17471)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {11},
  pages        = {86--129},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.11.86},
  doi          = {10.4230/DAGREP.7.11.86},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/SpronckACP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/ZennouDDL17,
  author       = {Sarah Zennou and
                  Saumya K. Debray and
                  Thomas Dullien and
                  Arun Lakhotia},
  title        = {Malware Analysis: From Large-Scale Data Triage to Targeted Attack
                  Recognition (Dagstuhl Seminar 17281)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {7},
  pages        = {44--53},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.7.44},
  doi          = {10.4230/DAGREP.7.7.44},
  timestamp    = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ZennouDDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.