bibliographer - Thomas Zeume

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Algebraic Characterizations of Classes of Regular Languages in DynFO Corentin Barloy Felix Tschirbs Nils Vortmeier Thomas Zeume [github]

Specification and Automatic Verification of Computational Reductions Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume [github]

The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume [github]

The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume [github]

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruńczyk Thomas Zeume [github]

Dynamic Complexity of Reachability: How Many Changes Can We Handle Samir Datta Pankaj Kumar Anish Mukherjee Anuj Tawari Nils Vortmeier Thomas Zeume [github]

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruundefinedczyk Thomas Zeume [github]

Order-Invariance of Two-Variable Logic is Decidable Thomas Zeume Frederik Harwath [github]

Dynamic complexity Thomas Schwentick Thomas Zeume [github]

Reachability Is in DynFO Samir Datta Raghav Kulkarni Anish Mukherjee Thomas Schwentick Thomas Zeume [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]