@Article{DagRep.13.4, title = {{Dagstuhl Reports, Volume 13, Issue 4, April 2023, Complete Issue}}, pages = {1--122}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4}, URN = {urn:nbn:de:0030-drops-192342}, doi = {10.4230/DagRep.13.4}, annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 4, April 2023, Complete Issue} } @Article{DagRep.13.4.i, title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 4, 2023}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.i}, URN = {urn:nbn:de:0030-drops-192353}, doi = {10.4230/DagRep.13.4.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{ciabattoni_et_al:DagRep.13.4.1, author = {Ciabattoni, Agata and Horty, John F. and Slavkovik, Marija and van der Torre, Leendert and Knoks, Aleks}, title = {{Normative Reasoning for AI (Dagstuhl Seminar 23151)}}, pages = {1--23}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, editor = {Ciabattoni, Agata and Horty, John F. and Slavkovik, Marija and van der Torre, Leendert and Knoks, Aleks}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.1}, URN = {urn:nbn:de:0030-drops-192367}, doi = {10.4230/DagRep.13.4.1}, annote = {Keywords: deontic logic, autonomous agents, AI ethics, deontic explanations} } @Article{poppelmann_et_al:DagRep.13.4.24, author = {P\"{o}ppelmann, Thomas and Roy, Sujoy Sinha and Verbauwhede, Ingrid}, title = {{Secure and Efficient Post-Quantum Cryptography in Hardware and Software (Dagstuhl Seminar 23152)}}, pages = {24--39}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, editor = {P\"{o}ppelmann, Thomas and Roy, Sujoy Sinha and Verbauwhede, Ingrid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.24}, URN = {urn:nbn:de:0030-drops-192373}, doi = {10.4230/DagRep.13.4.24}, annote = {Keywords: Post-quantum cryptography, secure hardware and software, cryptographic implementations, side-channel attacks, fault attacks, countermeasures against attacks} } @Article{moura_et_al:DagRep.13.4.40, author = {Moura, Lucia and Nakic, Anamari and \"{O}sterg\r{a}rd, Patric and Wassermann, Alfred and Wei{\ss}, Charlene}, title = {{Pushing the Limits of Computational Combinatorial Constructions (Dagstuhl Seminar 23161)}}, pages = {40--57}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, editor = {Moura, Lucia and Nakic, Anamari and \"{O}sterg\r{a}rd, Patric and Wassermann, Alfred and Wei{\ss}, Charlene}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.40}, URN = {urn:nbn:de:0030-drops-192384}, doi = {10.4230/DagRep.13.4.40}, annote = {Keywords: automorphism groups, combinatorial algorithms, finite geometries, subspace designs} } @Article{ganian_et_al:DagRep.13.4.58, author = {Ganian, Robert and Montecchiani, Fabrizio and N\"{o}llenburg, Martin and Zehavi, Meirav and Khazaliya, Liana}, title = {{New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162)}}, pages = {58--97}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, editor = {Ganian, Robert and Montecchiani, Fabrizio and N\"{o}llenburg, Martin and Zehavi, Meirav and Khazaliya, Liana}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.58}, URN = {urn:nbn:de:0030-drops-192393}, doi = {10.4230/DagRep.13.4.58}, annote = {Keywords: algorithm design, computational geometry, graph drawing, parameterized complexity} } @Article{brandt_et_al:DagRep.13.4.98, author = {Brandt, Jim and Ciorba, Florina and Gentile, Ann and Ott, Michael and Wilde, Torsten}, title = {{Driving HPC Operations With Holistic Monitoring and Operational Data Analytics (Dagstuhl Seminar 23171)}}, pages = {98--120}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {4}, editor = {Brandt, Jim and Ciorba, Florina and Gentile, Ann and Ott, Michael and Wilde, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.4.98}, URN = {urn:nbn:de:0030-drops-192403}, doi = {10.4230/DagRep.13.4.98}, annote = {Keywords: Monitoring, Operational Data Analytics, Dagstuhl Seminar, WAFVR} }