◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Thomas Zeume

36 papers hereh-index 13494 citations64 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author3
  • middle author4
  • last author28

Across the 36 of 36 papers where every author was matched, so the position is known.

fields
  • cs.LO25
  • cs.CY6
  • cs.FL2
  • cs.CC1
  • cs.DB1
  • cs.LG1

identity via Semantic Scholar / OpenAlex

activity
20102026
most citedTwo-Variable Logic with Two Order Relations

49 citations · 106 across the 25 of their papers we have counts for

collaborators
Showing 2017 · cs.LOShow all

3 papers · 2 filters

cs.LO2017★ 12 cited

Dynamic Conjunctive Queries

Thomas Zeume, Thomas Schwentick

The article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immer…

cs.LO2017★ 2 cited

A Strategy for Dynamic Programs: Start over and Muddle through

Samir Datta, Anish Mukherjee, Thomas Schwentick +2

In the setting of DynFO, dynamic programs update the stored result of a query whenever the underlying data changes. This update is expressed in terms of first-order logic. We intro…

cs.LO2017★ 1 cited

Dynamic Complexity under Definable Changes

Thomas Schwentick, Nils Vortmeier, Thomas Zeume

This paper studies dynamic complexity under definable change operations in the DynFO framework by Patnaik and Immerman. It is shown that for changes definable by parameter-free fir…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.