Matthias Naaf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Compactness in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Lovro Mrkonjic, Matthias Naaf |
| 2023 | MFCS | Locality Theorems in Semiring Semantics. | Clotilde Bizire, Erich Grdel, Matthias Naaf |
| 2022 | LICS | Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. | Erich Grdel, Hayyan Helal, Matthias Naaf, Richard Wilke |
| 2021 | CSL | Semiring Provenance for Fixed-Point Logic. | Katrin M. Dannert, Erich Grdel, Matthias Naaf, Val Tannen |
| 2016 | CADE | Lower Runtime Bounds for Integer Programs. | Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jrgen Giesl |