Nils Vortmeier

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