Matthias Naaf

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Integer Program

Top Venues

Publications

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