Lucas Wollenhaupt

According to our database, Lucas Wollenhaupt authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Aachener Informatik-Berichte, Software Engineering 58, Shaker, ISBN: 978-3-8191-0062-8, 2025

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

2022

Conjugacy classes and centralisers in wreath products.

Dominik Bernhardt, Alice C. Niemeyer, Friedrich Rober, Lucas Wollenhaupt

J. Symb. Comput., 2022