Thomas Zeume

From MaRDI portal
Person:509760

Available identifiers

zbMath Open zeume.thomasMaRDI QIDQ509760

List of research outcomes





PublicationDate of PublicationType
The regular languages of first-order logic with one alternation2024-12-06Paper
Dynamic complexity of regular languages: big changes, small work2024-09-25Paper
https://portal.mardi4nfdi.de/entity/Q58742242023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q58742252023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q50941272022-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50284292022-02-09Paper
Dynamic Complexity under Definable Changes2021-11-25Paper
Work-sensitive dynamic complexity of formal languages2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q50028052021-07-28Paper
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic2021-01-21Paper
A More General Theory of Static Approximations for Conjunctive Queries2020-08-06Paper
A more general theory of static approximations for conjunctive queries2020-07-02Paper
A Strategy for Dynamic Programs: Start over and Muddle through2020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q53766632019-05-17Paper
Reachability Is in DynFO2019-02-25Paper
Dynamic Complexity under Definable Changes2018-07-18Paper
Order-Invariance of Two-Variable Logic is Decidable2018-04-23Paper
The dynamic descriptive complexity of \(k\)-clique2017-09-28Paper
Static Analysis for Logic-Based Dynamic Programs2017-08-31Paper
https://portal.mardi4nfdi.de/entity/Q52761942017-07-14Paper
Dynamic conjunctive queries2017-06-30Paper
Small dynamic complexity classes. An investigation into dynamic descriptive complexity2017-02-20Paper
Two-Variable Logic on 2-Dimensional Structures.2017-02-02Paper
Reachability is in DynFO2015-11-04Paper
On the quantifier-free dynamic complexity of reachability2015-01-30Paper
The Dynamic Descriptive Complexity of k-Clique2014-10-14Paper
On the Quantifier-Free Dynamic Complexity of Reachability2013-09-20Paper
Temporal logics on words with multiple data values2012-08-29Paper
Two-variable logic with two order relations2012-04-03Paper
Two-Variable Logic with Two Order Relations2010-09-03Paper
Bounds on Non-surjective Cellular Automata2009-10-16Paper

Research outcomes over time

This page was built for person: Thomas Zeume