@Article{DagRep.13.12, title = {{Dagstuhl Reports, Volume 13, Issue 12, December 2023, Complete Issue}}, pages = {1--49}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {12}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.12}, URN = {urn:nbn:de:0030-drops-198514}, doi = {10.4230/DagRep.13.12}, annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 12, December 2023, Complete Issue} } @Article{DagRep.13.12.i, title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 12, 2023}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {12}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.12.i}, URN = {urn:nbn:de:0030-drops-198528}, doi = {10.4230/DagRep.13.12.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{koutra_et_al:DagRep.13.12.1, author = {Koutra, Danai and Meyerhenke, Henning and Safro, Ilya and Brandt-Tumescheit, Fabian}, title = {{Scalable Graph Mining and Learning (Dagstuhl Seminar 23491)}}, pages = {1--23}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {12}, editor = {Koutra, Danai and Meyerhenke, Henning and Safro, Ilya and Brandt-Tumescheit, Fabian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.12.1}, URN = {urn:nbn:de:0030-drops-198530}, doi = {10.4230/DagRep.13.12.1}, annote = {Keywords: Graph mining, Graph machine learning, (hyper)graph and network algorithms, high-performance computing for graphs, algorithm engineering for graphs} } @Article{enkel_et_al:DagRep.13.12.24, author = {Enkel, Ellen and Jansen, Nils and Mousavi, Mohammad Reza and Rozier, Kristin Yvonne}, title = {{Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492)}}, pages = {24--47}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {12}, editor = {Enkel, Ellen and Jansen, Nils and Mousavi, Mohammad Reza and Rozier, Kristin Yvonne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.12.24}, URN = {urn:nbn:de:0030-drops-198543}, doi = {10.4230/DagRep.13.12.24}, annote = {Keywords: artificial intelligence, automata learning, autonomous systems, cyber-physical systems, formal methods, machine learning, safety, safety-critical systems, self-adaptive systems, software evolution, technology acceptance, trust} }