Enhancements in formal process description by using a formal method. - Cheng Xin; Lukas Grunau; Mario Thron; Matthias Riedl (Autom., 2023)

General Polyhedral Approximation of two-stage robust linear programming for budgeted uncertainty. - Lukas Grunau; Tim Niemann; Sebastian Stiller (Comput. Oper. Res., 2025)