Skip to content

Nils Vortmeier

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

9

Active years

2015–2026

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2026LICSDynamic Planar Graph Isomorphism Is in DynFO.Samir Datta, Asif Khan, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2026STACSAlgebraic Characterizations of Classes of Regular Languages in DynFO.Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2024MFCSQuery Maintenance Under Batch Changes with Small-Depth Circuits.Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2024MFCSSpecification and Automatic Verification of Computational Reductions.Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2023CSLDynamic Complexity of Regular Languages: Big Changes, Small Work.Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2022SIGMODGivens QR Decomposition over Relational Databases.Dan Olteanu, Nils Vortmeier, Dorde Zivanovic
2021FOSSACSWork-sensitive Dynamic Complexity of Formal Languages.Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2021WGThe Dynamic Complexity of Acyclic Hypergraph Homomorphisms.Nils Vortmeier, Ioannis Kokkinis
2020CSLDynamic Complexity Meets Parameterised Algorithms.Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2020CSLDynamic Complexity of Parity Exists Queries.Nils Vortmeier, Thomas Zeume
2020ICALPDynamic Complexity of Reachability: How Many Changes Can We Handle?Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume
2018ICALPReachability and Distances under Multiple Changes.Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume
2017ICALPA Strategy for Dynamic Programs: Start over and Muddle Through.Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017ICDTDynamic Complexity under Definable Changes.Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2016ICDTDynamic Graph Queries.Pablo Muoz, Nils Vortmeier, Thomas Zeume
2015CSLStatic Analysis for Logic-based Dynamic Programs.Thomas Schwentick, Nils Vortmeier, Thomas Zeume