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

2010

  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. Christoph Beierle and Gabriele Kern-Isberner.
    Editorial: Dynamics of knowledge and belief.
    Logic Journal of the IGPL 18(4):485–487, 2010.
    URL, DOI BibTeX

    @article{Beierle2010,
    	title = "Editorial: Dynamics of knowledge and belief",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Logic Journal of the {IGPL}",
    	year = 2010,
    	number = 4,
    	pages = "485--487",
    	volume = 18,
    	doi = "10.1093/jigpal/jzp034",
    	url = "http://dx.doi.org/10.1093/jigpal/jzp034"
    }
    

  1. Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner and Matthias Thimm.
    Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
    In Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010.. 2010, 87–98.
    URL, DOI BibTeX

    @inproceedings{Beierle2010b,
    	title = "Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law",
    	author = "Christoph Beierle and Bernhard Freund and Gabriele Kern{-}Isberner and Matthias Thimm",
    	booktitle = "Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano del Garda, Italy, September 8-10, 2010.",
    	year = 2010,
    	pages = "87--98",
    	doi = "10.3233/978-1-60750-619-5-87",
    	url = "http://dx.doi.org/10.3233/978-1-60750-619-5-87"
    }
    

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