@Article{DagRep.8.2,
  title =	{{Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2},
  URN =		{urn:nbn:de:0030-drops-97377},
  doi =		{10.4230/DagRep.8.2},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue}
}
@Article{DagRep.8.2.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.i},
  URN =		{urn:nbn:de:0030-drops-97364},
  doi =		{10.4230/DagRep.8.2.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018}
}
@Article{stefik_et_al:DagRep.8.2.1,
  author =	{Stefik, Andreas and Sharif, Bonita and Myers, Brad. A. and Hanenberg, Stefan},
  title =	{{Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061)}},
  pages =	{1--25},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Stefik, Andreas and Sharif, Bonita and Myers, Brad. A. and Hanenberg, Stefan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.1},
  URN =		{urn:nbn:de:0030-drops-92887},
  doi =		{10.4230/DagRep.8.2.1},
  annote =	{Keywords: programming language design, computer science education, empirical software engineering, eye tracking, evidence standards}
}
@Article{beck_et_al:DagRep.8.2.26,
  author =	{Beck, J. Christopher and Magazzeni, Daniele and R\"{o}ger, Gabriele and Van Hoeve, Willem-Jan},
  title =	{{Planning and Operations Research (Dagstuhl Seminar 18071)}},
  pages =	{26--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Beck, J. Christopher and Magazzeni, Daniele and R\"{o}ger, Gabriele and Van Hoeve, Willem-Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.26},
  URN =		{urn:nbn:de:0030-drops-92894},
  doi =		{10.4230/DagRep.8.2.26},
  annote =	{Keywords: Artificial Intelligence, Automated Planning and Scheduling, Constraint Programming, Dynamic Programming, Heuristic Search, Mixed Integer Programming, Operations Research, Optimization, Real-world Applications, Reasoning under Uncertainty}
}
@Article{bonami_et_al:DagRep.8.2.64,
  author =	{Bonami, Pierre and Gleixner, Ambros M. and Linderoth, Jeff and Misener, Ruth},
  title =	{{Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)}},
  pages =	{64--87},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Bonami, Pierre and Gleixner, Ambros M. and Linderoth, Jeff and Misener, Ruth},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.64},
  URN =		{urn:nbn:de:0030-drops-92909},
  doi =		{10.4230/DagRep.8.2.64},
  annote =	{Keywords: Complexity, Mathematical optimization, Mathematical software, Mixed-integer optimization, Nonlinear optimization, Numerical issues, Optimization algorithms}
}
@Article{benenson_et_al:DagRep.8.2.88,
  author =	{Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
  title =	{{Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)}},
  pages =	{88--100},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.88},
  URN =		{urn:nbn:de:0030-drops-92912},
  doi =		{10.4230/DagRep.8.2.88},
  annote =	{Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification}
}
@Article{bieniusa_et_al:DagRep.8.2.101,
  author =	{Bieniusa, Annette and Gotsman, Alexey and Kemme, Bettina and Shapiro, Marc},
  title =	{{Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)}},
  pages =	{101--121},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Bieniusa, Annette and Gotsman, Alexey and Kemme, Bettina and Shapiro, Marc},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.101},
  URN =		{urn:nbn:de:0030-drops-92923},
  doi =		{10.4230/DagRep.8.2.101},
  annote =	{Keywords: consistency, CRDTs, Distributed Algorithms, distributed computing, Distributed Systems, partitioning, replication, Strong Consistency, transactions, Weak Consistency}
}
@Article{ernst_et_al:DagRep.8.2.122,
  author =	{Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin},
  title =	{{The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)}},
  pages =	{122--149},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.122},
  URN =		{urn:nbn:de:0030-drops-92939},
  doi =		{10.4230/DagRep.8.2.122},
  annote =	{Keywords: Automotive domain, logical execution time, multicore architectures, real-time systems}
}