BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thomas Zeume
SearchCollections
Map detail
Thomas Zeume13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas ZeumeAThomas ZeumeResearcherOn the quantifier-free dynamic complexity of ReachabilityWOn the quantifier-free ...preprint / 2015Order-Invariance of Two-Variable Logic is DecidableWOrder-Invariance of Two...preprint / 2016The Dynamic Descriptive Complexity of k-CliqueWThe Dynamic Descriptive...preprint / 2016Two-Variable Logic with Two Order RelationsWTwo-Variable Logic with...preprint / 2012A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder SuccessorWA Short Note on Two-Var...preprint / 2013Temporal Logics on Words with Multiple Data ValuesWTemporal Logics on Word...preprint / 2010Static Analysis for Logic-Based Dynamic ProgramsWStatic Analysis for Log...preprint / 2015Dynamic Graph QueriesWDynamic Graph Queriespreprint / 2015The Regular Languages of First-Order Logic with One AlternationWThe Regular Languages o...preprint / 2022Work-sensitive Dynamic Complexity of Formal LanguagesWWork-sensitive Dynamic ...preprint / 2021Dynamic complexity of Reachability: How many changes can we handle?WDynamic complexity of R...preprint / 2020Iltis: Learning Logic in the WebWIltis: Learning Logic i...preprint / 2022
Person12 links

Thomas Zeume

Researcher

PaperOn the quantifier-free dynamic complexity of ReachabilityAuthorship / preprint / 2015PaperOrder-Invariance of Two-Variable Logic is DecidableAuthorship / preprint / 2016PaperThe Dynamic Descriptive Complexity of k-CliqueAuthorship / preprint / 2016PaperTwo-Variable Logic with Two Order RelationsAuthorship / preprint / 2012PaperA Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder SuccessorAuthorship / preprint / 2013PaperTemporal Logics on Words with Multiple Data ValuesAuthorship / preprint / 2010PaperStatic Analysis for Logic-Based Dynamic ProgramsAuthorship / preprint / 2015PaperDynamic Graph QueriesAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)