Matthias Naaf

According to our database, Matthias Naaf authored at least 11 papers between 2016 and 2024.

Collaborative distances:

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

2024

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials.

Erich Grädel, Niels Lücking, Matthias Naaf

Log. Methods Comput. Sci., 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

2023

Locality Theorems in Semiring Semantics.

Clotilde Bizière, Erich Grädel, Matthias Naaf

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics.

Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.

Erich Grädel, Niels Lücking, Matthias Naaf

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Semiring Provenance for Fixed-Point Logic.

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

Computing Least and Greatest Fixed Points in Absorptive Semirings.

Matthias Naaf

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Inferring Lower Runtime Bounds for Integer Programs.

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

ACM Trans. Program. Lang. Syst., 2020

2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

CoRR, 2019

2017

Complexity Analysis for Term Rewriting by Integer Transition Systems.

Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Lower Runtime Bounds for Integer Programs.

Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016