Matthias Naaf

17 papers A* 1A 1B 3C 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Compactness in Semiring Semantics.
CSL
Sophie Brinke, Anuj Dawar, Erich Grädel, Lovro Mrkonjic, Matthias Naaf
2024 J jnl
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials.
Log. Methods Comput. Sci.
Erich Grädel, Niels Lücking, Matthias Naaf
2024 — conf
Semiring Provenance in the Infinite.
Tannen's Festschrift
Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf
2023 B conf
Locality Theorems in Semiring Semantics.
MFCS
Clotilde Bizière, Erich Grädel, Matthias Naaf
2023 J jnl
Locality Theorems in Semiring Semantics.
CoRR
Clotilde Bizière, Erich Grädel, Matthias Naaf
2022 A* conf
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics.
LICS
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
2022 J jnl
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics.
CoRR
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
2021 C conf
Computing Least and Greatest Fixed Points in Absorptive Semirings.
RAMiCS
Matthias Naaf
2021 J jnl
Computing Least and Greatest Fixed Points in Absorptive Semirings.
CoRR
Matthias Naaf
2021 J jnl
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.
CoRR
Erich Grädel, Niels Lücking, Matthias Naaf
2021 — conf
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.
GandALF
Erich Grädel, Niels Lücking, Matthias Naaf
2021 B conf
Semiring Provenance for Fixed-Point Logic.
CSL
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2020 J jnl
Inferring Lower Runtime Bounds for Integer Programs.
ACM Trans. Program. Lang. Syst.
Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl
2019 J jnl
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.
CoRR
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
2019 J jnl
Inferring Lower Runtime Bounds for Integer Programs.
CoRR
Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl
2017 — conf
Complexity Analysis for Term Rewriting by Integer Transition Systems.
FroCoS
Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl
2016 A conf
Lower Runtime Bounds for Integer Programs.
IJCAR
Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl