@Article{DagRep.13.7,
title = {{Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue}},
pages = {1--190},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7},
URN = {urn:nbn:de:0030-drops-197717},
doi = {10.4230/DagRep.13.7},
annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue}
}
@Article{DagRep.13.7.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 7, 2023}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.i},
URN = {urn:nbn:de:0030-drops-197723},
doi = {10.4230/DagRep.13.7.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{diciccio_et_al:DagRep.13.7.1,
author = {Di Ciccio, Claudio and Miksch, Silvia and Soffer, Pnina and Weber, Barbara and Meroni, Giovanni},
title = {{Human in the (Process) Mines (Dagstuhl Seminar 23271)}},
pages = {1--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Di Ciccio, Claudio and Miksch, Silvia and Soffer, Pnina and Weber, Barbara and Meroni, Giovanni},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.1},
URN = {urn:nbn:de:0030-drops-197731},
doi = {10.4230/DagRep.13.7.1},
annote = {Keywords: human in the loop, process mining, visual analytics}
}
@Article{castaneda_et_al:DagRep.13.7.34,
author = {Casta\~{n}eda, Armando and van Ditmarsch, Hans and Kuznets, Roman and Moses, Yoram and Schmid, Ulrich},
title = {{Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)}},
pages = {34--65},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Casta\~{n}eda, Armando and van Ditmarsch, Hans and Kuznets, Roman and Moses, Yoram and Schmid, Ulrich},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.34},
URN = {urn:nbn:de:0030-drops-197742},
doi = {10.4230/DagRep.13.7.34},
annote = {Keywords: combinatorial topology, distributed systems, epistemic logic, multi-agent systems, interpreted systems, dynamic epistemic logic, simplicial semantics, knowledge-based approach, distributed computing}
}
@Article{gurfinkel_et_al:DagRep.13.7.66,
author = {Gurfinkel, Arie and Mastroeni, Isabella and Min\'{e}, Antoine and M\"{u}ller, Peter and Becchi, Anna},
title = {{Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)}},
pages = {66--95},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Gurfinkel, Arie and Mastroeni, Isabella and Min\'{e}, Antoine and M\"{u}ller, Peter and Becchi, Anna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.66},
URN = {urn:nbn:de:0030-drops-197759},
doi = {10.4230/DagRep.13.7.66},
annote = {Keywords: abstract domains, abstract interpretation, program semantics, program verification, static program analysis}
}
@Article{c.s._et_al:DagRep.13.7.96,
author = {C. S., Karthik and Chalermsook, Parinya and Spoerhase, Joachim and Zehavi, Meirav and Herold, Martin},
title = {{Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291)}},
pages = {96--107},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {C. S., Karthik and Chalermsook, Parinya and Spoerhase, Joachim and Zehavi, Meirav and Herold, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.96},
URN = {urn:nbn:de:0030-drops-197764},
doi = {10.4230/DagRep.13.7.96},
annote = {Keywords: approximation algorithms, Hardness of approximation, Parameterized algorithms}
}
@Article{mueller_et_al:DagRep.13.7.108,
author = {Mueller, Florian `Floyd' and Lallemand, Carine and Reidsma, Dennis and van den Hoven, Elise and Montoya, Maria F.},
title = {{SportsHCI (Dagstuhl Seminar 23292)}},
pages = {108--151},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Mueller, Florian `Floyd' and Lallemand, Carine and Reidsma, Dennis and van den Hoven, Elise and Montoya, Maria F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.108},
URN = {urn:nbn:de:0030-drops-197773},
doi = {10.4230/DagRep.13.7.108},
annote = {Keywords: SportsHCI, Embodiment, Wearables, Mobile Computing}
}
@Article{gundry_et_al:DagRep.13.7.152,
author = {Gundry, Rebekah and Martens, Lennart and Palmblad, Magnus},
title = {{Computational Proteomics (Dagstuhl Seminar 23301)}},
pages = {152--165},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Gundry, Rebekah and Martens, Lennart and Palmblad, Magnus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.152},
URN = {urn:nbn:de:0030-drops-197788},
doi = {10.4230/DagRep.13.7.152},
annote = {Keywords: bioinformatics, glycoproteomics, machine learning, mass spectrometry, proteomics, single cell proteomics}
}
@Article{lewis_et_al:DagRep.13.7.166,
author = {Lewis, Grace A. and Muccini, Henry and Ozkaya, Ipek and Vaidhyanathan, Karthik and Weiss, Roland and Zhu, Liming},
title = {{Software Architecture and Machine Learning (Dagstuhl Seminar 23302)}},
pages = {166--188},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Lewis, Grace A. and Muccini, Henry and Vaidhyanathan, Karthik and Weiss, Roland and Zhu, Liming},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.166},
URN = {urn:nbn:de:0030-drops-197793},
doi = {10.4230/DagRep.13.7.166},
annote = {Keywords: Architecting ML-enabled Systems, ML for Software Architecture, Software Architecture for ML, Machine Learning, Software Architecture, Software Engineering}
}
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