Publications

2024

• S. Brinke, E. Grädel, L. Mrkonjić, and M. Naaf. Semiring Provenance in the Infinite. In The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen (A. Amarilli and A. Deutsch, Eds.), vol. 119 of Open Access Series in Informatics (OASIcs), pp. 3:1–3:26, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.             
  BibTeX

  @inproceedings{BGMN24,
       author = {Sophie Brinke and Erich Gr{\"a}del and Lovro Mrkonji{\'c} and Matthias Naaf},
       title = {Semiring Provenance in the Infinite},
       booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
       pages = {3:1--3:26},
       series = {Open Access Series in Informatics (OASIcs)},
       isbn = {978-3-95977-320-1},
       issn = {2190-6807},
       year = {2024},
       volume = {119},
       editor = {Antoine Amarilli and Alin Deutsch},
       publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.3},
       doi = {10.4230/OASIcs.Tannen.3},
  }
  

• S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (A. Murano and A. Silva, Eds.), vol. 288 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:22, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.             
  BibTeX

  @inproceedings{BGM24,
       author = {Sophie Brinke and Erich Gr{\"a}del and Lovro Mrkonji{\'c}},
       title = {{Ehrenfeucht-Fra{\"i}ss{\'e} Games in Semiring Semantics}},
       booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)},
       pages = {19:1--19:22},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-310-2},
       issn = {1868-8969},
       year = {2024},
       volume = {288},
       editor = {Aniello Murano and Alexandra Silva},
       publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.19},
       urn = {urn:nbn:de:0030-drops-196623},
       doi = {10.4230/LIPIcs.CSL.2024.19},
       annote = {Keywords: Semiring semantics, elementary equivalence, Ehrenfeucht-Fra\"{i}ss\'{e} games},
  }
  

2023

• S. Brinke. Ehrenfeucht-Fraïssé Games for Semiring Semantics. Master thesis, RWTH Aachen University, 2023.             
  BibTeX

  @misc{Brinke23,
       author = {Sophie Brinke},
       howpublished = {Master thesis, RWTH Aachen University},
       title = {Ehrenfeucht-Fra{\"i}ss{\'e} Games for Semiring Semantics},
       url = {http://logic.rwth-aachen.de/pub/brinke/masterarbeit.pdf},
       year = {2023},
  }
  

• S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. arXiv:2308.04910 [cs.LO], full version of CSL'24 paper, 2023.             
  BibTeX

  @misc{BGM23,
       title = {Ehrenfeucht-Fra{\"i}ss{\'e} Games in Semiring Semantics},
       author = {Sophie Brinke and Erich Gr{\"a}del and Lovro Mrkonji{\'c}},
       year = {2023},
       howpublished = {arXiv:2308.04910 [cs.LO], full version of CSL'24 paper},
       url = {http://arxiv.org/abs/2308.04910},
  }