Следене
Thomas Schwentick
Thomas Schwentick
Professor of Computer Science, TU Dortmund University
Потвърден имейл адрес: udo.edu
Заглавие
Позовавания
Позовавания
Година
Finite state machines for strings over infinite alphabets
F Neven, T Schwentick, V Vianu
ACM Transactions on Computational Logic (TOCL) 5 (3), 403-435, 2004
3572004
Two-variable logic on data trees and XML reasoning
M Bojańczyk, A Muscholl, T Schwentick, L Segoufin
Journal of the ACM (JACM) 56 (3), 1-48, 2009
2682009
XPath containment in the presence of disjunction, DTDs, and variables
F Neven, T Schwentick
International Conference on Database Theory, 315-329, 2002
2532002
Two-variable logic on words with data
M Bojanczyk, A Muscholl, T Schwentick, L Segoufin, C David
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 7-16, 2006
2462006
Two-variable logic on data words
M Bojańczyk, C David, A Muscholl, T Schwentick, L Segoufin
ACM Transactions on Computational Logic (TOCL) 12 (4), 1-26, 2011
2182011
Expressiveness and complexity of XML Schema
W Martens, F Neven, T Schwentick, GJ Bex
ACM Transactions on Database Systems (TODS) 31 (3), 770-813, 2006
2152006
Automata for XML—a survey
T Schwentick
Journal of Computer and System Sciences 73 (3), 289-315, 2007
1872007
When is the evaluation of conjunctive queries tractable?
M Grohe, T Schwentick, L Segoufin
Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001
1782001
Inference of concise DTDs from XML data
GJ Bex, F Neven, T Schwentick, K Tuyls
Proceedings of the 32nd international conference on Very large data bases …, 2006
1742006
XPath query containment
T Schwentick
ACM SIGMOD Record 33 (1), 101-109, 2004
1602004
Query automata over finite trees
F Neven, T Schwentick
Theoretical Computer Science 275 (1-2), 633-674, 2002
1582002
Expressive and efficient pattern languages for tree-structured data
F Neven, T Schwentick
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000
1522000
On the complexity of equational horn clauses
KN Verma, H Seidl, T Schwentick
International Conference on Automated Deduction, 337-352, 2005
1402005
On the power of polynomial time bit-reductions
U Hertrampf, C Lautemann, T Schwentick, H Vollmer, KW Wagner
[1993] Proceedings of the Eigth Annual Structure in Complexity Theory …, 1993
1361993
Inference of concise regular expressions and DTDs
GJ Bex, F Neven, T Schwentick, S Vansummeren
ACM Transactions on Database Systems (TODS) 35 (2), 1-47, 2010
1292010
Generalized hypertree decompositions: NP-hardness and tractable variants
G Gottlob, Z Miklós, T Schwentick
Journal of the ACM (JACM) 56 (6), 1-32, 2009
1292009
On notions of regularity for data languages
H Björklund, T Schwentick
Theoretical Computer Science 411 (4-5), 702-715, 2010
1212010
Counting in trees for free
H Seidl, T Schwentick, A Muscholl, P Habermehl
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004
1172004
Logics for context-free languages
C Lautemann, T Schwentick, D Thérien
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
1041995
The price of query rewriting in ontology-based data access
G Gottlob, S Kikot, R Kontchakov, V Podolskii, T Schwentick, ...
Artificial Intelligence 213, 42-59, 2014
1032014
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20