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
https://portal.mardi4nfdi.de/entity/Q5002805	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
https://portal.mardi4nfdi.de/entity/Q5376663	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
https://portal.mardi4nfdi.de/entity/Q5276194	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	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