@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing