1. Amaldev Manuel, Thomas Schwentick and Thomas Zeume.
    A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
    CoRR abs/1306.3418, 2013.
    URL BibTeX

    @article{DBLP:journals/corr/ManuelSZ13,
    	author = "Amaldev Manuel and Thomas Schwentick and Thomas Zeume",
    	title = "A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor",
    	journal = "CoRR",
    	year = 2013,
    	volume = "abs/1306.3418",
    	url = "http://arxiv.org/abs/1306.3418",
    	timestamp = "Tue, 18 Nov 2014 21:27:13 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ManuelSZ13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christoph Dürr and Thomas Schwentick.
    Preface of Special Issue on Theoretical Aspects of Computer Science.
    Theory Comput. Syst. 53(2):123–125, 2013.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/DurrS13,
    	author = {Christoph D{\"{u}}rr and Thomas Schwentick},
    	title = "Preface of Special Issue on Theoretical Aspects of Computer Science",
    	journal = "Theory Comput. Syst.",
    	year = 2013,
    	volume = 53,
    	number = 2,
    	pages = "123--125",
    	url = "http://dx.doi.org/10.1007/s00224-013-9467-y",
    	doi = "10.1007/s00224-013-9467-y",
    	timestamp = "Tue, 18 Nov 2014 21:26:01 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/DurrS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2012

  1. Thomas Schwentick and Thomas Zeume.
    Two-Variable Logic with Two Order Relations.
    Logical Methods in Computer Science 8(1), 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/corr/abs-1110-1439,
    	author = "Thomas Schwentick and Thomas Zeume",
    	title = "Two-Variable Logic with Two Order Relations",
    	journal = "Logical Methods in Computer Science",
    	year = 2012,
    	volume = 8,
    	number = 1,
    	url = "http://dx.doi.org/10.2168/LMCS-8(1:15)2012",
    	doi = "10.2168/LMCS-8(1:15)2012",
    	timestamp = "Tue, 18 Nov 2014 21:27:20 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1110-1439",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick.
    Theoretical Aspects of Computer Science.
    Theory Comput. Syst. 51(2):123–124, 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/MarionS12,
    	author = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "Theoretical Aspects of Computer Science",
    	journal = "Theory Comput. Syst.",
    	year = 2012,
    	volume = 51,
    	number = 2,
    	pages = "123--124",
    	url = "http://dx.doi.org/10.1007/s00224-012-9401-8",
    	doi = "10.1007/s00224-012-9401-8",
    	timestamp = "Tue, 18 Nov 2014 21:27:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/MarionS12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Frank Neven, Matthias Niewerth and Thomas Schwentick.
    Developing and Analyzing XSDs through BonXai.
    PVLDB 5(12):1994–1997, 2012.
    URL BibTeX

    @article{DBLP:journals/pvldb/MartensNNS12,
    	author = "Wim Martens and Frank Neven and Matthias Niewerth and Thomas Schwentick",
    	title = "Developing and Analyzing XSDs through BonXai",
    	journal = "{PVLDB}",
    	year = 2012,
    	volume = 5,
    	number = 12,
    	pages = "1994--1997",
    	url = "http://vldb.org/pvldb/vol5/p1994_wimmartens_vldb2012.pdf",
    	timestamp = "Tue, 18 Nov 2014 21:27:29 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/pvldb/MartensNNS12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The dynamic complexity of formal languages.
    ACM Trans. Comput. Log. 13(3):19, 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/tocl/GeladeMS12,
    	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
    	title = "The dynamic complexity of formal languages",
    	journal = "{ACM} Trans. Comput. Log.",
    	year = 2012,
    	volume = 13,
    	number = 3,
    	pages = 19,
    	url = "http://doi.acm.org/10.1145/2287718.2287719",
    	doi = "10.1145/2287718.2287719",
    	timestamp = "Tue, 18 Nov 2014 21:27:45 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tocl/GeladeMS12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    Foundations of XML Based on Logic and Automata: A Snapshot.
    In Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. 2012, 23–33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/foiks/Schwentick12,
    	author = "Thomas Schwentick",
    	title = "Foundations of {XML} Based on Logic and Automata: {A} Snapshot",
    	booktitle = "Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings",
    	year = 2012,
    	pages = "23--33",
    	crossref = "DBLP:conf/foiks/2012",
    	url = "http://dx.doi.org/10.1007/978-3-642-28472-4_2",
    	doi = "10.1007/978-3-642-28472-4_2",
    	timestamp = "Tue, 18 Nov 2014 21:27:53 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/foiks/Schwentick12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob and Thomas Schwentick.
    Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.
    In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. 2012.
    URL BibTeX

    @inproceedings{DBLP:conf/kr/GottlobS12,
    	author = "Georg Gottlob and Thomas Schwentick",
    	title = "Rewriting Ontological Queries into Small Nonrecursive Datalog Programs",
    	booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012",
    	year = 2012,
    	crossref = "DBLP:conf/kr/2012",
    	url = "http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4510",
    	timestamp = "Tue, 18 Nov 2014 21:28:02 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/kr/GottlobS12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Tony Tan.
    Feasible Automata for Two-Variable Logic with Successor on Data Words.
    In Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012, 351–362.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/lata/KaraST12,
    	author = "Ahmet Kara and Thomas Schwentick and Tony Tan",
    	title = "Feasible Automata for Two-Variable Logic with Successor on Data Words",
    	booktitle = "Language and Automata Theory and Applications - 6th International Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012. Proceedings",
    	year = 2012,
    	pages = "351--362",
    	crossref = "DBLP:conf/lata/2012",
    	url = "http://dx.doi.org/10.1007/978-3-642-28332-1_30",
    	doi = "10.1007/978-3-642-28332-1_30",
    	timestamp = "Tue, 18 Nov 2014 21:28:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/KaraST12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2011

  1. Nicole Schweikardt and Thomas Schwentick.
    A note on the expressive power of linear orders.
    Logical Methods in Computer Science 7(4), 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/corr/abs-1111-5901,
    	author = "Nicole Schweikardt and Thomas Schwentick",
    	title = "A note on the expressive power of linear orders",
    	journal = "Logical Methods in Computer Science",
    	year = 2011,
    	volume = 7,
    	number = 4,
    	url = "http://dx.doi.org/10.2168/LMCS-7(4:7)2011",
    	doi = "10.2168/LMCS-7(4:7)2011",
    	timestamp = "Tue, 18 Nov 2014 21:28:48 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1111-5901",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara and Thomas Schwentick.
    Expressiveness of Hybrid Temporal Logic on Data Words.
    Electr. Notes Theor. Comput. Sci. 278:115–128, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/entcs/KaraS11,
    	author = "Ahmet Kara and Thomas Schwentick",
    	title = "Expressiveness of Hybrid Temporal Logic on Data Words",
    	journal = "Electr. Notes Theor. Comput. Sci.",
    	year = 2011,
    	volume = 278,
    	pages = "115--128",
    	url = "http://dx.doi.org/10.1016/j.entcs.2011.10.010",
    	doi = "10.1016/j.entcs.2011.10.010",
    	timestamp = "Tue, 18 Nov 2014 21:28:54 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/entcs/KaraS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Christoph Dürr.
    Frontmatter, Table of Contents, Preface, Conference Organization.
    In 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. 2011.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/SchwentickD11,
    	author = {Thomas Schwentick and Christoph D{\"{u}}rr},
    	title = "Frontmatter, Table of Contents, Preface, Conference Organization",
    	booktitle = "28th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2011, March 10-12, 2011, Dortmund, Germany",
    	year = 2011,
    	crossref = "DBLP:conf/stacs/2011",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2011.i",
    	doi = "10.4230/LIPIcs.STACS.2011.i",
    	timestamp = "Tue, 18 Nov 2014 21:29:29 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/SchwentickD11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Maurizio Lenzerini and Thomas Schwentick (eds.).
    Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece

    . ACM, 2011.
    URL BibTeX

    @proceedings{DBLP:conf/pods/2011,
    	editor = "Maurizio Lenzerini and Thomas Schwentick",
    	title = "Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens, Greece",
    	year = 2011,
    	publisher = "{ACM}",
    	url = "http://dl.acm.org/citation.cfm?id=1989284",
    	isbn = "978-1-4503-0660-7",
    	timestamp = "Tue, 18 Nov 2014 21:29:35 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/2011",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Christoph Dürr (eds.).
    28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany

    9. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011.
    BibTeX

    @proceedings{DBLP:conf/stacs/2011,
    	editor = {Thomas Schwentick and Christoph D{\"{u}}rr},
    	title = "28th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2011, March 10-12, 2011, Dortmund, Germany",
    	series = "LIPIcs",
    	year = 2011,
    	volume = 9,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-939897-25-5",
    	timestamp = "Tue, 18 Nov 2014 21:29:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/2011",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob and Thomas Schwentick.
    Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.
    CoRR abs/1106.3767, 2011.
    URL BibTeX

    @article{DBLP:journals/corr/abs-1106-3767,
    	author = "Georg Gottlob and Thomas Schwentick",
    	title = "Rewriting Ontological Queries into Small Nonrecursive Datalog Programs",
    	journal = "CoRR",
    	year = 2011,
    	volume = "abs/1106.3767",
    	url = "http://arxiv.org/abs/1106.3767",
    	timestamp = "Tue, 18 Nov 2014 21:29:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1106-3767",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Serge Abiteboul, Alin Deutsch, Thomas Schwentick and Luc Segoufin.
    Foundations of distributed data management (Dagstuhl Seminar 11421).
    Dagstuhl Reports 1(10):37–57, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/dagstuhl-reports/AbiteboulDSS11,
    	author = "Serge Abiteboul and Alin Deutsch and Thomas Schwentick and Luc Segoufin",
    	title = "Foundations of distributed data management (Dagstuhl Seminar 11421)",
    	journal = "Dagstuhl Reports",
    	year = 2011,
    	volume = 1,
    	number = 10,
    	pages = "37--57",
    	url = "http://dx.doi.org/10.4230/DagRep.1.10.37",
    	doi = "10.4230/DagRep.1.10.37",
    	timestamp = "Tue, 18 Nov 2014 21:30:02 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/dagstuhl-reports/AbiteboulDSS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Two-variable logic and key constraints on data words.
    In Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings. 2011, 138–149.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NiewerthS11,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Two-variable logic and key constraints on data words",
    	booktitle = "Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings",
    	year = 2011,
    	pages = "138--149",
    	crossref = "DBLP:conf/icdt/2011",
    	url = "http://doi.acm.org/10.1145/1938551.1938571",
    	doi = "10.1145/1938551.1938571",
    	timestamp = "Tue, 18 Nov 2014 21:29:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/NiewerthS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  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"
    }