| Beatthebeat music-based procedural content generation in a mobile game A Jordan, D Scheftelowitsch, J Lahni, J Hartwecker, M Kuchem, ... 2012 IEEE conference on computational intelligence and games (CIG), 320-327, 2012 | 21 | 2012 |
| A strategy for dynamic programs: Start over and muddle through S Datta, A Mukherjee, T Schwentick, N Vortmeier, T Zeume Logical Methods in Computer Science 15, 2019 | 19 | 2019 |
| Reachability and distances under multiple changes S Datta, A Mukherjee, N Vortmeier, T Zeume arXiv preprint arXiv:1804.08555, 2018 | 15 | 2018 |
| Dynamic graph queries.(2016) P Munoz, N Vortmeier, T Zeume Proc. 19th International Conference on Database Theory (ICDT 2016), 2016 | 15* | 2016 |
| Dynamic complexity under definable changes T Schwentick, N Vortmeier, T Zeume ACM Transactions on Database Systems (TODS) 43 (3), 1-38, 2018 | 14 | 2018 |
| Sketches of dynamic complexity T Schwentick, N Vortmeier, T Zeume ACM SIGMOD Record 49 (2), 18-29, 2020 | 13 | 2020 |
| Dynamic complexity of Reachability: How many changes can we handle? S Datta, P Kumar, A Mukherjee, A Tawari, N Vortmeier, T Zeume arXiv preprint arXiv:2004.12739, 2020 | 9 | 2020 |
| Work-sensitive dynamic complexity of formal languages J Schmidt, T Schwentick, T Tantau, N Vortmeier, T Zeume Foundations of Software Science and Computation Structures: 24th …, 2021 | 7 | 2021 |
| Givens QR decomposition over relational databases D Olteanu, N Vortmeier, Đ Zivanović Proceedings of the 2022 International Conference on Management of Data, 1948 …, 2022 | 5 | 2022 |
| Dynamic complexity meets parameterised algorithms J Schmidt, T Schwentick, N Vortmeier, T Zeume, I Kokkinis arXiv preprint arXiv:1910.06281, 2019 | 5 | 2019 |
| Static analysis for logic-based dynamic programs T Schwentick, N Vortmeier, T Zeume arXiv preprint arXiv:1507.04537, 2015 | 5 | 2015 |
| Komplexitätstheorie verlaufsunabhängiger dynamischer Programme N Vortmeier Master’s thesis, TU Dortmund, 2013 | 5 | 2013 |
| Dynamic complexity of parity exists queries N Vortmeier, T Zeume Logical Methods in Computer Science 17, 2021 | 4 | 2021 |
| Dynamic expressibility under complex changes N Vortmeier Dissertation, Dortmund, Technische Universität, 2019, 2019 | 4 | 2019 |
| Dynamic complexity of regular languages: Big changes, small work F Tschirbs, N Vortmeier, T Zeume 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023 | 3 | 2023 |
| 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 3 | 2015 |
| Specification and Automatic Verification of Computational Reductions J Grange, F Vehlken, N Vortmeier, T Zeume arXiv preprint arXiv:2407.04037, 2024 | 2 | 2024 |
| Query maintenance under batch changes with small-depth circuits S Datta, A Khan, A Mukherjee, F Tschirbs, N Vortmeier, T Zeume arXiv preprint arXiv:2407.20031, 2024 | | 2024 |
| Givens rotations for QR decomposition, SVD and PCA over database joins D Olteanu, N Vortmeier, Ɖ Živanović The VLDB Journal 33 (4), 1013-1037, 2024 | | 2024 |
| 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland B Klin, E Pimentel Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
