Thomas Zeume

Available identifiers

zbMath Open zeume.thomasMaRDI QIDQ509760

List of research outcomes

Publication	Date of Publication	Type
The regular languages of first-order logic with one alternation	2024-12-06	Paper
Dynamic complexity of regular languages: big changes, small work	2024-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q5874224	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5874225	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5094127	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5028429	2022-02-09	Paper
Dynamic complexity under definable changes	2021-11-25	Paper
Work-sensitive dynamic complexity of formal languages	2021-10-18	Paper
Reachability and distances under multiple changes	2021-07-28	Paper
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic	2021-01-21	Paper
A more general theory of static approximations for conjunctive queries	2020-08-06	Paper
A more general theory of static approximations for conjunctive queries	2020-07-02	Paper
A strategy for dynamic programs: start over and muddle through	2020-05-27	Paper
A strategy for dynamic programs: start over and muddle through	2019-05-17	Paper
Reachability is in DynFO	2019-02-25	Paper
Dynamic Complexity under Definable Changes	2018-07-18	Paper
Order-invariance of two-variable logic is decidable	2018-04-23	Paper
The dynamic descriptive complexity of \(k\)-clique	2017-09-28	Paper
Static analysis for logic-based dynamic programs	2017-08-31	Paper
Dynamic graph queries	2017-07-14	Paper
Dynamic conjunctive queries	2017-06-30	Paper
Small dynamic complexity classes. An investigation into dynamic descriptive complexity	2017-02-20	Paper
Two-variable logic on 2-dimensional structures	2017-02-02	Paper
Reachability is in DynFO	2015-11-04	Paper
On the quantifier-free dynamic complexity of reachability	2015-01-30	Paper
The dynamic descriptive complexity of \(k\)-clique	2014-10-14	Paper
On the Quantifier-Free Dynamic Complexity of Reachability	2013-09-20	Paper
Temporal logics on words with multiple data values	2012-08-29	Paper
Two-variable logic with two order relations	2012-04-03	Paper
Two-variable logic with two order relations (extended abstract)	2010-09-03	Paper
Bounds on Non-surjective Cellular Automata	2009-10-16	Paper

Research outcomes over time

This page was built for person: Thomas Zeume