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

  1. Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
    A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
    In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
    URL, DOI BibTeX

    @inproceedings{Beierle2013,
    	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
    	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
    	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
    	year = 2013,
    	pages = "49--60",
    	doi = "10.1007/978-3-642-39091-3_5",
    	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
    }
    

  1. Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
    A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
    In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
    URL, DOI BibTeX

    @inproceedings{Beierle2013,
    	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
    	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
    	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
    	year = 2013,
    	pages = "49--60",
    	doi = "10.1007/978-3-642-39091-3_5",
    	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
    }
    

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

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Semantical investigations into nonmonotonic and probabilistic logics.
    Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
    URL, DOI BibTeX

    @article{Beierle2012c,
    	title = "Semantical investigations into nonmonotonic and probabilistic logics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Ann. Math. Artif. Intell.",
    	year = 2012,
    	number = "2-3",
    	pages = "123--158",
    	volume = 65,
    	doi = "10.1007/s10472-012-9310-1",
    	url = "http://dx.doi.org/10.1007/s10472-012-9310-1"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Aspects of Universitarian Distance Teaching and Online Learning.
    KI 26(3):305–306, 2012.
    URL, DOI BibTeX

    @article{Beierle2012a,
    	title = "Aspects of Universitarian Distance Teaching and Online Learning",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "{KI}",
    	year = 2012,
    	number = 3,
    	pages = "305--306",
    	volume = 26,
    	doi = "10.1007/s13218-012-0203-6",
    	url = "http://dx.doi.org/10.1007/s13218-012-0203-6"
    }
    
  1. Christoph Beierle and Gabriele Kern-Isberner.
    Semantical investigations into nonmonotonic and probabilistic logics.
    Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
    URL, DOI BibTeX

    @article{Beierle2012c,
    	title = "Semantical investigations into nonmonotonic and probabilistic logics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Ann. Math. Artif. Intell.",
    	year = 2012,
    	number = "2-3",
    	pages = "123--158",
    	volume = 65,
    	doi = "10.1007/s10472-012-9310-1",
    	url = "http://dx.doi.org/10.1007/s10472-012-9310-1"
    }
    

 

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Conditional Objects Revisited: Variants and Model Translations.
    In Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012. 2012.
    URL BibTeX

    @inproceedings{Beierle2012,
    	title = "Conditional Objects Revisited: Variants and Model Translations",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012",
    	year = 2012,
    	url = "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4370"
    }
    
  1. Christoph Beierle and Gabriele Kern-Isberner.
    Editorial: Relational approaches to knowledge representation and learning.
    Logic Journal of the IGPL 20(5):771–773, 2012.
    URL, DOI BibTeX

    @article{Beierle2012b,
    	title = "Editorial: Relational approaches to knowledge representation and learning",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Logic Journal of the {IGPL}",
    	year = 2012,
    	number = 5,
    	pages = "771--773",
    	volume = 20,
    	doi = "10.1093/jigpal/jzs006",
    	url = "http://dx.doi.org/10.1093/jigpal/jzs006"
    }
    

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