1. Thomas Schwentick.
    The Dynamic Complexity of the Reachability Problem on Graphs.
    In Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 2013, 45.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/rp/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "The Dynamic Complexity of the Reachability Problem on Graphs",
    	booktitle = "Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings",
    	year = 2013,
    	pages = 45,
    	crossref = "DBLP:conf/rp/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-41036-9_5",
    	doi = "10.1007/978-3-642-41036-9_5",
    	timestamp = "Tue, 18 Nov 2014 21:26:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/rp/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
    Dynamic Communicating Automata and Branching High-Level MSCs.
    In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/lata/BolligCHKS13,
    	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
    	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
    	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
    	pages = "177--189",
    	year = 2013,
    	crossref = "DBLP:conf/lata/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
    	doi = "10.1007/978-3-642-37064-9_17",
    	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Validity of Tree Pattern Queries with Respect to Schema Information.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 171–182.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS13,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Validity of Tree Pattern Queries with Respect to Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "171--182",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundMSValidity13.pdf",
    	doi = "10.1007/978-3-642-40313-2_17",
    	timestamp = "Tue, 18 Nov 2014 21:26:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/BjorklundMS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the Quantifier-Free Dynamic Complexity of Reachability.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 837–848.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/ZeumeS13,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the Quantifier-Free Dynamic Complexity of Reachability",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "837--848",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_73",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSQuantifier13.pdf",
    	doi = "10.1007/978-3-642-40313-2_73",
    	timestamp = "Tue, 18 Nov 2014 21:26:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/ZeumeS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    Perspectives of Dynamic Complexity.
    In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/wollic/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "Perspectives of Dynamic Complexity",
    	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
    	year = 2013,
    	pages = 33,
    	crossref = "DBLP:conf/wollic/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
    	doi = "10.1007/978-3-642-39992-3_6",
    	timestamp = "Tue, 18 Nov 2014 21:26:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    Perspectives of Dynamic Complexity.
    In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/wollic/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "Perspectives of Dynamic Complexity",
    	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
    	year = 2013,
    	pages = 33,
    	crossref = "DBLP:conf/wollic/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
    	doi = "10.1007/978-3-642-39992-3_6",
    	timestamp = "Wed, 19 Nov 2014 21:46:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the quantifier-free dynamic complexity of Reachability.
    CoRR abs/1306.3056, 2013.
    URL BibTeX

    @article{DBLP:journals/corr/ZeumeS13,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the quantifier-free dynamic complexity of Reachability",
    	journal = "CoRR",
    	year = 2013,
    	volume = "abs/1306.3056",
    	url = "http://arxiv.org/abs/1306.3056",
    	timestamp = "Tue, 18 Nov 2014 21:27:03 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ZeumeS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

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