@Article{DagRep.6.10,
title = {{Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10},
URN = {urn:nbn:de:0030-drops-70434},
doi = {10.4230/DagRep.6.10},
annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue}
}
@Article{DagRep.6.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.i},
URN = {urn:nbn:de:0030-drops-70421},
doi = {10.4230/DagRep.6.10.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016}
}
@Article{demetrescu_et_al:DagRep.6.10.1,
author = {Demetrescu, Camil and Erdweg, Sebastian and Hammer, Matthew A. and Krishnamurthi, Shriram},
title = {{Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)}},
pages = {1--12},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Demetrescu, Camil and Erdweg, Sebastian and Hammer, Matthew A. and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.1},
URN = {urn:nbn:de:0030-drops-69491},
doi = {10.4230/DagRep.6.10.1},
annote = {Keywords: Incremental computing, reactive programming, memoization, change propagation, dynamic dependency graph, dataflow programming, live programming}
}
@Article{kabanets_et_al:DagRep.6.10.13,
author = {Kabanets, Valentine and Thierauf, Thomas and T\'{o}ran, Jacobo and Umans, Christopher},
title = {{Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411)}},
pages = {13--32},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Kabanets, Valentine and Thierauf, Thomas and T\'{o}ran, Jacobo and Umans, Christopher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.13},
URN = {urn:nbn:de:0030-drops-69504},
doi = {10.4230/DagRep.6.10.13},
annote = {Keywords: Computational Complexity, lower bounds, approximation, pseudo-randomness, derandomization, circuits}
}
@Article{hoos_et_al:DagRep.6.10.33,
author = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike},
title = {{Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)}},
pages = {33--74},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Hoos, Holger H. and Neumann, Frank and Trautmann, Heike},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.33},
URN = {urn:nbn:de:0030-drops-69569},
doi = {10.4230/DagRep.6.10.33},
annote = {Keywords: algorithm configuration, algorithm selection, features, machine learning, optimisation, performance prediction}
}
@Article{dowek_et_al:DagRep.6.10.75,
author = {Dowek, Gilles and Dubois, Catherine and Pientka, Brigitte and Rabe, Florian},
title = {{Universality of Proofs (Dagstuhl Seminar 16421)}},
pages = {75--98},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Dowek, Gilles and Dubois, Catherine and Pientka, Brigitte and Rabe, Florian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.75},
URN = {urn:nbn:de:0030-drops-69514},
doi = {10.4230/DagRep.6.10.75},
annote = {Keywords: Formal proofs, Interoperability, Logical frameworks, Logics, Proof formats, Provers, Reusability}
}
@Article{bille_et_al:DagRep.6.10.99,
author = {Bille, Philip and Lohrey, Markus and Maneth, Sebastian and Navarro, Gonzalo},
title = {{Computation over Compressed Structured Data (Dagstuhl Seminar 16431)}},
pages = {99--119},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Bille, Philip and Lohrey, Markus and Maneth, Sebastian and Navarro, Gonzalo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.99},
URN = {urn:nbn:de:0030-drops-69521},
doi = {10.4230/DagRep.6.10.99},
annote = {Keywords: algorithms on compressed structures, data compression, indexing, straight- line programs}
}
@Article{mitra_et_al:DagRep.6.10.120,
author = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar},
title = {{Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)}},
pages = {120--153},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.120},
URN = {urn:nbn:de:0030-drops-69539},
doi = {10.4230/DagRep.6.10.120},
annote = {Keywords: Adaptive isolation, Embedded systems, Real-Time systems, Predictability, Security, MPSoC, Parallel computing, Programming models, Timing analysis, Virtualization}
}
@Article{moore_et_al:DagRep.6.10.154,
author = {Moore, Roger K. and Thill, Serge and Marxer, Ricard},
title = {{Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442)}},
pages = {154--194},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Moore, Roger K. and Thill, Serge and Marxer, Ricard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.154},
URN = {urn:nbn:de:0030-drops-69718},
doi = {10.4230/DagRep.6.10.154},
annote = {Keywords: animal calls, human-robot interaction, language evolution, language universals, speech technology, spoken language, vocal expression, vocal interaction, vocal learning}
}
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