@Article{DagRep.14.4,
title = {{Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue}},
pages = {1--165},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4},
URN = {urn:nbn:de:0030-drops-213562},
doi = {10.4230/DagRep.14.4},
annote = {Keywords: Dagstuhl Reports, Volume 14, Issue 4, April 2024, Complete Issue}
}
@Article{DagRep.14.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 14, Issue 4, 2024}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.i},
URN = {urn:nbn:de:0030-drops-213472},
doi = {10.4230/DagRep.14.4.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{bondorf_et_al:DagRep.14.4.1,
author = {Bondorf, Steffen and Bouillard, Anne and Fidler, Markus and Liebeherr, J\"{o}rg and Maile, Lisa},
title = {{Network Calculus (Dagstuhl Seminar 24141)}},
pages = {1--22},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Bondorf, Steffen and Bouillard, Anne and Fidler, Markus and Liebeherr, J\"{o}rg and Maile, Lisa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.1},
URN = {urn:nbn:de:0030-drops-213558},
doi = {10.4230/DagRep.14.4.1},
annote = {Keywords: age of information, effective bandwidths, network calculus, performance evaluation, queueing network}
}
@Article{troubitsyna_et_al:DagRep.14.4.23,
author = {Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario},
title = {{Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)}},
pages = {23--41},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Troubitsyna, Elena and Alvarez, Ignacio J. and Koopman, Philip and Trapp, Mario},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.23},
URN = {urn:nbn:de:0030-drops-213549},
doi = {10.4230/DagRep.14.4.23},
annote = {Keywords: ai, safety assurance, safety-critical autonomous systems, simulation-based verification and validation, software engineering}
}
@Article{druskat_et_al:DagRep.14.4.42,
author = {Druskat, Stephan and Grunske, Lars and Jay, Caroline and Katz, Daniel S.},
title = {{Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161)}},
pages = {42--53},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Druskat, Stephan and Grunske, Lars and Jay, Caroline and Katz, Daniel S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.42},
URN = {urn:nbn:de:0030-drops-213530},
doi = {10.4230/DagRep.14.4.42},
annote = {Keywords: community building, Dagstuhl Seminar, knowledge transfer, research software engineering, RSE, software engineering research}
}
@Article{bacon_et_al:DagRep.14.4.54,
author = {Bacon, David F. and Binnig, Carsten and Patterson, David and Seltzer, Margo},
title = {{Hardware Support for Cloud Database Systems in the Post-Moore’s Law Era (Dagstuhl Seminar 24162)}},
pages = {54--84},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Bacon, David F. and Binnig, Carsten and Patterson, David and Seltzer, Margo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.54},
URN = {urn:nbn:de:0030-drops-213521},
doi = {10.4230/DagRep.14.4.54},
annote = {Keywords: Databases, Modern Hardware, Cloud}
}
@Article{akshay_et_al:DagRep.14.4.85,
author = {Akshay, S. and Finkbeiner, Bernd and Meel, Kuldeep S. and Piskac, Ruzica and Shaw, Arijit},
title = {{Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)}},
pages = {85--107},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Akshay, S. and Finkbeiner, Bernd and Meel, Kuldeep S. and Piskac, Ruzica and Shaw, Arijit},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.85},
URN = {urn:nbn:de:0030-drops-213515},
doi = {10.4230/DagRep.14.4.85},
annote = {Keywords: automated synthesis, boolean functions, knowledge representations, reactive synthesis, SAT/SMT solvers}
}
@Article{chandra_et_al:DagRep.14.4.108,
author = {Chandra, Satish and Pradel, Michael and Stolee, Kathryn T.},
title = {{Code Search (Dagstuhl Seminar 24172)}},
pages = {108--123},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Chandra, Satish and Pradel, Michael and Stolee, Kathryn T.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.108},
URN = {urn:nbn:de:0030-drops-213505},
doi = {10.4230/DagRep.14.4.108},
annote = {Keywords: code reuse, code search}
}
@Article{ebbels_et_al:DagRep.14.4.124,
author = {Ebbels, Timothy M. D. and Hassoun, Soha and Math\'{e}, Ewy A. and van der Hooft, Justin J. J. and Chatelaine, Haley},
title = {{Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181)}},
pages = {124--141},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Ebbels, Timothy M. D. and Hassoun, Soha and Math\'{e}, Ewy A. and van der Hooft, Justin J. J. and Chatelaine, Haley},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.124},
URN = {urn:nbn:de:0030-drops-213492},
doi = {10.4230/DagRep.14.4.124},
annote = {Keywords: bioinformatics, cheminformatics, data integration, machine learning, mass spectrometry, metabolite identification, metabolomics, pathway analysis, repository-scale analysis, training and education}
}
@Article{burton_et_al:DagRep.14.4.142,
author = {Burton, Simon and Calinescu, Radu and Mirandola, Raffaela},
title = {{Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182)}},
pages = {142--163},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {4},
editor = {Burton, Simon and Calinescu, Radu and Mirandola, Raffaela},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.142},
URN = {urn:nbn:de:0030-drops-213482},
doi = {10.4230/DagRep.14.4.142},
annote = {Keywords: artificial intelligence, antifragility, autonomous systems, disturbance, ethics, formal methods, machine learning, nondeterminism, resilience, safety, self-adaptive systems, validation and verification, uncertainty}
}
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