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. 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. Patrick Krümpelmann and Gabriele Kern-Isberner.
    Secrecy preserving BDI Agents based on Answerset Programming.
    In Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13) 8076. 2013, 124–137.
    BibTeX

    @inproceedings{kruempelmann2013mates,
    	author = {Kr\"umpelmann, Patrick and Kern-Isberner, Gabriele},
    	booktitle = "Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "own, agents, a5, secrecy, secrecy preserving agents, a5miss",
    	pages = "124--137",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	title = "Secrecy preserving {BDI} {A}gents based on {A}nswerset {P}rogramming",
    	volume = 8076,
    	year = 2013,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QZi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZtIXCxgZV05TLmRhdGFPEQJYAAAAAAJYAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xSEVa3JcInVtcGVsbWFubjIwMTMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMVBrM/2md4AAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAADWtyXCJ1bXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz/Z9vgAAAAEAKAC4xSEAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCOTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyXCJ1bXBlbG1hbm46AGtyXCJ1bXBlbG1hbm4yMDEzLnBkZgAOACwAFQBrAHIAXAAiAHUAbQBwAGUAbABtAGEAbgBuADIAMAAxADMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgD3APwBBANgA2IDZwNyA3sDiQONA5QDnQOiA68DsgPEA8cDzAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAPO"
    }
    

  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. Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.
    Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
    In Michael Hanus and Ricardo Rocha (eds.). Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013). 0.
    BibTeX

    @inproceedings{albrecht2013fk,
    	author = {Ella Albrecht and Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
    	booktitle = "Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Hanus, Michael and Rocha, Ricardo",
    	keywords = "own, a5miss",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	title = "Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs",
    	year = "to appear",
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QXC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRm0hcLGBlXTlMuZGF0YU8RAjQAAAAAAjQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAANDemRBhbGJyZWNodDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAwargz+AUlQAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAIYWxicmVjaHQAEAAIAADKQOnsAAAAEQAIAADP3/h1AAAAAQAoANDemQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIRNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYWxicmVjaHQ6AGFsYnJlY2h0MjAxNC5wZGYADgAiABAAYQBsAGIAcgBlAGMAaAB0ADIAMAAxADQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAG1Vc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAO0A8gD6AzIDNAM5A0QDTQNbA18DZgNvA3QDgQOEA5YDmQOeAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6A="
    }
    

  1. Gabriele Kern-Isberner and Christian Eichhorn.
    Intensional combination of rankings for OCF-networks.
    In Chutima Boonthum-Denecke and Michael Youngblood (eds.). Proceedings of the 26th International FLAIRS Conference FLAIRS-2013. 2013, 615–620.
    PDF BibTeX

    @inproceedings{KernIsbernerEichhorn2013,
    	title = "Intensional combination of rankings for {OCF}-networks",
    	author = "Gabriele Kern-Isberner and Christian Eichhorn",
    	booktitle = "Proceedings of the 26th International FLAIRS Conference {FLAIRS}-2013",
    	editor = "Chutima Boonthum-Denecke and Youngblood, Michael",
    	publisher = "{AAAI} Press",
    	pages = "615--620",
    	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/flairs_2013_gki_ce.pdf",
    	year = 2013
    }
    

  1. Patrick Krümpelmann and Gabriele Kern-Isberner.
    On Agent-based Epistemic Secrecy.
    In Riccardo Rossi and Stefan Woltran (eds.). Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12). 2012.
    BibTeX

    @inproceedings{krumpelmann2012,
    	author = {Kr{\"u}mpelmann, Patrick and Kern-Isberner, Gabriele},
    	booktitle = "Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Riccardo Rossi and Stefan Woltran",
    	keywords = "own",
    	title = "On Agent-based Epistemic Secrecy",
    	year = 2012,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMgBjAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAxMmMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xS/Pn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAxMmMucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMQAyAGMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEyYy5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
    }
    

  1. Gabriele Kern-Isberner and Christian Eichhorn.
    OCF-Networks with missing values.
    In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013). 2013, 46–60.
    PDF BibTeX

    @inproceedings{KernIsbernerEichhorn2013b,
    	title = "OCF-Networks with missing values",
    	author = "Gabriele Kern-Isberner and Christian Eichhorn",
    	booktitle = "Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013)",
    	editor = "Christoph Beierle AND Gabriele Kern-Isberner",
    	publisher = {{FernUniversit\"{a}t in Hagen}},
    	pages = "46--60",
    	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/dkb_2013_gki_ce.pdf",
    	year = 2013
    }
    

  1. Gabriele Kern-Isberner and Christian Eichhorn.
    Structural Inference from Conditional Knowledge Bases.
    In Matthias Unterhuber and Gerhard Schurz (eds.). Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments. Number 102 (4), Springer Science+Business Media, August 2014, pages 751–769.
    URL, DOI BibTeX

    @incollection{KernIsbernerEichhorn2013c,
    	title = "Structural Inference from Conditional Knowledge Bases",
    	author = "Gabriele Kern-Isberner and Christian Eichhorn",
    	booktitle = "Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments",
    	editor = "Matthias Unterhuber AND Gerhard Schurz",
    	publisher = "Springer Science+Business Media",
    	address = "Dordrecht, NL",
    	month = "August",
    	number = "102 (4)",
    	doi = "10.1007/s11225-013-9503-6",
    	pages = "751--769",
    	url = "http://link.springer.com/article/10.1007/2Fs11225-013-9503-6",
    	year = 2014
    }
    

  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. Luciano H Tamargo, Alejandro J Garcia, Matthias Thimm and Patrick Krümpelmann.
    Argumentative Credibility-based Revision in Multi-Agent Systems.
    In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). 2012.
    BibTeX

    @inproceedings{tamargo2012asai,
    	author = {Tamargo, Luciano H. and Garcia, Alejandro J. and Thimm, Matthias and Kr\"umpelmann, Patrick},
    	booktitle = "Proceedings of the 13th Argentine Symposium on Artificial Intelligence ({ASAI}'12)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "own, 2012, proalar",
    	publisher = "to appear",
    	title = "Argumentative Credibility-based Revision in Multi-Agent Systems",
    	year = 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"
    }