Sophie Brinke

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21709
Fax:   +49-241-80-22215
Büro:   4119 (E1) / Ahornstr. 55
E-Mail:   brinke [AT] logic.rwth-aachen.de

Sprechstunden

Wenn die Tür offen ist / nach Vereinbarung.

Forschung

  • Modelltheorie, Algorithmen und Anwendungen der Halbringsemantik

Aktuelle Publikationen

  • 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.
  • 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.
  • S. Brinke. Ehrenfeucht-Fraïssé Games for Semiring Semantics. Master thesis, RWTH Aachen University, 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.

Alle Publikationen