@Article{DagRep.5.11,
  title =	{{Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11},
  URN =		{urn:nbn:de:0030-drops-58051},
  doi =		{10.4230/DagRep.5.11},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue}
}
@Article{DagRep.5.11.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.i},
  URN =		{urn:nbn:de:0030-drops-58042},
  doi =		{10.4230/DagRep.5.11.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015}
}
@Article{azizabdulla_et_al:DagRep.5.11.1,
  author =	{Aziz Abdulla, Parosh and Gadducci, Fabio and K\"{o}nig, Barbara and Vafeiadis, Viktor},
  title =	{{Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Aziz Abdulla, Parosh and Gadducci, Fabio and K\"{o}nig, Barbara and Vafeiadis, Viktor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.1},
  URN =		{urn:nbn:de:0030-drops-57614},
  doi =		{10.4230/DagRep.5.11.1},
  annote =	{Keywords: dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification}
}
@Article{childers_et_al:DagRep.5.11.29,
  author =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram and Zeller, Andreas},
  title =	{{Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)}},
  pages =	{29--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram and Zeller, Andreas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.29},
  URN =		{urn:nbn:de:0030-drops-57620},
  doi =		{10.4230/DagRep.5.11.29},
  annote =	{Keywords: Computer systems, artifacts, reproducibility, archive}
}
@Article{bruhn_et_al:DagRep.5.11.36,
  author =	{Bruhn, Andr\'{e} and Imiya, Atsushi and Leonardis, Ales and Pajdla, Tomas},
  title =	{{Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)}},
  pages =	{36--61},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Bruhn, Andr\'{e} and Imiya, Atsushi and Leonardis, Ales and Pajdla, Tomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.36},
  URN =		{urn:nbn:de:0030-drops-57639},
  doi =		{10.4230/DagRep.5.11.36},
  annote =	{Keywords: Vision-based autonomous driving and navigation, Exploratory rovers, Dynamic 3D scene understanding, Simultaneous localization and mapping, On-board algorithms}
}
@Article{burgard_et_al:DagRep.5.11.62,
  author =	{Burgard, Wolfram and Franke, Uwe and Enzweiler, Markus and Trivedi, Mohan},
  title =	{{The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)}},
  pages =	{62--70},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Burgard, Wolfram and Franke, Uwe and Enzweiler, Markus and Trivedi, Mohan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.62},
  URN =		{urn:nbn:de:0030-drops-57646},
  doi =		{10.4230/DagRep.5.11.62},
  annote =	{Keywords: autonomous driving, digital maps, environment perception, machine intelligence, robotics, situation awareness, traffic safety}
}
@Article{abraham_et_al:DagRep.5.11.71,
  author =	{\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming},
  title =	{{Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)}},
  pages =	{71--89},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.71},
  URN =		{urn:nbn:de:0030-drops-57657},
  doi =		{10.4230/DagRep.5.11.71},
  annote =	{Keywords: algorithmic algebra, arithmetic, automated reasoning, decision procedures, quantifier elimination, satisfiability checking, SMT solving, symbolic comp}
}
@Article{cohen_et_al:DagRep.5.11.90,
  author =	{Cohen, William W. and Sutton, Charles and Vechev, Martin T.},
  title =	{{Programming with "Big Code" (Dagstuhl Seminar 15472)}},
  pages =	{90--102},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Cohen, William W. and Sutton, Charles and Vechev, Martin T.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.90},
  URN =		{urn:nbn:de:0030-drops-57665},
  doi =		{10.4230/DagRep.5.11.90},
  annote =	{Keywords: machine learning, natural language processing, programming languages, software engineering, statistical programming tools}
}
@Article{archambault_et_al:DagRep.5.11.103,
  author =	{Archambault, Daniel and Ho{\ss}feld, Tobias and Purchase, Helen C.},
  title =	{{Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)}},
  pages =	{103--126},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Archambault, Daniel and Ho{\ss}feld, Tobias and Purchase, Helen C.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.103},
  URN =		{urn:nbn:de:0030-drops-57676},
  doi =		{10.4230/DagRep.5.11.103},
  annote =	{Keywords: Crowdsourcing; Human Computation; Crowdsourcing Design, Mechanisms, Engineering; Practical Experience; Computer Graphics; Applied Perception; HCI; Visualization}
}
@Article{diaconescu_et_al:DagRep.5.11.127,
  author =	{Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp},
  title =	{{Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)}},
  pages =	{127--150},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.127},
  URN =		{urn:nbn:de:0030-drops-57954},
  doi =		{10.4230/DagRep.5.11.127},
  annote =	{Keywords: computational justice, multi-agent sytems, norms, organic computing, reputation, self-organisation, social capital, socio-technical systems, sociologically-inspired computing, trust}
}
@Article{filieri_et_al:DagRep.5.11.151,
  author =	{Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  title =	{{Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)}},
  pages =	{151--179},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.151},
  URN =		{urn:nbn:de:0030-drops-58008},
  doi =		{10.4230/DagRep.5.11.151},
  annote =	{Keywords: approximation, model checking, performance, probability, program analysis, systems, verification}
}
@Article{bocker_et_al:DagRep.5.11.180,
  author =	{B\"{o}cker, Sebastian and Rousu, Juho and Schymanski, Emma},
  title =	{{Computational Metabolomics (Dagstuhl Seminar 15492)}},
  pages =	{180--192},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{B\"{o}cker, Sebastian and Rousu, Juho and Schymanski, Emma},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.180},
  URN =		{urn:nbn:de:0030-drops-58016},
  doi =		{10.4230/DagRep.5.11.180},
  annote =	{Keywords: algorithms, bioinformatics, cheminformatics, computational mass spectrometry, computational metabolomics, databases}
}