Lower runtime bounds for integer programs F Frohn, M Naaf, J Hensel, M Brockschmidt, J Giesl Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 35 | 2016 |
Complexity Analysis for Term Rewriting by Integer Transition Systems M Naaf, F Frohn, M Brockschmidt, C Fuhs, J Giesl Aachener Informatik-Berichte, 2017 | 23 | 2017 |
Complexity analysis for term rewriting by integer transition systems M Naaf, F Frohn, M Brockschmidt, C Fuhs, J Giesl Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017 | 23 | 2017 |
Semiring provenance for fixed-point logic KM Dannert, E Grädel, M Naaf, V Tannen 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 22 | 2021 |
Inferring lower runtime bounds for integer programs F Frohn, M Naaf, M Brockschmidt, J Giesl ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-50, 2020 | 16 | 2020 |
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics E Grädel, H Helal, M Naaf, R Wilke Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 10 | 2022 |
Semiring Provenance for B\" uchi Games: Strategy Analysis with Absorptive Polynomials E Grädel, N Lücking, M Naaf Logical Methods in Computer Science 20, 2024 | 4 | 2024 |
Generalized absorptive polynomials and provenance semantics for fixed-point logic KM Dannert, E Grädel, M Naaf, V Tannen arXiv preprint arXiv:1910.07910, 2019 | 3 | 2019 |
Locality Theorems in Semiring Semantics C Bizière, E Grädel, M Naaf arXiv preprint arXiv:2303.12627, 2023 | 2 | 2023 |
Computing least and greatest fixed points in absorptive semirings M Naaf Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | 2 | 2021 |
Semirings for Provenance Analysis of Fixed Point Logics and Games M Naaf Msc thesis, RWTH Aachen University, 2019 | 2 | 2019 |
Semiring Provenance in the Infinite S Brinke, E Grädel, L Mrkonjić, M Naaf The Provenance of Elegance in Computation-Essays Dedicated to Val Tannen (2024), 2024 | 1 | 2024 |
Logic and Random Discrete Structures E Grädel, PG Kolaitis, M Noy, M Naaf | | 2022 |
Complexity Analysis for Term Rewriting by Integer Transition Systems F Frohn, M Naaf, M Brockschmidt, C Fuhs, J Giesl | | 2017 |
AProVE at the Termination Competition 2018 M Brockschmidt, S Dollase, F Emrich, F Frohn, C Fuhs, J Giesl, M Hark, ... 16th International Workshop on Termination, 78, 0 | | |