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)
G. Guzman, P. Stadler, and A. Fujita. Journal of Complex Networks, 10 (5):
cnac040(August 2022)\_eprint: https://academic.oup.com/comnet/article-pdf/10/5/cnac040/45499049/cnac040.pdf.
J. Tiemann, M. McGinity, I. Sbalzarini, and 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, and T. Lyon. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 311--321. IJCAI Inc, (2023)
