M. Lorenz, T. Amorim, D. Dey, M. Sadeghi, und P. Ebel. Proceedings of the 16th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seite 204–215. New York, NY, USA, Association for Computing Machinery, (2024)
P. Ebel, F. Brokhausen, und A. Vogelsang. 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seite 141–150. New York, NY, USA, Association for Computing Machinery, (2020)
P. Ebel, K. Gülle, C. Lingenfelder, und 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, und S. Gumhold. Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, Seite 1--11. New York, NY, USA, ACM, (April 2023)
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, und 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, Seite 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
A. Hannemann, J. Ewald, L. Seeger, und E. Buchmann. Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV, Seite 279–293. Berlin, Heidelberg, Springer-Verlag, (2024)
A. Agazzi, J. Lu, und S. Mukherjee. Proceedings of the 40th International Conference on Machine Learning, Volume 202 von Proceedings of Machine Learning Research, Seite 196--227. PMLR, (23--29 Jul 2023)
J. Tiemann, M. McGinity, I. Sbalzarini, und U. Günther. Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Systems, New York, NY, USA, Association for Computing Machinery, (2024)
N. Gigante, L. Álvarez, und T. Lyon. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Seite 311--321. IJCAI Inc, (2023)
L. Herrmann, V. Peth, und S. Rudolph. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Volume 288 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
L. Álvarez, S. Rudolph, und H. Straß. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, Seite 333--343. IJCAI Inc, (2023)
C. Lutz, Q. Manière, und R. Nolte. Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)
