@Article{DagRep.7.11,
title = {{Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11},
URN = {urn:nbn:de:0030-drops-97316},
doi = {10.4230/DagRep.7.11},
annote = {Keywords: Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue}
}
@Article{DagRep.7.11.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 7, Issue 11, 2017}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.i},
URN = {urn:nbn:de:0030-drops-97308},
doi = {10.4230/DagRep.7.11.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 11, 2017}
}
@Article{bieniusa_et_al:DagRep.7.11.1,
author = {Bieniusa, Annette and Boehm, Hans-J. and Herlihy, Maurice and Petrank, Erez},
title = {{New Challenges in Parallelism (Dagstuhl Seminar 17451)}},
pages = {1--27},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Bieniusa, Annette and Boehm, Hans-J. and Herlihy, Maurice and Petrank, Erez},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.1},
URN = {urn:nbn:de:0030-drops-86681},
doi = {10.4230/DagRep.7.11.1},
annote = {Keywords: concurrency, memory models, non-volatile memory}
}
@Article{andersen_et_al:DagRep.7.11.28,
author = {Andersen, Jakob L. and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.},
title = {{Algorithmic Cheminformatics (Dagstuhl Seminar 17452)}},
pages = {28--45},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Andersen, Jakob L. and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.28},
URN = {urn:nbn:de:0030-drops-86692},
doi = {10.4230/DagRep.7.11.28},
annote = {Keywords: Modelling, Simulation, Networks, Semantics / Formal Methods}
}
@Article{chang_et_al:DagRep.7.11.46,
author = {Chang, Remco and Fekete, Jean-Daniel and Freire, Juliana and Scheidegger, Carlos E.},
title = {{Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461)}},
pages = {46--58},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Chang, Remco and Fekete, Jean-Daniel and Freire, Juliana and Scheidegger, Carlos E.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.46},
URN = {urn:nbn:de:0030-drops-86708},
doi = {10.4230/DagRep.7.11.46},
annote = {Keywords: Interactive data analysis, Data visualization, Visual analytics, Data management system, Systems for data science}
}
@Article{havelund_et_al:DagRep.7.11.59,
author = {Havelund, Klaus and Leucker, Martin and Reger, Giles and Stolz, Volker},
title = {{A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)}},
pages = {59--85},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Havelund, Klaus and Leucker, Martin and Reger, Giles and Stolz, Volker},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.59},
URN = {urn:nbn:de:0030-drops-86716},
doi = {10.4230/DagRep.7.11.59},
annote = {Keywords: behavioural specification, dynamic properties, runtime verification, temporal logic}
}
@Article{spronck_et_al:DagRep.7.11.86,
author = {Spronck, Pieter and Andr\'{e}, Elisabeth and Cook, Michael and Preu{\ss}, Mike},
title = {{Artificial and Computational Intelligence in Games: AI-Driven Game Design (Dagstuhl Seminar 17471)}},
pages = {86--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Spronck, Pieter and Andr\'{e}, Elisabeth and Cook, Michael and Preu{\ss}, Mike},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.86},
URN = {urn:nbn:de:0030-drops-86722},
doi = {10.4230/DagRep.7.11.86},
annote = {Keywords: dynamical systems, entertainment modeling, game design, multi-agent systems, serious games}
}
@Article{beerenwinkel_et_al:DagRep.7.11.130,
author = {Beerenwinkel, Niko and Fr\"{o}hlich, Holger and Murphy, Susan A.},
title = {{Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472)}},
pages = {130--141},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {Beerenwinkel, Niko and Fr\"{o}hlich, Holger and Murphy, Susan A.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.130},
URN = {urn:nbn:de:0030-drops-86730},
doi = {10.4230/DagRep.7.11.130},
annote = {Keywords: data science, machine learning, computational modeling, bioinformatics, systems biology}
}
@Article{muller_et_al:DagRep.7.11.142,
author = {M\"{u}ller, Norbert T. and Rump, Siegfried M. and Weihrauch, Klaus and Ziegler, Martin},
title = {{ Reliable Computation and Complexity on the Reals (Dagstuhl Seminar 17481)}},
pages = {142--167},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {11},
editor = {M\"{u}ller, Norbert T. and Rump, Siegfried M. and Weihrauch, Klaus and Ziegler, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.142},
URN = {urn:nbn:de:0030-drops-86826},
doi = {10.4230/DagRep.7.11.142},
annote = {Keywords: Computable Analysis, Verification Methods, Real Complexity Theory, Reliable Computing}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing