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

  1. Geert Jan Bex, Frank Neven, Thomas Schwentick and Stijn Vansummeren.
    Inference of concise regular expressions and DTDs.
    ACM Trans. Database Syst. 35(2), 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/BexNSV10,
    	author = "Geert Jan Bex and Frank Neven and Thomas Schwentick and Stijn Vansummeren",
    	title = "Inference of concise regular expressions and DTDs",
    	journal = "{ACM} Trans. Database Syst.",
    	year = 2010,
    	volume = 35,
    	number = 2,
    	url = "http://doi.acm.org/10.1145/1735886.1735890",
    	doi = "10.1145/1735886.1735890",
    	timestamp = "Tue, 18 Nov 2014 21:30:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tods/BexNSV10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
    In Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. 2010, 191–210.
    URL, DOI BibTeX

    @inproceedings{Beierle2010a,
    	title = "The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings",
    	year = 2010,
    	pages = "191--210",
    	doi = "10.1007/978-3-642-11829-6_14",
    	url = "http://dx.doi.org/10.1007/978-3-642-11829-6_14"
    }
    

  1. Henrik Björklund and Thomas Schwentick.
    On notions of regularity for data languages.
    Theor. Comput. Sci. 411(4-5):702–715, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tcs/BjorklundS10,
    	author = {Henrik Bj{\"{o}}rklund and Thomas Schwentick},
    	title = "On notions of regularity for data languages",
    	journal = "Theor. Comput. Sci.",
    	year = 2010,
    	volume = 411,
    	number = "4-5",
    	pages = "702--715",
    	url = "http://dx.doi.org/10.1016/j.tcs.2009.10.009",
    	doi = "10.1016/j.tcs.2009.10.009",
    	timestamp = "Tue, 18 Nov 2014 21:30:19 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tcs/BjorklundS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
    In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 2009, 273–280.
    URL, DOI BibTeX

    @inproceedings{Beierle2009,
    	title = "A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings",
    	year = 2009,
    	pages = "273--280",
    	doi = "10.1007/978-3-642-04617-9_35",
    	url = "http://dx.doi.org/10.1007/978-3-642-04617-9_35"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Formal similarities and differences among qualitative conditional semantics.
    Int. J. Approx. Reasoning 50(9):1333–1346, 2009.
    URL, DOI BibTeX

    @article{Beierle2009a,
    	title = "Formal similarities and differences among qualitative conditional semantics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Int. J. Approx. Reasoning",
    	year = 2009,
    	number = 9,
    	pages = "1333--1346",
    	volume = 50,
    	doi = "10.1016/j.ijar.2009.04.006",
    	url = "http://dx.doi.org/10.1016/j.ijar.2009.04.006"
    }
    

2009

  1. Thomas Schwentick and Henrik Björklund.
    Volker Weber.
    Journal of Logic, Language and Information 18(4):433, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jolli/SchwentickB09,
    	author = {Thomas Schwentick and Henrik Bj{\"{o}}rklund},
    	title = "Volker Weber",
    	journal = "Journal of Logic, Language and Information",
    	year = 2009,
    	volume = 18,
    	number = 4,
    	pages = 433,
    	url = "http://dx.doi.org/10.1007/s10849-009-9097-6",
    	doi = "10.1007/s10849-009-9097-6",
    	timestamp = "Tue, 18 Nov 2014 21:31:26 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jolli/SchwentickB09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Dan Suciu.
    Foreword.
    Theory Comput. Syst. 44(4):501–502, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/SchwentickS09,
    	author = "Thomas Schwentick and Dan Suciu",
    	title = "Foreword",
    	journal = "Theory Comput. Syst.",
    	year = 2009,
    	volume = 44,
    	number = 4,
    	pages = "501--502",
    	url = "http://dx.doi.org/10.1007/s00224-008-9156-4",
    	doi = "10.1007/s00224-008-9156-4",
    	timestamp = "Tue, 18 Nov 2014 21:31:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/SchwentickS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Zoltán Miklós and Thomas Schwentick.
    Generalized hypertree decompositions: NP-hardness and tractable variants.
    J. ACM 56(6), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/GottlobMS09,
    	author = "Georg Gottlob and Zolt{\'{a}}n Mikl{\'{o}}s and Thomas Schwentick",
    	title = "Generalized hypertree decompositions: NP-hardness and tractable variants",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 6,
    	url = "http://doi.acm.org/10.1145/1568318.1568320",
    	doi = "10.1145/1568318.1568320",
    	timestamp = "Tue, 18 Nov 2014 21:31:20 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/GottlobMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick and Luc Segoufin.
    Two-variable logic on data trees and XML reasoning.
    J. ACM 56(3), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/BojanczykMSS09,
    	author = "Mikolaj Bojanczyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin",
    	title = "Two-variable logic on data trees and {XML} reasoning",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 3,
    	url = "http://doi.acm.org/10.1145/1516512.1516515",
    	doi = "10.1145/1516512.1516515",
    	timestamp = "Tue, 18 Nov 2014 21:31:15 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/BojanczykMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Martin Lange, Thomas Schwentick and Volker Weber.
    On the Hybrid Extension of CTL and CTL+.
    CoRR abs/0906.2541, 2009.
    URL BibTeX

    @article{DBLP:journals/corr/abs-0906-2541,
    	author = "Ahmet Kara and Martin Lange and Thomas Schwentick and Volker Weber",
    	title = "On the Hybrid Extension of {CTL} and {CTL+}",
    	journal = "CoRR",
    	year = 2009,
    	volume = "abs/0906.2541",
    	url = "http://arxiv.org/abs/0906.2541",
    	timestamp = "Tue, 18 Nov 2014 21:31:55 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0906-2541",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The Dynamic Complexity of Formal Languages.
    In 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. 2009, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/GeladeMS09,
    	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
    	title = "The Dynamic Complexity of Formal Languages",
    	booktitle = "26th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings",
    	year = 2009,
    	pages = "481--492",
    	crossref = "DBLP:conf/stacs/2009",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1829",
    	doi = "10.4230/LIPIcs.STACS.2009.1829",
    	timestamp = "Tue, 18 Nov 2014 21:31:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/GeladeMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello and Thomas Schwentick.
    Tree Projections: Game Characterization and Computational Aspects.
    In Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. 2009, 217–226.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/GottlobGMSS09,
    	author = "Georg Gottlob and Gianluigi Greco and Zolt{\'{a}}n Mikl{\'{o}}s and Francesco Scarcello and Thomas Schwentick",
    	title = "Tree Projections: Game Characterization and Computational Aspects",
    	booktitle = "Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday",
    	year = 2009,
    	pages = "217--226",
    	crossref = "DBLP:conf/birthday/2009golumbic",
    	url = "http://dx.doi.org/10.1007/978-3-642-02029-2_21",
    	doi = "10.1007/978-3-642-02029-2_21",
    	timestamp = "Tue, 18 Nov 2014 21:31:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/GottlobGMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2008

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.)
    .
    Vieweg, 2008.
    URL BibTeX

    @book{Beierle2008b,
    	title = "Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen {(4.} Aufl.)",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	publisher = "Vieweg",
    	year = 2008,
    	isbn = "978-3-8348-0504-1",
    	url = "http://www.viewegteubner.de/index.php;do=show/sid=ed580693f2c3bf44840f358450092436/site=v/book_id=16313"
    }