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)
