Publications

Matthias Naaf

2022

  • E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. arXiv:2203.03425 [cs.LO], 2022.             

2021

  • K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (C. Baier and J. Goubault-Larrecq, Eds.), vol. 183 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:22, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021.             
  • E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. In Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021) (P. Ganty and D. Bresolin, Eds.), vol. 346 of EPTCS, pp. 67–82, 2021.             
  • E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. arXiv:2106.12892 [cs.LO], full version of GandALF'21 paper, 2021.             
  • M. Naaf. Computing Least and Greatest Fixed Points in Absorptive Semirings. arXiv:2106.00399 [cs.LO], full version of RAMiCS'21 paper, 2021.             
  • M. Naaf. Computing Least and Greatest Fixed Points in Absorptive Semirings. In Relational and Algebraic Methods in Computer Science - 19th International Conference (RAMiCS 2021), Proceedings (U. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter, Eds.), vol. 13027 of Lecture Notes in Computer Science (LNCS), pp. 344–361. Springer, 2021.             

2019

  • K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv:1910.07910 [cs.LO], 2019.             
  • M. Naaf. Semirings for Provenance Analysis of Fixed-point Logics and Games. Master thesis, RWTH Aachen University, 2019.