@Article{DagRep.7.1,
title = {{Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1},
URN = {urn:nbn:de:0030-drops-73145},
doi = {10.4230/DagRep.7.1},
annote = {Keywords: Dagstuhl Reports, Volume 7, Issue 1, January 2017, Complete Issue}
}
@Article{DagRep.7.1.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 7, Issue 1, 2017}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.i},
URN = {urn:nbn:de:0030-drops-73133},
doi = {10.4230/DagRep.7.1.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 1, 2017}
}
@Article{benchen_et_al:DagRep.7.1.1,
author = {Ben-Chen, Mirela and Chazal, Fr\'{e}d\'{e}deric and Guibas, Leonidas J. and Ovsjanikov, Maks},
title = {{Functoriality in Geometric Data (Dagstuhl Seminar 17021)}},
pages = {1--18},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Ben-Chen, Mirela and Chazal, Fr\'{e}d\'{e}deric and Guibas, Leonidas J. and Ovsjanikov, Maks},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.1},
URN = {urn:nbn:de:0030-drops-71484},
doi = {10.4230/DagRep.7.1.1},
annote = {Keywords: computational geometry, data analysis, geometry processing}
}
@Article{kim_et_al:DagRep.7.1.19,
author = {Kim, Sunghun and Le Goues, Claire and Pradel, Michael and Roychoudhury, Abhik},
title = {{Automated Program Repair (Dagstuhl Seminar 17022)}},
pages = {19--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Kim, Sunghun and Le Goues, Claire and Pradel, Michael and Roychoudhury, Abhik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.19},
URN = {urn:nbn:de:0030-drops-71767},
doi = {10.4230/DagRep.7.1.19},
annote = {Keywords: Program repair, program analysis, software engineering}
}
@Article{ghallab_et_al:DagRep.7.1.32,
author = {Ghallab, Malik and Hawes, Nick and Magazzeni, Daniele and Williams, Brian C. and Orlandini, Andrea},
title = {{Planning and Robotics (Dagstuhl Seminar 17031)}},
pages = {32--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Ghallab, Malik and Hawes, Nick and Magazzeni, Daniele and Williams, Brian C. and Orlandini, Andrea},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.32},
URN = {urn:nbn:de:0030-drops-72451},
doi = {10.4230/DagRep.7.1.32},
annote = {Keywords: adjustable autonomy, artificial intelligence, automated planning and scheduling, goal reasoning, human-robot interaction, plan execution, robotics}
}
@Article{hausheer_et_al:DagRep.7.1.74,
author = {Hausheer, David and Hohlfeld, Oliver and López, Diego R. and Maggs, Bruce MacDowell and Raiciu, Costin},
title = {{Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032)}},
pages = {74--102},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Hausheer, David and Hohlfeld, Oliver and López, Diego R. and Maggs, Bruce MacDowell and Raiciu, Costin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.74},
URN = {urn:nbn:de:0030-drops-72464},
doi = {10.4230/DagRep.7.1.74},
annote = {Keywords: flexible network management, network function virtualization, software-defined networking}
}
@Article{cygan_et_al:DagRep.7.1.103,
author = {Cygan, Marek and Fomin, Fedor V. and Hermelin, Danny and Wahlstr\"{o}m, Magnus},
title = {{Randomization in Parameterized Complexity (Dagstuhl Seminar 17041)}},
pages = {103--128},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Cygan, Marek and Fomin, Fedor V. and Hermelin, Danny and Wahlstr\"{o}m, Magnus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.103},
URN = {urn:nbn:de:0030-drops-72479},
doi = {10.4230/DagRep.7.1.103},
annote = {Keywords: fixed-parameter tractability, intractability, parameterized complexity, randomness}
}
@Article{blunsom_et_al:DagRep.7.1.129,
author = {Blunsom, Phil and Cho, Kyunghyun and Dyer, Chris and Sch\"{u}tze, Hinrich},
title = {{From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042)}},
pages = {129--157},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Blunsom, Phil and Cho, Kyunghyun and Dyer, Chris and Sch\"{u}tze, Hinrich},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.129},
URN = {urn:nbn:de:0030-drops-72489},
doi = {10.4230/DagRep.7.1.129},
annote = {Keywords: Natural Language Understanding, Artificial Intelligence, Deep Learning, Natural Language Processing, Representation Learning}
}
@Article{gay_et_al:DagRep.7.1.158,
author = {Gay, Simon and Vasconcelos, Vasco T. and Wadler, Philip and Yoshida, Nobuko},
title = {{Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)}},
pages = {158--189},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {1},
editor = {Gay, Simon and Vasconcelos, Vasco T. and Wadler, Philip and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.158},
URN = {urn:nbn:de:0030-drops-72497},
doi = {10.4230/DagRep.7.1.158},
annote = {Keywords: Behavioural Types, Programming Languages, Runtime Verification, Type Systems}
}
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