@Article{DagRep.13.10,
title = {{Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue}},
pages = {1--213},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10},
URN = {urn:nbn:de:0030-drops-198292},
doi = {10.4230/DagRep.13.10},
annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue}
}
@Article{DagRep.13.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 10, 2023}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.i},
URN = {urn:nbn:de:0030-drops-198302},
doi = {10.4230/DagRep.13.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{bauer_et_al:DagRep.13.10.1,
author = {Bauer, Andrej and Ber\v{c}i\v{c}, Katja and Rabe, Florian and Thi\'{e}ry, Nicolas and Taslak, Jure},
title = {{Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)}},
pages = {1--23},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Bauer, Andrej and Ber\v{c}i\v{c}, Katja and Rabe, Florian and Thi\'{e}ry, Nicolas and Taslak, Jure},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.1},
URN = {urn:nbn:de:0030-drops-198319},
doi = {10.4230/DagRep.13.10.1},
annote = {Keywords: mathematical knowledge management, mathematical software, formalized mathematics, computer algebra, databases of mathematical structures}
}
@Article{konighofer_et_al:DagRep.13.10.24,
author = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano},
title = {{Accountable Software Systems (Dagstuhl Seminar 23411)}},
pages = {24--49},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.24},
URN = {urn:nbn:de:0030-drops-198328},
doi = {10.4230/DagRep.13.10.24},
annote = {Keywords: accountability, Responsible Decision Making, Societal Impact of AI}
}
@Article{lahav_et_al:DagRep.13.10.50,
author = {Lahav, Ori and Raad, Azalea and Tassarotti, Joseph and Vafeiadis, Viktor and Podkopaev, Anton},
title = {{Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)}},
pages = {50--64},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Lahav, Ori and Raad, Azalea and Tassarotti, Joseph and Vafeiadis, Viktor and Podkopaev, Anton},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.50},
URN = {urn:nbn:de:0030-drops-198337},
doi = {10.4230/DagRep.13.10.50},
annote = {Keywords: concurrency, formal methods, non-volatile-memory, persistency, verification}
}
@Article{alagic_et_al:DagRep.13.10.65,
author = {Alagic, Gorjan and Naya-Plasencia, Maria and Steinwandt, Rainer and Shingane, Manasi},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 23421)}},
pages = {65--75},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Alagic, Gorjan and Naya-Plasencia, Maria and Steinwandt, Rainer and Shingane, Manasi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.65},
URN = {urn:nbn:de:0030-drops-198345},
doi = {10.4230/DagRep.13.10.65},
annote = {Keywords: computational algebra, cryptanalysis, post-quantum cryptography, quantum algorithms, quantum resource estimation}
}
@Article{li_et_al:DagRep.13.10.76,
author = {Li, Jason and Panigrahi, Debmalya and Sanita, Laura and Saranurak, Thatchaphol},
title = {{Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422)}},
pages = {76--89},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Li, Jason and Panigrahi, Debmalya and Sanita, Laura and Saranurak, Thatchaphol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.76},
URN = {urn:nbn:de:0030-drops-198357},
doi = {10.4230/DagRep.13.10.76},
annote = {Keywords: approximation, graph algorithm, maximum flow, minimum cut, network design}
}
@Article{dietrich_et_al:DagRep.13.10.90,
author = {Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut and Laskov, Pavel and Hermann, Artur},
title = {{Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431)}},
pages = {90--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut and Laskov, Pavel and Hermann, Artur},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.90},
URN = {urn:nbn:de:0030-drops-198365},
doi = {10.4230/DagRep.13.10.90},
annote = {Keywords: artificial intelligence, cybersecurity, intrusion detection, machine learning}
}
@Article{ding_et_al:DagRep.13.10.130,
author = {Ding, Aaron and de Lara, Eyal and Dustdar, Schahram and Peltonen, Ella and Meuser, Tobias},
title = {{Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432)}},
pages = {130--138},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Ding, Aaron and de Lara, Eyal and Dustdar, Schahram and Peltonen, Ella and Meuser, Tobias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.130},
URN = {urn:nbn:de:0030-drops-198376},
doi = {10.4230/DagRep.13.10.130},
annote = {Keywords: cloud computing, edge computing, edge intelligence}
}
@Article{muhleisen_et_al:DagRep.13.10.139,
author = {M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
title = {{Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)}},
pages = {139--181},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.139},
URN = {urn:nbn:de:0030-drops-198383},
doi = {10.4230/DagRep.13.10.139},
annote = {Keywords: database benchmarking, database reliability, database testing}
}
@Article{deraedt_et_al:DagRep.13.10.182,
author = {De Raedt, Luc and Schmid, Ute and Langer, Johannes},
title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)}},
pages = {182--211},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {De Raedt, Luc and Schmid, Ute and Langer, Johannes},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.182},
URN = {urn:nbn:de:0030-drops-198397},
doi = {10.4230/DagRep.13.10.182},
annote = {Keywords: explainable ai, human-like machine learning, inductive logic programming, interpretable machine learning, neuro-symbolic ai}
}
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