Conjugacy classes and centralisers in wreath products. - Dominik Bernhardt; Alice C. Niemeyer; Friedrich Rober; Lucas Wollenhaupt (J. Symb. Comput., 2022)

Methodical and Formally Verified Model-Driven Architecture Refactoring. - Lars Fischer; Hendrik Kausch; Bernhard Rumpe; Max Stachon; Sebastian Stüber; Lucas Wollenhaupt (J. Object Technol., 2025)

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2. - Hendrik Kausch; Mathias Pfeiffer; Deni Raco; Bernhard Rumpe; Sebastian Stüber; Lucas Wollenhaupt (Shaker, 2025)