F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Virtual, September 26--28, 2022, volume 13752 of Lecture Notes in Computer Science, page 227--243. Springer, (2022)
F. Baader, and F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, and F. Kriegel. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, page 22--32. (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, volume 13261 of Lecture Notes in Computer Science, page 130--146. Springer, (2022)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia, page 974--982. Association for Computing Machinery, (2023)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)
F. Baader, P. Koopmann, and F. Kriegel. LTCS-Report, 23-03. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2023)
F. Baader, P. Koopmann, and F. Kriegel. Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, volume 14281 of Lecture Notes in Computer Science, page 11--34. Springer, (2023)
F. Kriegel. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18--21, 2024, volume 3739 of CEUR Workshop Proceedings, CEUR-WS.org, (2024)
F. Baader, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 24-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2024)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, volume 14589 of Lecture Notes in Computer Science, page 3--22. Springer, (2024)
D. Kiakou, A. Adamopoulos, and N. Scherf. Worldwide Congress on “Genetics, Geriatrics and Neurodegenerative Diseases Research", page 223--230. Springer, (2022)
P. Ebel, K. Gülle, C. Lingenfelder, and A. Vogelsang. Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, page 81--92. (2023)
F. Baader, and R. Wassermann. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, page 94–105. International Joint Conferences on Artificial Intelligence Organization, (November 2024)
P. Ebel, F. Brokhausen, and A. Vogelsang. 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, page 141–150. New York, NY, USA, Association for Computing Machinery, (2020)
P. Ebel, K. Gülle, C. Lingenfelder, and A. Vogelsang. Adjunct Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, New York, NY, USA, Association for Computing Machinery, (2022)
M. Oyshi, S. Vogt, and S. Gumhold. Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, page 1--11. New York, NY, USA, ACM, (April 2023)
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, and M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
A. Hannemann, J. Ewald, L. Seeger, and E. Buchmann. Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV, page 279–293. Berlin, Heidelberg, Springer-Verlag, (2024)
A. Agazzi, J. Lu, and S. Mukherjee. Proceedings of the 40th International Conference on Machine Learning, volume 202 of Proceedings of Machine Learning Research, page 196--227. PMLR, (23--29 Jul 2023)
