@Article{DagRep.8.4,
  title =	{{Dagstuhl Reports, Volume 8, Issue 4, April 2018,  Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4},
  URN =		{urn:nbn:de:0030-drops-98640},
  doi =		{10.4230/DagRep.8.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue}
}
@Article{DagRep.8.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.i},
  URN =		{urn:nbn:de:0030-drops-98634},
  doi =		{10.4230/DagRep.8.4.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}
}
@Article{lahiri_et_al:DagRep.8.4.1,
  author =	{Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
  title =	{{Program Equivalence (Dagstuhl Seminar 18151)}},
  pages =	{1--19},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.1},
  URN =		{urn:nbn:de:0030-drops-97586},
  doi =		{10.4230/DagRep.8.4.1},
  annote =	{Keywords: program equivalence, regression-verification, translation validation}
}
@Article{baldimtsi_et_al:DagRep.8.4.20,
  author =	{Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
  title =	{{Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)}},
  pages =	{20--31},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.20},
  URN =		{urn:nbn:de:0030-drops-97597},
  doi =		{10.4230/DagRep.8.4.20},
  annote =	{Keywords: blockchains, consensus algorithms, cryptographic currency, incentive engineering, smart contracts}
}
@Article{aerts_et_al:DagRep.8.4.32,
  author =	{Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
  title =	{{Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)}},
  pages =	{32--71},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.32},
  URN =		{urn:nbn:de:0030-drops-97600},
  doi =		{10.4230/DagRep.8.4.32},
  annote =	{Keywords: imaging, omics, sequence analysis, visual analytics, visualisation}
}
@Article{dastani_et_al:DagRep.8.4.72,
  author =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
  pages =	{72--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
  URN =		{urn:nbn:de:0030-drops-97612},
  doi =		{10.4230/DagRep.8.4.72},
  annote =	{Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
@Article{chandrasekaran_et_al:DagRep.8.4.104,
  author =	{Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
  title =	{{Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)}},
  pages =	{104--125},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.104},
  URN =		{urn:nbn:de:0030-drops-97623},
  doi =		{10.4230/DagRep.8.4.104},
  annote =	{Keywords: algebraic effect handlers, implementation techniques, programming abstractions, programming languages}
}
@Article{eyers_et_al:DagRep.8.4.126,
  author =	{Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
  title =	{{Towards Accountable Systems (Dagstuhl Seminar 18181)}},
  pages =	{126--163},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.126},
  URN =		{urn:nbn:de:0030-drops-97633},
  doi =		{10.4230/DagRep.8.4.126},
  annote =	{Keywords: accountability, compliance, audit, systems, engineering, cloud computing, internet of things, law, regulation, GDPR, security, privacy, data provenanc}
}
@Article{abrahamsson_et_al:DagRep.8.4.164,
  author =	{Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
  title =	{{Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)}},
  pages =	{164--198},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.164},
  URN =		{urn:nbn:de:0030-drops-97642},
  doi =		{10.4230/DagRep.8.4.164},
  annote =	{Keywords: Software Engineering, Software Ecosystems, Software-intensive Business, Software Production, Software Startups}
}