| 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 Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017 | 22 | 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 | 15 | 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 | 13 | 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 | 7 | 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 | 3 | 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 |
| Semirings for Provenance Analysis of Fixed Point Logics and Games M Naaf Msc thesis, RWTH Aachen University, 2019 | 2 | 2019 |
| Locality Theorems in Semiring Semantics C Bizière, E Grädel, M Naaf arXiv preprint arXiv:2303.12627, 2023 | 1 | 2023 |
| Computing least and greatest fixed points in absorptive semirings M Naaf Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | 1 | 2021 |
| Logic and Random Discrete Structures E Grädel, PG Kolaitis, M Noy, M Naaf | | 2022 |
| Dagstuhl Reports, Vol. 12, Issue 2 ISSN 2192-5283 E Grädel, PG Kolaitis, M Noy, M Naaf, M Buchin, A Lubiw, A de Mesmay, ... | | 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 | | |
| Aachen M Naaf, F Frohn, M Brockschmidt, C Fuhs, J Giesl | | |
