@Article{DagRep.7.2,
  title =	{{Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2},
  URN =		{urn:nbn:de:0030-drops-80273},
  doi =		{10.4230/DagRep.7.2},
  annote =	{Keywords: Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue}
}
@Article{DagRep.7.2.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.i},
  URN =		{urn:nbn:de:0030-drops-80266},
  doi =		{10.4230/DagRep.7.2.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017}
}
@Article{castrillonmazo_et_al:DagRep.7.2.1,
  author =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  title =	{{Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.1},
  URN =		{urn:nbn:de:0030-drops-73499},
  doi =		{10.4230/DagRep.7.2.1},
  annote =	{Keywords: 3D integration, compilers, emerging post-CMOS circuit materials and technologies, hardware/software co-design, heterogeneous hardware, nanoelectronics}
}
@Article{dey_et_al:DagRep.7.2.23,
  author =	{Dey, Anind D. and H\"{a}kkil\"{a}, Jonna and Henze, Niels and Kunze, Kai},
  title =	{{Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062)}},
  pages =	{23--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Dey, Anind D. and H\"{a}kkil\"{a}, Jonna and Henze, Niels and Kunze, Kai},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.23},
  URN =		{urn:nbn:de:0030-drops-73519},
  doi =		{10.4230/DagRep.7.2.23},
  annote =	{Keywords: Augmented Reality, Virtual Reality, Skill Transfer}
}
@Article{abraham_et_al:DagRep.7.2.48,
  author =	{Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
  title =	{{Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)}},
  pages =	{48--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.48},
  URN =		{urn:nbn:de:0030-drops-73527},
  doi =		{10.4230/DagRep.7.2.48},
  annote =	{Keywords: analysis, artificial intelligence, autonomous systems, computer-aided software development, domain-specific languages, formal methods, model-driven software engineering, robotics, safety, synthesis, testing, verification}
}
@Article{burton_et_al:DagRep.7.2.64,
  author =	{Burton, Benjamin and L\"{o}ffler, Maarten and Wenk, Carola and Wolf Chambers, Erin Moriarty},
  title =	{{Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072)}},
  pages =	{64--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Burton, Benjamin and L\"{o}ffler, Maarten and Wenk, Carola and Wolf Chambers, Erin Moriarty},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.64},
  URN =		{urn:nbn:de:0030-drops-73536},
  doi =		{10.4230/DagRep.7.2.64},
  annote =	{Keywords: curves, graph drawing, homotopy, knot theory}
}
@Article{ambosspies_et_al:DagRep.7.2.89,
  author =	{Ambos-Spies, Klaus and Brattka, Vasco and Downey, Rodney and Lempp, Steffen},
  title =	{{Computability Theory (Dagstuhl Seminar 17081)}},
  pages =	{89--101},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Ambos-Spies, Klaus and Brattka, Vasco and Downey, Rodney and Lempp, Steffen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.89},
  URN =		{urn:nbn:de:0030-drops-73540},
  doi =		{10.4230/DagRep.7.2.89},
  annote =	{Keywords: algorithmic randomness, computability theory, computable algebra, computable analysis, generic case complexity, proof mining}
}
@Article{alexander_et_al:DagRep.7.2.102,
  author =	{Alexander, Jason and Follmer, Sean and Hornbaek, Kasper and Roudaut, Anne},
  title =	{{Shape-Changing Interfaces (Dagstuhl Seminar 17082)}},
  pages =	{102--108},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Alexander, Jason and Follmer, Sean and Hornbaek, Kasper and Roudaut, Anne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.102},
  URN =		{urn:nbn:de:0030-drops-73555},
  doi =		{10.4230/DagRep.7.2.102},
  annote =	{Keywords: shape-changing interfaces, user interfaces, materials, smart materials, robotics}
}
@Article{campsvalls_et_al:DagRep.7.2.109,
  author =	{Camps-Valls, Gustau and Hickler, Thomas and K\"{o}nig-Ries, Birgitta},
  title =	{{Computer Science Meets Ecology (Dagstuhl Seminar 17091)}},
  pages =	{109--134},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Camps-Valls, Gustau and Hickler, Thomas and K\"{o}nig-Ries, Birgitta},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.109},
  URN =		{urn:nbn:de:0030-drops-73567},
  doi =		{10.4230/DagRep.7.2.109},
  annote =	{Keywords: ecology, biodiversity, earth observation, earth system, remote sensing, computer science, citizen science, big data, data integration, modeling, sema}
}
@Article{collinsthompson_et_al:DagRep.7.2.135,
  author =	{Collins-Thompson, Kevyn and Hansen, Preben and Hauff, Claudia},
  title =	{{Search as Learning (Dagstuhl Seminar 17092)}},
  pages =	{135--162},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Collins-Thompson, Kevyn and Hansen, Preben and Hauff, Claudia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.135},
  URN =		{urn:nbn:de:0030-drops-73570},
  doi =		{10.4230/DagRep.7.2.135},
  annote =	{Keywords: Searching, Learning, Human information interaction, Search processes, Learning processes}
}