@Article{DagRep.13.3,
title = {{Dagstuhl Reports, Volume 13, Issue 3, March 2023, Complete Issue}},
pages = {1--133},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3},
URN = {urn:nbn:de:0030-drops-192230},
doi = {10.4230/DagRep.13.3},
annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 3, March 2023, Complete Issue}
}
@Article{DagRep.13.3.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 3, 2023}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.i},
URN = {urn:nbn:de:0030-drops-192243},
doi = {10.4230/DagRep.13.3.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{bhargavan_et_al:DagRep.13.3.1,
author = {Bhargavan, Karthikeyan and Protzenko, Jonathan and Rossberg, Andreas and Stefan, Deian},
title = {{Foundations of WebAssembly (Dagstuhl Seminar 23101)}},
pages = {1--16},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {Bhargavan, Karthikeyan and Protzenko, Jonathan and Rossberg, Andreas and Stefan, Deian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.1},
URN = {urn:nbn:de:0030-drops-192255},
doi = {10.4230/DagRep.13.3.1},
annote = {Keywords: Compilation, Formal methods, Programming languages, Verification, Virtual machines, WebAssembly}
}
@Article{gal_et_al:DagRep.13.3.17,
author = {G\'{a}l, Anna and Mahajan, Meena and Santhanam, Rahul and Tantau, Till and Paraashar, Manaswi},
title = {{Computational Complexity of Discrete Problems (Dagstuhl Seminar 23111)}},
pages = {17--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {G\'{a}l, Anna and Mahajan, Meena and Santhanam, Rahul and Tantau, Till and Paraashar, Manaswi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.17},
URN = {urn:nbn:de:0030-drops-192261},
doi = {10.4230/DagRep.13.3.17},
annote = {Keywords: circuit complexity, communication complexity, computational complexity, lower bounds, randomness}
}
@Article{jacobs_et_al:DagRep.13.3.32,
author = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya},
title = {{Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)}},
pages = {32--48},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {Jacobs, Swen and McMillan, Kenneth and Samanta, Roopsha and Sergey, Ilya},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.32},
URN = {urn:nbn:de:0030-drops-192278},
doi = {10.4230/DagRep.13.3.32},
annote = {Keywords: Deductive Verification, Distributed Algorithms, Formal Verification, Model Checking}
}
@Article{bevan_et_al:DagRep.13.3.49,
author = {Bevan, David and B\'{o}na, Mikl\'{o}s and Mikl\'{o}s, Istv\'{a}n},
title = {{Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121)}},
pages = {49--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {Bevan, David and B\'{o}na, Mikl\'{o}s and Mikl\'{o}s, Istv\'{a}n},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.49},
URN = {urn:nbn:de:0030-drops-192289},
doi = {10.4230/DagRep.13.3.49},
annote = {Keywords: algorithms, counting and sampling, modeling, permutation patterns, statistical physics.}
}
@Article{tuytelaars_et_al:DagRep.13.3.74,
author = {Tuytelaars, Tinne and Liu, Bing and Lomonaco, Vincenzo and van de Ven, Gido and Cossu, Andrea},
title = {{Deep Continual Learning (Dagstuhl Seminar 23122)}},
pages = {74--91},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {Tuytelaars, Tinne and Liu, Bing and Lomonaco, Vincenzo and van de Ven, Gido and Cossu, Andrea},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.74},
URN = {urn:nbn:de:0030-drops-192298},
doi = {10.4230/DagRep.13.3.74},
annote = {Keywords: continual learning, incremental learning}
}
@Article{bohme_et_al:DagRep.13.3.92,
author = {B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
title = {{Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)}},
pages = {92--105},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.92},
URN = {urn:nbn:de:0030-drops-192308},
doi = {10.4230/DagRep.13.3.92},
annote = {Keywords: Bug Finding, Coverage, ML4SE, Oracles, Software Testing, Software Verification}
}
@Article{bremer_et_al:DagRep.13.3.106,
author = {Bremer, Peer-Timo and Spears, Brian and Gibbs, Tom and Bussmann, Michael},
title = {{AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132)}},
pages = {106--131},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {3},
editor = {Bremer, Peer-Timo and Spears, Brian and Gibbs, Tom and Bussmann, Michael},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.106},
URN = {urn:nbn:de:0030-drops-192317},
doi = {10.4230/DagRep.13.3.106},
annote = {Keywords: Self-driving experiments, Smart facilities, AI models, Multimodal data, Accelerated scientific discovery, AI software stack for experiments}
}
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