Follow
Nils Vortmeier
Nils Vortmeier
Verified email at rub.de
Title
Cited by
Cited by
Year
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
202012
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
182019
Dynamic complexity under definable changes
T Schwentick, N Vortmeier, T Zeume
ACM Transactions on Database Systems (TODS) 43 (3), 1-38, 2018
142018
Reachability and distances under multiple changes
S Datta, A Mukherjee, N Vortmeier, T Zeume
arXiv preprint arXiv:1804.08555, 2018
142018
Dynamic graph queries.(2016)
P Munoz, N Vortmeier, T Zeume
Proc. 19th International Conference on Database Theory (ICDT 2016), 2016
14*2016
Sketches of dynamic complexity
T Schwentick, N Vortmeier, T Zeume
ACM SIGMOD Record 49 (2), 18-29, 2020
122020
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
82020
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
72021
Givens QR decomposition over relational databases
D Olteanu, N Vortmeier, Đ Zivanović
Proceedings of the 2022 International Conference on Management of Data, 1948 …, 2022
52022
Dynamic complexity meets parameterised algorithms
J Schmidt, T Schwentick, N Vortmeier, T Zeume, I Kokkinis
arXiv preprint arXiv:1910.06281, 2019
52019
Static analysis for logic-based dynamic programs
T Schwentick, N Vortmeier, T Zeume
arXiv preprint arXiv:1507.04537, 2015
52015
Komplexitätstheorie verlaufsunabhängiger dynamischer Programme
N Vortmeier
Master’s thesis, TU Dortmund, 2013
52013
Dynamic complexity of parity exists queries
N Vortmeier, T Zeume
Logical Methods in Computer Science 17, 2021
32021
Dynamic expressibility under complex changes
N Vortmeier
32019
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
32015
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
12023
Specification and Automatic Verification of Computational Reductions
J Grange, F Vehlken, N Vortmeier, T Zeume
arXiv preprint arXiv:2407.04037, 2024
2024
Givens rotations for QR decomposition, SVD and PCA over database joins
D Olteanu, N Vortmeier, Ɖ Živanović
The VLDB Journal, 1-25, 2023
2023
25th International Conference on Database Theory: ICDT 2022, March 29-April 1, 2022, Edinburgh, UK (virtual Conference)
D Olteanu, N Vortmeier
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2022
2022
The dynamic complexity of acyclic hypergraph homomorphisms
N Vortmeier, I Kokkinis
Graph-Theoretic Concepts in Computer Science: 47th International Workshop …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20