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)
M. Kukushkin, M. Bogdan, and T. Schmid. Sixteenth International Conference on Machine Vision (ICMV 2023), 13072, page 1307202. International Society for Optics and Photonics, SPIE, (2024)
C. Witt, T. Leonhardt, E. Marx, and N. Bergner. Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning, page 73--84. Cham, Springer Nature Switzerland, (2025)
D. Merkle, and P. Stadler. Bioinformatics Research and Applications: 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9--12, 2023, Proceedings, 14248, page 409. Springer Nature, (2023)
