Modular specification and verification of closures in Rust. - Fabian Wolff; Aurel Bílý; Christoph Matheja; Peter Müller 001; Alexander J. Summers (Proc. ACM Program. Lang., 2021)

Effects of an intercultural seminar using telepresence robots on students' cultural intelligence. - Fabian Wolff; Lea-Christin Wickord; Martina Rahe; Claudia M. Quaiser-Pohl (Comput. Educ. X Real., 2023)