!!Franz Bader - Publications More than 200 publications (books and book chapters; refereed conferences and journals). H-Index: 57 according to GoogleScholar (January 16, 2016). CiteseerX `Most cited computer science authors' list: number 653 (May 20, 2012). Highly cited books according to GoogleScholar: The Description Logic Handbook cited more than 8000 times; Term Rewriting and All That cited more than 2800 times. Both are the standard references in the respective field. \\ \\ __20 selected publications from the last 10 years (2005-2014):__ \\ [[1] F. Baader, S. Brandt, and C. Lutz, "Pushing the EL envelope", In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Morgan-Kaufmann Publishers, pp 364-369, 2005. \\ \\ [[2] F. Baader, S. Ghilardi, C. Tinelli, "A new combination procedure for the word problem that generalizes fusion decidability results in modal logics", Information and Computation 204 (10), pp 1413-1452, 2006 \\ \\ [[3] F. Baader, B. Ganter, U. Sattler, B. Sertkaya, "Completing description logic knowledge bases using formal concept analysis", in Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), AAAI Press/The MIT Press, pp 230-235, 2007 \\ \\ [[4] F. Baader, B. Sertkaya, A.-Y. Turhan, "Computing the least common subsumer w.r.t. a background terminology", Journal of Applied Logic 5 (3), pp 392-420, 2007 \\ \\ [[5] F. Baader, S. Ghilardi, "Connecting Many-Sorted Theories", The Journal of Symbolic Logic 72 (2), pp 535-583, 2007 \\ \\ [[6] F. Baader, J. Hladik, R. Peñaloza, "Automata can show PSPACE results for Description Logics", Information and Computation 209 (9-10), pp 1045-1056, 2008 \\ \\ [[7] F. Baader and F. Distel, "A finite basis for the set of EL-implications holding in a finite model", In Proc. 6th International Conference on Formal Concept Analysis (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 46-61, 2008. \\ \\ [[8] S. Schulz, B. Suntisrivaraporn, F. Baader, Martin Boeker, " SNOMED reaching its adolescence: Ontologists' and logicians' health check ", International Journal of Medical Informatics, 78 (Supplement 1), pp 86-94, 2009 \\ \\ [[9] F. Baader, R. Peñaloza, "Axiom pinpointing in general tableaux", Journal of Logic and Computation 20 (1), pp 5-34, 2010 \\ \\ [[10] F. Baader, R. Peñaloza, "Automata-based axiom pinpointing", Journal of Automated Reasoning 45 (2), pp 91-129, 2010 \\ \\ [[11] F. Baader and B. Morawska, "Unification in the description logic EL", Logical Methods in Computer Science 6(3), 2010 \\ \\ [[12] F. Baader, H. Liu, and A. ul Mehdi, "Verifying properties of infinite sequences of description logic actions", In Proc. 19th European Conference on Artificial Intelligence (ECAI 2010), IOS Press, pp 53-58. 2010 \\ \\ [[13] F. Baader and S. Ghilardi, "Unification in modal and description logics", Logic Journal of IGPL 19(6), pp 705–730, 2011 \\ \\ [[14] F. Baader, M. Knechtel, and R. Peñaloza, "Context-dependent views to axioms and consequences of Semantic Web ontologies", J. Web Semantics 12, pp 22-40, 2012 \\ \\ [[15] F. Baader, S. Ghilardi, and C. Lutz, "LTL over description logic axioms", ACM Trans. Comput. Log. 13(3), 2012 \\ \\ [[16] F. Baader and A. Okhotin, "On language equations with one-sided concatenation", Fundamenta Informaticae 126(1), pp 1-35, 2013 \\ \\ [[17] F. Baader, S. Borgwardt, and M. Lippmann, "Temporalizing Ontology-Based Data Access", In Proc. 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 330-344, 2013 \\ \\ [[18] F. Baader and B. Zarrieß, "Verification of Golog programs over description logic actions", In Proc. 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, Springer-Verlag, pp 181-196, 2013 \\ \\ [[19] F. Baader, "Ontology-Based Monitoring of Dynamic Systems", In Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), AAAI Press, pp 678-681, 2014 \\ \\ [[20] F. Baader, S. Borgwardt, and R. Peñaloza, "On the Decidability Status of Fuzzy ALC with General Concept Inclusions", Journal of Philosophical Logic, 2014. In press