1. Thomas Zeume.
    The Dynamic Descriptive Complexity of k-Clique.
    In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 2014, 547–558.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/Zeume14,
    	author = "Thomas Zeume",
    	title = "The Dynamic Descriptive Complexity of k-Clique",
    	booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
    	pages = "547--558",
    	year = 2014,
    	url = "http://dx.doi.org/10.1007/978-3-662-44522-8_46",
    	doi = "10.1007/978-3-662-44522-8_46",
    	timestamp = "Wed, 10 Sep 2014 14:53:34 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/Zeume14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic Conjunctive Queries.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 38–49.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/ZeumeS14,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic Conjunctive Queries",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "38--49",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.08",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSDynamic14.pdf",
    	doi = "10.5441/002/icdt.2014.08",
    	timestamp = "Tue, 18 Nov 2014 21:20:16 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/ZeumeS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2013

  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 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. Amaldev Manuel and Thomas Zeume.
    Two-Variable Logic on 2-Dimensional Structures.
    In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. 2013, 484–499.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/ManuelZ13,
    	author = "Amaldev Manuel and Thomas Zeume",
    	title = "Two-Variable Logic on 2-Dimensional Structures",
    	booktitle = "Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5, 2013, Torino, Italy",
    	pages = "484--499",
    	year = 2013,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2013.484",
    	doi = "10.4230/LIPIcs.CSL.2013.484",
    	timestamp = "Wed, 04 Sep 2013 20:26:36 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/ManuelZ13",
    	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"
    }
    

2011

2010

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

2009

2008

2007

2006

2005