@Article{DagRep.8.8,
  title =	{{Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8},
  URN =		{urn:nbn:de:0030-drops-103002},
  doi =		{10.4230/DagRep.8.8},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}
}
@Article{DagRep.8.8.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.i},
  URN =		{urn:nbn:de:0030-drops-102992},
  doi =		{10.4230/DagRep.8.8.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{johns_et_al:DagRep.8.8.1,
  author =	{Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
  title =	{{Web Application Security (Dagstuhl Seminar 18321)}},
  pages =	{1--17},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.1},
  URN =		{urn:nbn:de:0030-drops-102336},
  doi =		{10.4230/DagRep.8.8.1},
  annote =	{Keywords: Web Application Security, Browser Security, Software Security, Human Aspects in Security}
}
@Article{mueller_et_al:DagRep.8.8.18,
  author =	{Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
  title =	{{Human-Computer Integration (Dagstuhl Seminar 18322)}},
  pages =	{18--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.18},
  URN =		{urn:nbn:de:0030-drops-102346},
  doi =		{10.4230/DagRep.8.8.18},
  annote =	{Keywords: Human-computer integration, whole-body interaction, ubiquitous computing, wearables}
}
@Article{berman_et_al:DagRep.8.8.48,
  author =	{Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
  title =	{{ Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)}},
  pages =	{48--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.48},
  URN =		{urn:nbn:de:0030-drops-102352},
  doi =		{10.4230/DagRep.8.8.48},
  annote =	{Keywords: computational geometry, distributed algorithms, DNA computing, programmable matter, swarm robotics}
}
@Article{dumas_et_al:DagRep.8.8.67,
  author =	{Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
  title =	{{Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)}},
  pages =	{67--129},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.67},
  URN =		{urn:nbn:de:0030-drops-102361},
  doi =		{10.4230/DagRep.8.8.67},
  annote =	{Keywords: Blockchain, BPM, Business Collaboration, Commerce, Logistics, Business Models (economic), Smart Contracts, Privacy}
}
@Article{bauer_et_al:DagRep.8.8.130,
  author =	{Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
  title =	{{Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)}},
  pages =	{130--145},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.130},
  URN =		{urn:nbn:de:0030-drops-102370},
  doi =		{10.4230/DagRep.8.8.130},
  annote =	{Keywords: formal methods, formalized mathematics, proof assistant, type theory}
}
@Article{blair_et_al:DagRep.8.8.146,
  author =	{Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
  title =	{{Modeling for Sustainability (Dagstuhl Seminar 18351)}},
  pages =	{146--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.146},
  URN =		{urn:nbn:de:0030-drops-102383},
  doi =		{10.4230/DagRep.8.8.146},
  annote =	{Keywords: modeling for sustainability, sustainability dimensions, environmental sustainability, social sustanability, economic sustainability model driven engineering}
}