1. Martin Mundhenk, Thomas Schneider, Thomas Schwentick and Volker Weber.
    Complexity of hybrid logics over transitive frames.
    J. Applied Logic 8(4):422–440, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/japll/MundhenkSSW10,
    	author = "Martin Mundhenk and Thomas Schneider and Thomas Schwentick and Volker Weber",
    	title = "Complexity of hybrid logics over transitive frames",
    	journal = "J. Applied Logic",
    	year = 2010,
    	volume = 8,
    	number = 4,
    	pages = "422--440",
    	url = "http://dx.doi.org/10.1016/j.jal.2010.08.004",
    	doi = "10.1016/j.jal.2010.08.004",
    	timestamp = "Tue, 18 Nov 2014 21:30:13 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/japll/MundhenkSSW10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    CoRR abs/1010.1139, 2010.
    URL BibTeX

    @article{DBLP:journals/corr/abs-1010-1139,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	journal = "CoRR",
    	year = 2010,
    	volume = "abs/1010.1139",
    	url = "http://arxiv.org/abs/1010.1139",
    	timestamp = "Tue, 18 Nov 2014 21:31:09 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1010-1139",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. 2010, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fsttcs/KaraSZ10,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	booktitle = "{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India",
    	year = 2010,
    	pages = "481--492",
    	crossref = "DBLP:conf/fsttcs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.481",
    	doi = "10.4230/LIPIcs.FSTTCS.2010.481",
    	timestamp = "Tue, 18 Nov 2014 21:30:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/fsttcs/KaraSZ10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Matthias Niewerth and Thomas Schwentick.
    Schema design for XML repositories: complexity and tractability.
    In Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA. 2010, 239–250.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/MartensNS10,
    	author = "Wim Martens and Matthias Niewerth and Thomas Schwentick",
    	title = "Schema design for {XML} repositories: complexity and tractability",
    	booktitle = "Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis, Indiana, {USA}",
    	year = 2010,
    	pages = "239--250",
    	crossref = "DBLP:conf/pods/2010",
    	url = "http://doi.acm.org/10.1145/1807085.1807117",
    	doi = "10.1145/1807085.1807117",
    	timestamp = "Tue, 18 Nov 2014 21:30:47 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/MartensNS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick.
    Foreword – 27th International Symposium on Theoretical Aspects of Computer Science.
    In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 1–6.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/MarionS10,
    	author = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science",
    	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	year = 2010,
    	pages = "1--6",
    	crossref = "DBLP:conf/stacs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2439",
    	doi = "10.4230/LIPIcs.STACS.2010.2439",
    	timestamp = "Tue, 18 Nov 2014 21:30:54 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick.
    Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science.
    In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 7–10.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/MarionS10a,
    	author = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science",
    	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	year = 2010,
    	pages = "7--10",
    	crossref = "DBLP:conf/stacs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2505",
    	doi = "10.4230/LIPIcs.STACS.2010.2505",
    	timestamp = "Tue, 18 Nov 2014 21:30:59 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10a",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick (eds.).
    27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France

    5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
    BibTeX

    @proceedings{DBLP:conf/stacs/2010,
    	editor = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	series = "LIPIcs",
    	year = 2010,
    	volume = 5,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-939897-16-3",
    	timestamp = "Tue, 18 Nov 2014 21:31:04 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/2010",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Eiter, Georg Gottlob and Thomas Schwentick.
    The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.
    In Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. 2010, 227–250.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/EiterGS10,
    	author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick",
    	title = "The Model Checking Problem for Prefix Classes of Second-Order Logic: {A} Survey",
    	booktitle = "Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday",
    	year = 2010,
    	pages = "227--250",
    	crossref = "DBLP:conf/birthday/2010gurevich",
    	url = "http://dx.doi.org/10.1007/978-3-642-15025-8_13",
    	doi = "10.1007/978-3-642-15025-8_13",
    	timestamp = "Tue, 18 Nov 2014 21:30:30 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/EiterGS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens, Nicole Schweikardt and Thomas Schwentick.
    Logik und Automaten: ein echtes Dreamteam.
    Informatik Spektrum 33(5):452–461, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/insk/BjorklundMSS10,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Nicole Schweikardt and Thomas Schwentick},
    	title = "Logik und Automaten: ein echtes Dreamteam",
    	journal = "Informatik Spektrum",
    	year = 2010,
    	volume = 33,
    	number = 5,
    	pages = "452--461",
    	url = "http://dx.doi.org/10.1007/s00287-010-0465-z",
    	doi = "10.1007/s00287-010-0465-z",
    	timestamp = "Tue, 18 Nov 2014 21:30:08 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/insk/BjorklundMSS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Thomas Zeume.
    Two-Variable Logic with Two Order Relations - (Extended Abstract).
    In Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. 2010, 499–513.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickZ10,
    	author = "Thomas Schwentick and Thomas Zeume",
    	title = "Two-Variable Logic with Two Order Relations - (Extended Abstract)",
    	booktitle = "Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings",
    	year = 2010,
    	pages = "499--513",
    	crossref = "DBLP:conf/csl/2010",
    	url = "http://dx.doi.org/10.1007/978-3-642-15205-4_38",
    	doi = "10.1007/978-3-642-15205-4_38",
    	timestamp = "Tue, 18 Nov 2014 21:30:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickZ10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Geert Jan Bex, Frank Neven, Thomas Schwentick and Stijn Vansummeren.
    Inference of concise regular expressions and DTDs.
    ACM Trans. Database Syst. 35(2), 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/BexNSV10,
    	author = "Geert Jan Bex and Frank Neven and Thomas Schwentick and Stijn Vansummeren",
    	title = "Inference of concise regular expressions and DTDs",
    	journal = "{ACM} Trans. Database Syst.",
    	year = 2010,
    	volume = 35,
    	number = 2,
    	url = "http://doi.acm.org/10.1145/1735886.1735890",
    	doi = "10.1145/1735886.1735890",
    	timestamp = "Tue, 18 Nov 2014 21:30:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tods/BexNSV10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Henrik Björklund.
    Volker Weber.
    Journal of Logic, Language and Information 18(4):433, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jolli/SchwentickB09,
    	author = {Thomas Schwentick and Henrik Bj{\"{o}}rklund},
    	title = "Volker Weber",
    	journal = "Journal of Logic, Language and Information",
    	year = 2009,
    	volume = 18,
    	number = 4,
    	pages = 433,
    	url = "http://dx.doi.org/10.1007/s10849-009-9097-6",
    	doi = "10.1007/s10849-009-9097-6",
    	timestamp = "Tue, 18 Nov 2014 21:31:26 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jolli/SchwentickB09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Dan Suciu.
    Foreword.
    Theory Comput. Syst. 44(4):501–502, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/SchwentickS09,
    	author = "Thomas Schwentick and Dan Suciu",
    	title = "Foreword",
    	journal = "Theory Comput. Syst.",
    	year = 2009,
    	volume = 44,
    	number = 4,
    	pages = "501--502",
    	url = "http://dx.doi.org/10.1007/s00224-008-9156-4",
    	doi = "10.1007/s00224-008-9156-4",
    	timestamp = "Tue, 18 Nov 2014 21:31:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/SchwentickS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Martin Lange, Thomas Schwentick and Volker Weber.
    On the Hybrid Extension of CTL and CTL+.
    CoRR abs/0906.2541, 2009.
    URL BibTeX

    @article{DBLP:journals/corr/abs-0906-2541,
    	author = "Ahmet Kara and Martin Lange and Thomas Schwentick and Volker Weber",
    	title = "On the Hybrid Extension of {CTL} and {CTL+}",
    	journal = "CoRR",
    	year = 2009,
    	volume = "abs/0906.2541",
    	url = "http://arxiv.org/abs/0906.2541",
    	timestamp = "Tue, 18 Nov 2014 21:31:55 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0906-2541",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The Dynamic Complexity of Formal Languages.
    In 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. 2009, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/GeladeMS09,
    	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
    	title = "The Dynamic Complexity of Formal Languages",
    	booktitle = "26th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings",
    	year = 2009,
    	pages = "481--492",
    	crossref = "DBLP:conf/stacs/2009",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1829",
    	doi = "10.4230/LIPIcs.STACS.2009.1829",
    	timestamp = "Tue, 18 Nov 2014 21:31:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/GeladeMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello and Thomas Schwentick.
    Tree Projections: Game Characterization and Computational Aspects.
    In Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. 2009, 217–226.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/GottlobGMSS09,
    	author = "Georg Gottlob and Gianluigi Greco and Zolt{\'{a}}n Mikl{\'{o}}s and Francesco Scarcello and Thomas Schwentick",
    	title = "Tree Projections: Game Characterization and Computational Aspects",
    	booktitle = "Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday",
    	year = 2009,
    	pages = "217--226",
    	crossref = "DBLP:conf/birthday/2009golumbic",
    	url = "http://dx.doi.org/10.1007/978-3-642-02029-2_21",
    	doi = "10.1007/978-3-642-02029-2_21",
    	timestamp = "Tue, 18 Nov 2014 21:31:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/GottlobGMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2008

2007

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees.
    J. Comput. Syst. Sci. 77(3):450–472, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/jcss/BjorklundMS11,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees",
    	journal = "J. Comput. Syst. Sci.",
    	year = 2011,
    	volume = 77,
    	number = 3,
    	pages = "450--472",
    	url = "http://dx.doi.org/10.1016/j.jcss.2010.04.005",
    	doi = "10.1016/j.jcss.2010.04.005",
    	timestamp = "Tue, 18 Nov 2014 21:29:00 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jcss/BjorklundMS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund and Thomas Schwentick.
    On notions of regularity for data languages.
    Theor. Comput. Sci. 411(4-5):702–715, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tcs/BjorklundS10,
    	author = {Henrik Bj{\"{o}}rklund and Thomas Schwentick},
    	title = "On notions of regularity for data languages",
    	journal = "Theor. Comput. Sci.",
    	year = 2010,
    	volume = 411,
    	number = "4-5",
    	pages = "702--715",
    	url = "http://dx.doi.org/10.1016/j.tcs.2009.10.009",
    	doi = "10.1016/j.tcs.2009.10.009",
    	timestamp = "Tue, 18 Nov 2014 21:30:19 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tcs/BjorklundS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }