@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}
}