@Article{DagRep.9.12,
  title =	{{Dagstuhl Reports, Volume 9, Issue 12, December 2019, Complete Issue}},
  pages =	{1--136},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12},
  URN =		{urn:nbn:de:0030-drops-120074},
  doi =		{10.4230/DagRep.9.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 9, Issue 12, December 2019, Complete Issue}
}
@Article{DagRep.9.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 9, Issue 12, 2019}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12.i},
  URN =		{urn:nbn:de:0030-drops-120088},
  doi =		{10.4230/DagRep.9.12.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{bonifati_et_al:DagRep.9.12.1,
  author =	{Bonifati, Angela and Iosup, Alexandru and Sakr, Sherif and Voigt, Hannes},
  title =	{{Big Graph Processing Systems (Dagstuhl Seminar 19491)}},
  pages =	{1--27},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  editor =	{Bonifati, Angela and Iosup, Alexandru and Sakr, Sherif and Voigt, Hannes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12.1},
  URN =		{urn:nbn:de:0030-drops-120098},
  doi =		{10.4230/DagRep.9.12.1},
  annote =	{Keywords: Abstractions, Big Data, Big Graph, data management, Ecosystems, graph processing, Performance, systems, Theory}
}
@Article{ziegenbein_et_al:DagRep.9.12.28,
  author =	{Ziegenbein, Dirk and Saidi, Selma and Hu, Xiaobo Sharon and Steinhorst, Sebastian},
  title =	{{Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502)}},
  pages =	{28--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  editor =	{Ziegenbein, Dirk and Saidi, Selma and Hu, Xiaobo Sharon and Steinhorst, Sebastian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12.28},
  URN =		{urn:nbn:de:0030-drops-120101},
  doi =		{10.4230/DagRep.9.12.28},
  annote =	{Keywords: automotive, hw/sw platforms, real-time systems, systems design automation}
}
@Article{liu_et_al:DagRep.9.12.67,
  author =	{Liu, Jialin and Schaul, Tom and Spronck, Pieter and Togelius, Julian},
  title =	{{Artificial and Computational Intelligence in Games: Revolutions in Computational Game AI (Dagstuhl Seminar 19511)}},
  pages =	{67--114},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  editor =	{Liu, Jialin and Schaul, Tom and Spronck, Pieter and Togelius, Julian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12.67},
  URN =		{urn:nbn:de:0030-drops-120113},
  doi =		{10.4230/DagRep.9.12.67},
  annote =	{Keywords: artificial intelligence, computational intelligence, game theory, games, optimization}
}
@Article{grandine_et_al:DagRep.9.12.115,
  author =	{Grandine, Thomas A. and Peters, J\"{o}rg and Reif, Ulrich},
  title =	{{Interactive Design and Simulation (Dagstuhl Seminar 19512)}},
  pages =	{115--134},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{12},
  editor =	{Grandine, Thomas A. and Peters, J\"{o}rg and Reif, Ulrich},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.12.115},
  URN =		{urn:nbn:de:0030-drops-120120},
  doi =		{10.4230/DagRep.9.12.115},
  annote =	{Keywords: simulation of physical systems, geometric models for engineering analysis, partial differential equations, interactive and real-time computation splines, model reduction}
}