@Article{DagRep.9.10, title = {{Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue}}, pages = {1--153}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10}, URN = {urn:nbn:de:0030-drops-119876}, doi = {10.4230/DagRep.9.10}, annote = {Keywords: Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue} } @Article{DagRep.9.10.i, title = {{Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.i}, URN = {urn:nbn:de:0030-drops-119884}, doi = {10.4230/DagRep.9.10.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{andre_et_al:DagRep.9.10.1, author = {Andr\'{e}, Elisabeth and Paiva, Ana and Shah, Julie and \v{S}abanovic, Selma}, title = {{Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411)}}, pages = {1--46}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Andr\'{e}, Elisabeth and Paiva, Ana and Shah, Julie and \v{S}abanovic, Selma}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.1}, URN = {urn:nbn:de:0030-drops-118533}, doi = {10.4230/DagRep.9.10.1}, annote = {Keywords: Social Agents, Social Robotics, Multi-Agent Systems, Human-Agent Interaction, Groups and Teams} } @Article{mosca_et_al:DagRep.9.10.47, author = {Mosca, Michele and Naya-Plasencia, Maria and Steinwandt, Rainer}, title = {{Quantum Cryptanalysis (Dagstuhl Seminar 19421)}}, pages = {47--60}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Mosca, Michele and Naya-Plasencia, Maria and Steinwandt, Rainer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.47}, URN = {urn:nbn:de:0030-drops-118543}, doi = {10.4230/DagRep.9.10.47}, annote = {Keywords: computational algebra, post-quantum cryptography, quantum circuit complexity, quantum computing, standardization} } @Article{doerr_et_al:DagRep.9.10.61, author = {Doerr, Carola and Fonseca, Carlos M. and Friedrich, Tobias and Yao, Xin}, title = {{Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)}}, pages = {61--94}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Doerr, Carola and Fonseca, Carlos M. and Friedrich, Tobias and Yao, Xin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.61}, URN = {urn:nbn:de:0030-drops-118567}, doi = {10.4230/DagRep.9.10.61}, annote = {Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing} } @Article{gleirscher_et_al:DagRep.9.10.95, author = {Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven}, title = {{Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)}}, pages = {95--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.95}, URN = {urn:nbn:de:0030-drops-118579}, doi = {10.4230/DagRep.9.10.95}, annote = {Keywords: autonomous collectives, control engineering, formal verification, hybrid systems, uncertainty and risk} } @Article{ferreira_et_al:DagRep.9.10.117, author = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido}, title = {{Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)}}, pages = {117--133}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.117}, URN = {urn:nbn:de:0030-drops-118586}, doi = {10.4230/DagRep.9.10.117}, annote = {Keywords: Programming Languages, Distributed Systems, Data Management} } @Article{bordewich_et_al:DagRep.9.10.134, author = {Bordewich, Magnus and Dorn, Britta and Linz, Simone and Niedermeier, Rolf}, title = {{Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)}}, pages = {134--151}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Bordewich, Magnus and Dorn, Britta and Linz, Simone and Niedermeier, Rolf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.134}, URN = {urn:nbn:de:0030-drops-118590}, doi = {10.4230/DagRep.9.10.134}, annote = {Keywords: Approximation algorithms, Evolution, Parameterized algorithms, Phylogenetic trees and networks} }