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 Schwentick
SearchCollections
Map detail
Thomas Schwentick13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas SchwentickAThomas SchwentickResearcherA note on the expressive power of linear ordersWA note on the expressiv...preprint / 2011Two-Variable Logic with Two Order RelationsWTwo-Variable Logic with...preprint / 2012Static Analysis for Logic-Based Dynamic ProgramsWStatic Analysis for Log...preprint / 2015Work-sensitive Dynamic Complexity of Formal LanguagesWWork-sensitive Dynamic ...preprint / 2021Rewriting Ontological Queries into Small Nonrecursive Datalog ProgramsWRewriting Ontological Q...preprint / 2011A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder SuccessorWA Short Note on Two-Var...preprint / 2013Games for Active XML RevisitedWGames for Active XML Re...preprint / 2014On the quantifier-free dynamic complexity of ReachabilityWOn the quantifier-free ...preprint / 2015Temporal Logics on Words with Multiple Data ValuesWTemporal Logics on Word...preprint / 2010Feasible Automata for Two-Variable Logic with Successor on Data WordsWFeasible Automata for T...preprint / 2011Distribution Constraints: The Chase for Distributed DataWDistribution Constraint...preprint / 2020On optimum left-to-right strategies for active context-free gamesWOn optimum left-to-righ...preprint / 2012
Person12 links

Thomas Schwentick

Researcher

PaperA note on the expressive power of linear ordersAuthorship / preprint / 2011PaperTwo-Variable Logic with Two Order RelationsAuthorship / preprint / 2012PaperStatic Analysis for Logic-Based Dynamic ProgramsAuthorship / preprint / 2015PaperWork-sensitive Dynamic Complexity of Formal LanguagesAuthorship / preprint / 2021PaperRewriting Ontological Queries into Small Nonrecursive Datalog ProgramsAuthorship / preprint / 2011PaperA Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder SuccessorAuthorship / preprint / 2013PaperGames for Active XML RevisitedAuthorship / preprint / 2014PaperOn the quantifier-free dynamic complexity of ReachabilityAuthorship / 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)