Thomas Zeume

Available identifiers

zbMath Open zeume.thomasMaRDI QIDQ509760

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Zeume