@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}
}