A universal smart transducer interface: TTP/A. - Hermann Kopetz; Michael Holzmann; Wilfried Elmenreich (Comput. Syst. Sci. Eng., 2001)

Towards Efficient Use of Shared Communication Media in the Timed Model. - Guido Menkhaus; Michael Holzmann; Sebastian Fischmeister; Claudiu Farcas (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Quantum simulation and circuit design for solving multidimensional Poisson equations. - Michael Holzmann; Harald Köstler (CoRR, 2020)

Glacier Calving Front Segmentation Using Attention U-Net. - Michael Holzmann; AmirAbbas Davari; Thorsten Seehaus; Matthias H. Braun; Andreas K. Maier; Vincent Christlein (IGARSS, 2021)