@Article{DagRep.14.1,
title = {{Dagstuhl Reports, Volume 14, Issue 1, January 2024, Complete Issue}},
pages = {1--163},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1},
URN = {urn:nbn:de:0030-drops-204861},
doi = {10.4230/DagRep.14.1},
annote = {Keywords: Dagstuhl Reports, Volume 14, Issue 1, January 2024, Complete Issue}
}
@Article{DagRep.14.1.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 14, Issue 1, 2024}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.i},
URN = {urn:nbn:de:0030-drops-204874},
doi = {10.4230/DagRep.14.1.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{blechschmidt_et_al:DagRep.14.1.1,
author = {Blechschmidt, Ingo and Ishihara, Hajime and Schuster, Peter M. and Buriola, Gabriele},
title = {{From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021)}},
pages = {1--24},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Blechschmidt, Ingo and Ishihara, Hajime and Schuster, Peter M. and Buriola, Gabriele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.1},
URN = {urn:nbn:de:0030-drops-204882},
doi = {10.4230/DagRep.14.1.1},
annote = {Keywords: automated theorem proving, categorical semantics, constructivisation, geometric logic, proof theory}
}
@Article{cimatti_et_al:DagRep.14.1.25,
author = {Cimatti, Alessandro and Pill, Ingo and Diedrich, Alexander},
title = {{Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031)}},
pages = {25--48},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Cimatti, Alessandro and Pill, Ingo and Diedrich, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.25},
URN = {urn:nbn:de:0030-drops-204899},
doi = {10.4230/DagRep.14.1.25},
annote = {Keywords: cyber-physical systems, diagnosis, fault detection and management, integrative ai, model-based reasoning}
}
@Article{barcelo_et_al:DagRep.14.1.49,
author = {Barcelo, Pablo and Bourhis, Pierre and Mengel, Stefan and Roy, Sudeepa},
title = {{Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032)}},
pages = {49--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Barcelo, Pablo and Bourhis, Pierre and Mengel, Stefan and Roy, Sudeepa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.49},
URN = {urn:nbn:de:0030-drops-204904},
doi = {10.4230/DagRep.14.1.49},
annote = {Keywords: Circuits, database theory, factorized databases, provenance, shapley values}
}
@Article{beierle_et_al:DagRep.14.1.72,
author = {Beierle, Christof and Mennink, Bart and Naya-Plasencia, Mar{\'\i}a and Sasaki, Yu and Boissier, Rachelle Heim},
title = {{Symmetric Cryptography (Dagstuhl Seminar 24041)}},
pages = {72--89},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Beierle, Christof and Mennink, Bart and Naya-Plasencia, Mar{\'\i}a and Sasaki, Yu and Boissier, Rachelle Heim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.72},
URN = {urn:nbn:de:0030-drops-204915},
doi = {10.4230/DagRep.14.1.72},
annote = {Keywords: Lightweight Cryptography, New Applications of Symmetric Cryptography, Permutation-Based Cryptography}
}
@Article{chen_et_al:DagRep.14.1.90,
author = {Chen, Jianxu and Jug, Florian and Rafelski, Susanne and Zhang, Shanghang},
title = {{The Emerging Issues in Bioimaging AI Publications and Research (Dagstuhl Seminar 24042)}},
pages = {90--107},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Chen, Jianxu and Jug, Florian and Rafelski, Susanne and Zhang, Shanghang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.90},
URN = {urn:nbn:de:0030-drops-204928},
doi = {10.4230/DagRep.14.1.90},
annote = {Keywords: artificial intelligence, bioimaging, open source, publication ethics, trustworthy ai}
}
@Article{balzer_et_al:DagRep.14.1.108,
author = {Balzer, Stephanie and Carbone, Marco and Kuhn, Roland and Thiemann, Peter},
title = {{Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)}},
pages = {108--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Balzer, Stephanie and Carbone, Marco and Kuhn, Roland and Thiemann, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.108},
URN = {urn:nbn:de:0030-drops-204930},
doi = {10.4230/DagRep.14.1.108},
annote = {Keywords: behavioural types, concurrency, programming languages, session types}
}
@Article{gurevych_et_al:DagRep.14.1.130,
author = {Gurevych, Iryna and Rogers, Anna and Shah, Nihar B. and Wang, Jingyan},
title = {{Reviewer No. 2: Old and New Problems in Peer Review (Dagstuhl Seminar 24052)}},
pages = {130--161},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {1},
editor = {Gurevych, Iryna and Rogers, Anna and Shah, Nihar B. and Wang, Jingyan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.130},
URN = {urn:nbn:de:0030-drops-204941},
doi = {10.4230/DagRep.14.1.130},
annote = {Keywords: Peer Review, Natural Language Processing}
}
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