Nils Vortmeier

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Topics

Static Analysis

Qr Decomposition

Top Venues

Publications

Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Query maintenance under batch changes with small-depth circuits. CoRR (2024)
Dan Olteanu, Nils Vortmeier, Dorde Zivanovic
Givens rotations for QR decomposition, SVD and PCA over database joins. VLDB J. 33 (4) (2024)
Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Query Maintenance Under Batch Changes with Small-Depth Circuits. MFCS (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. CoRR (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. MFCS (2024)
Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Regular Languages: Big Changes, Small Work. CSL (2023)
Dan Olteanu, Nils Vortmeier, Dorde Zivanovic
Givens QR Decomposition over Relational Databases. CoRR (2022)
Dan Olteanu, Nils Vortmeier, Dorde Zivanovic
Givens QR Decomposition over Relational Databases. SIGMOD Conference (2022)
Nils Vortmeier, Ioannis Kokkinis
The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. WG (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. CoRR (2021)
Nils Vortmeier, Ioannis Kokkinis
The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. CoRR (2021)
Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Parity Exists Queries. Log. Methods Comput. Sci. 17 (4) (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. FoSSaCS (2021)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Sketches of Dynamic Complexity. SIGMOD Rec. 49 (2) (2020)
Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Parity Exists Queries. CSL (2020)
Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume
Dynamic complexity of Reachability: How many changes can we handle? CoRR (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CSL (2020)
Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Reachability: How Many Changes Can We Handle? ICALP (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CoRR (2019)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle through. Log. Methods Comput. Sci. 15 (2) (2019)
Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Parity Exists Queries. CoRR (2019)
Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume
Reachability and Distances under Multiple Changes. ICALP (2018)
Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume
Reachability and Distances under Multiple Changes. CoRR (2018)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. ACM Trans. Database Syst. 43 (3) (2018)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. CoRR (2017)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle Through. ICALP (2017)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle through. CoRR (2017)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. ICDT (2017)
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
Dynamic Graph Queries. ICDT (2016)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Static Analysis for Logic-Based Dynamic Programs. CoRR (2015)
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
Dynamic Graph Queries. CoRR (2015)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Static Analysis for Logic-based Dynamic Programs. CSL (2015)
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
BeatTheBeat music-based procedural content generation in a mobile game. CIG (2012)