@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}
}