BeatTheBeat music-based procedural content generation in a mobile game. - Annika Jordan; Dimitri Scheftelowitsch; Jan Lahni; Jannic Hartwecker; Matthias Kuchem; Mirko Walter-Huber; Nils Vortmeier; Tim Delbrügger; Ümit Güler; Igor Vatolkin; Mike Preuss (CIG, 2012)

Static Analysis for Logic-based Dynamic Programs. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (CSL, 2015)

Dynamic Graph Queries. - Pablo Muñoz 004; Nils Vortmeier; Thomas Zeume (ICDT, 2016)

Reachability and Distances under Multiple Changes. - Samir Datta; Anish Mukherjee 001; Nils Vortmeier; Thomas Zeume (ICALP, 2018)

Dynamic Complexity under Definable Changes. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (ACM Trans. Database Syst., 2018)

A Strategy for Dynamic Programs: Start over and Muddle through. - Samir Datta; Anish Mukherjee 001; Thomas Schwentick; Nils Vortmeier; Thomas Zeume (Log. Methods Comput. Sci., 2019)

Dynamic expressibility under complex changes. - Nils Vortmeier (2019)

Dynamic Complexity Meets Parameterised Algorithms. - Jonas Schmidt 001; Thomas Schwentick; Nils Vortmeier; Thomas Zeume; Ioannis Kokkinis (CSL, 2020)

Dynamic Complexity of Reachability: How Many Changes Can We Handle? - Samir Datta; Pankaj Kumar; Anish Mukherjee 001; Anuj Tawari; Nils Vortmeier; Thomas Zeume (ICALP, 2020)

Sketches of Dynamic Complexity. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (SIGMOD Rec., 2020)

Work-sensitive Dynamic Complexity of Formal Languages. - Jonas Schmidt 001; Thomas Schwentick; Till Tantau; Nils Vortmeier; Thomas Zeume (FoSSaCS, 2021)

The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. - Nils Vortmeier; Ioannis Kokkinis (WG, 2021)

Dynamic Complexity of Parity Exists Queries. - Nils Vortmeier; Thomas Zeume (Log. Methods Comput. Sci., 2021)

Givens QR Decomposition over Relational Databases. - Dan Olteanu; Nils Vortmeier; Dorde Zivanovic (SIGMOD Conference, 2022)

Dynamic Complexity of Regular Languages: Big Changes, Small Work. - Felix Tschirbs; Nils Vortmeier; Thomas Zeume (CSL, 2023)

Query Maintenance Under Batch Changes with Small-Depth Circuits. - Samir Datta; Asif Khan 009; Anish Mukherjee 001; Felix Tschirbs; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

Specification and Automatic Verification of Computational Reductions. - Julien Grange; Fabian Vehlken; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

Givens rotations for QR decomposition, SVD and PCA over database joins. - Dan Olteanu; Nils Vortmeier; Dorde Zivanovic (VLDB J., 2024)