@Article{DagRep.12.10,
title = {{Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue}},
pages = {1--242},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10},
URN = {urn:nbn:de:0030-drops-178178},
doi = {10.4230/DagRep.12.10},
annote = {Keywords: Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue}
}
@Article{DagRep.12.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 12, Issue 10, 2022}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.i},
URN = {urn:nbn:de:0030-drops-178185},
doi = {10.4230/DagRep.12.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{cai_et_al:DagRep.12.10.1,
author = {Cai, Wentong and Carothers, Christopher and Nicol, David M. and Uhrmacher, Adelinde M.},
title = {{Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401)}},
pages = {1--60},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Cai, Wentong and Carothers, Christopher and Nicol, David M. and Uhrmacher, Adelinde M.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.1},
URN = {urn:nbn:de:0030-drops-178196},
doi = {10.4230/DagRep.12.10.1},
annote = {Keywords: Modeling, simulation, high performance computing, machine learning, visual analytics}
}
@Article{endres_et_al:DagRep.12.10.61,
author = {Endres, Madeline and Brechmann, Andr\'{e} and Sharif, Bonita and Weimer, Westley and Siegmund, Janet},
title = {{Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)}},
pages = {61--83},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Endres, Madeline and Brechmann, Andr\'{e} and Sharif, Bonita and Weimer, Westley and Siegmund, Janet},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.61},
URN = {urn:nbn:de:0030-drops-178209},
doi = {10.4230/DagRep.12.10.61},
annote = {Keywords: Programming Methodology, Programming Education, Program Comprehension, Neuro-imaging, Eye Tracking, Human Cognition, Human Computer Interaction, Software Engineering, Human Factors}
}
@Article{beyersdorff_et_al:DagRep.12.10.84,
author = {Beyersdorff, Olaf and Biere, Armin and Ganesh, Vijay and Nordstr\"{o}m, Jakob and Oertel, Andy},
title = {{Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)}},
pages = {84--105},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Beyersdorff, Olaf and Biere, Armin and Ganesh, Vijay and Nordstr\"{o}m, Jakob and Oertel, Andy},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.84},
URN = {urn:nbn:de:0030-drops-178212},
doi = {10.4230/DagRep.12.10.84},
annote = {Keywords: Boolean satisfiability (SAT), SAT solving, computational complexity, proof complexity, combinatorial solving, combinatorial optimization, constraint programming, mixed integer linear programming}
}
@Article{mentens_et_al:DagRep.12.10.106,
author = {Mentens, Nele and Picek, Stjepan and Sadeghi, Ahmad-Reza},
title = {{Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412)}},
pages = {106--128},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Mentens, Nele and Picek, Stjepan and Sadeghi, Ahmad-Reza},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.106},
URN = {urn:nbn:de:0030-drops-178229},
doi = {10.4230/DagRep.12.10.106},
annote = {Keywords: Cybersecurity, Artificial Intelligence, Hardware Security, Machine Learning, Explainability}
}
@Article{gervais_et_al:DagRep.12.10.129,
author = {Gervais, Arthur and Vasek, Marie},
title = {{Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)}},
pages = {129--142},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Gervais, Arthur and Vasek, Marie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.129},
URN = {urn:nbn:de:0030-drops-178233},
doi = {10.4230/DagRep.12.10.129},
annote = {Keywords: blockchain technology, decentralized finance (DeFi), distributed consensus protocols, security economics, security foundations}
}
@Article{rehg_et_al:DagRep.12.10.143,
author = {Rehg, James M. and Oudeyer, Pierre-Yves and Smith, Linda B. and Tsuji, Sho and Stojanov, Stefan and Thai, Ngoc Anh},
title = {{Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422)}},
pages = {143--165},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Rehg, James M. and Oudeyer, Pierre-Yves and Smith, Linda B. and Tsuji, Sho and Stojanov, Stefan and Thai, Ngoc Anh},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.143},
URN = {urn:nbn:de:0030-drops-178247},
doi = {10.4230/DagRep.12.10.143},
annote = {Keywords: developmental psychology, human learning, machine learning, computer vision, language learning}
}
@Article{frejinger_et_al:DagRep.12.10.166,
author = {Frejinger, Emma and Lodi, Andrea and Lombardi, Michele and Yorke-Smith, Neil},
title = {{Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)}},
pages = {166--174},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Frejinger, Emma and Lodi, Andrea and Lombardi, Michele and Yorke-Smith, Neil},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.166},
URN = {urn:nbn:de:0030-drops-178257},
doi = {10.4230/DagRep.12.10.166},
annote = {Keywords: combinatorial optimisation, constraint programming, machine learning, Mixed integer programming, operations research, Reinforcement learning}
}
@Article{alkhatib_et_al:DagRep.12.10.175,
author = {Al-Khatib, Khalid and de Waard, Anita and Freitag, Dayne and Gurevych, Iryna and Hou, Yufang and Scells, Harrisen},
title = {{Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)}},
pages = {175--206},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Al-Khatib, Khalid and de Waard, Anita and Gurevych, Iryna and Hou, Yufang and Scells, Harrisen},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.175},
URN = {urn:nbn:de:0030-drops-178264},
doi = {10.4230/DagRep.12.10.175},
annote = {Keywords: Argument mining, Argument modeling, Scholarly discourse}
}
@Article{brotcorne_et_al:DagRep.12.10.207,
author = {Brotcorne, Luce and Buchheim, Christoph and den Hertog, Dick and Henke, Dorothee},
title = {{Optimization at the Second Level (Dagstuhl Seminar 22441)}},
pages = {207--224},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Brotcorne, Luce and Buchheim, Christoph and den Hertog, Dick and Henke, Dorothee},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.207},
URN = {urn:nbn:de:0030-drops-178274},
doi = {10.4230/DagRep.12.10.207},
annote = {Keywords: bilevel optimization, robust optimization, stochastic optimization, computational complexity, algorithmics}
}
@Article{kluthe_et_al:DagRep.12.10.225,
author = {Kluthe, Timothy and Becker, Brett A. and Hundhausen, Christopher D. and Jaspan, Ciera and Stefik, Andreas and Zimmermann, Thomas},
title = {{Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)}},
pages = {225--240},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {12},
number = {10},
editor = {Kluthe, Timothy and Becker, Brett A. and Hundhausen, Christopher D. and Jaspan, Ciera and Stefik, Andreas and Zimmermann, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.225},
URN = {urn:nbn:de:0030-drops-178289},
doi = {10.4230/DagRep.12.10.225},
annote = {Keywords: Community evidence standards, Human factors}
}
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