Sophie Brinke

According to our database, Sophie Brinke authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Preservation Theorems in Semiring Semantics.

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

CoRR, May, 2026

Compactness in Semiring Semantics.

Sophie Brinke, Anuj Dawar, Erich Grädel, Lovro Mrkonjic, Matthias Naaf

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081).

Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjic, Gaia Petreni

Dagstuhl Reports, February, 2025

2024

Ehrenfeucht-Fraïssé Games in Semiring Semantics.

Sophie Brinke, Erich Grädel, Lovro Mrkonjic

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Semiring Provenance in the Infinite.

Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf

Proceedings of the Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, 2024