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

2021

• E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper, 2021.             
  BibTeX

  @misc{GM21,
       title = {Elementary equivalence versus isomorphism in semiring semantics},
       author = {Erich Gr{\"a}del and Lovro Mrkonji{\'c}},
       year = {2021},
       howpublished = {arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper},
       url = {https://arxiv.org/abs/2102.05473},
  }
  

• E. Grädel and L. Mrkonjić. Elementary Equivalence Versus Isomorphism in Semiring Semantics. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (N. Bansal, E. Merelli, and J. Worrell, Eds.), vol. 198 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 133:1–133:20, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.             
  BibTeX

  @inproceedings{GM21b,
       author = {Erich Gr{\"a}del and Lovro Mrkonji{\'c}},
       title = {{Elementary Equivalence Versus Isomorphism in Semiring Semantics}},
       booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)},
       pages = {133:1--133:20},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-195-5},
       issn = {1868-8969},
       year = {2021},
       volume = {198},
       editor = {Nikhil Bansal and Emanuela Merelli and James Worrell},
       publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/opus/volltexte/2021/14202},
       urn = {urn:nbn:de:0030-drops-142022},
       doi = {10.4230/LIPIcs.ICALP.2021.133},
       annote = {Keywords: Semiring semantics, elementary equivalence, axiomatisability},
  }
  

2020

• L. Mrkonjić. The Model Theory of Semiring Semantics. Master thesis, RWTH Aachen University, 2020.             
  BibTeX

  @misc{Mrkonjic20,
       author = {Lovro Mrkonji{\'c}},
       howpublished = {Master thesis, RWTH Aachen University},
       title = {The Model Theory of Semiring Semantics},
       url = {http://logic.rwth-aachen.de/pub/mrkonjic/masterarbeit.pdf},
       year = {2020},
  }