Concepedia

Thomas Schwentick

TS

57

Publications

3.2K

Citations

30

H-Index

1995

Active since

Affiliations

TU Dortmund University(Current)

Transnational University Limburg

Hasselt University

Philipps University of Marburg

Institut national de recherche en sciences et technologies du numérique

Thomas Schwentick is an author at TU Dortmund University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationData ScienceComputational ComplexitySemanticsSemantic WebDiscrete Mathematics

Publications per year

1995–2018

57

Publications

57

Finite state machines for strings over infinite alphabets

Frank Neven, Thomas Schwentick, Victor Vianu · ACM Transactions on Computational Logic · 2004 · 266 citations

Combinatorics On Word, Logical Automaton, Engineering +14

Two-Variable Logic on Words with Data

Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick et al. · 2006 · 173 citations · Full text

Engineering, Reachability Problem, Petri Net Reachability +21

Expressiveness and complexity of XML Schema

Wim Martens, Frank Neven, Thomas Schwentick et al. · ACM Transactions on Database Systems · 2006 · 163 citations · Full text

Xml Library, Xml Transformation, Xml Database +14

When is the evaluation of conjunctive queries tractable?

Martin Grohe, Thomas Schwentick, Luc Segoufin · 2001 · 161 citations

Engineering, Computational Complexity, Underlying Graph +18

Two-variable logic on data trees and XML reasoning

Anca Muscholl, Thomas Schwentick, Luc Segoufin · Journal of the ACM · 2009 · 144 citations

Engineering, Data Science, Automated Reasoning +15

Rows per page

1–5 of 57