Nils Vortmeier

According to our database, Nils Vortmeier authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Givens rotations for QR decomposition, SVD and PCA over database joins.

Dan Olteanu, Nils Vortmeier, Dorde Zivanovic

VLDB J., July, 2024

Specification and Automatic Verification of Computational Reductions.

Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Query Maintenance Under Batch Changes with Small-Depth Circuits.

Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

Dynamic Complexity of Regular Languages: Big Changes, Small Work.

Felix Tschirbs, Nils Vortmeier, Thomas Zeume

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Givens QR Decomposition over Relational Databases.

Dan Olteanu, Nils Vortmeier, Dorde Zivanovic

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Dynamic Complexity of Parity Exists Queries.

Nils Vortmeier, Thomas Zeume

Log. Methods Comput. Sci., 2021

The Dynamic Complexity of Acyclic Hypergraph Homomorphisms.

Nils Vortmeier, Ioannis Kokkinis

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2021

Work-sensitive Dynamic Complexity of Formal Languages.

Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Sketches of Dynamic Complexity.

Thomas Schwentick, Nils Vortmeier, Thomas Zeume

SIGMOD Rec., 2020

Dynamic Complexity of Reachability: How Many Changes Can We Handle?

Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Dynamic Complexity Meets Parameterised Algorithms.

Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Dynamic expressibility under complex changes.

Nils Vortmeier

PhD thesis, 2019

A Strategy for Dynamic Programs: Start over and Muddle through.

Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume

Log. Methods Comput. Sci., 2019

2018

Dynamic Complexity under Definable Changes.

Thomas Schwentick, Nils Vortmeier, Thomas Zeume

ACM Trans. Database Syst., 2018

Reachability and Distances under Multiple Changes.

Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2016

Dynamic Graph Queries.

Pablo Muñoz, Nils Vortmeier, Thomas Zeume

Proceedings of the 19th International Conference on Database Theory, 2016

2015

Static Analysis for Logic-based Dynamic Programs.

Thomas Schwentick, Nils Vortmeier, Thomas Zeume

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2012

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

Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012