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, A. Dawar, E. Grädel, and B. Pago. Preservation Theorems in Semiring Semantics. arXiv:2605.10829 [cs.LO], 2026.
• S. Brinke, A. Dawar, E. Grädel, and B. Pago. Preservation Theorems in Semiring Semantics. In 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026) (S. Bhattacharya, D. Nanongkai, M. Benedikt, and G. Puppis, Eds.), vol. 374 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 172:1–172:23, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
• S. Brinke, A. Dawar, E. Grädel, L. Mrkonjić, and M. Naaf. Compactness in Semiring Semantics. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) (S. Guerrini and B. König, Eds.), vol. 363 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 13:1–13:21, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
• 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.

Alle Publikationen