ALX, an Action Logic for Agents with Bounded Rationality. - Zhisheng Huang; Michael Masuch; László Pólos (Artif. Intell., 1996)

A case study in logical deconstruction: Formalizing J.D. Thompson's Organizations in Action in a multi-agent action logic. - Michael Masuch; Zhisheng Huang (Comput. Math. Organ. Theory, 1996)

Regular equivalence and dynamic logic. - Maarten Marx; Michael Masuch (Soc. Networks, 2003)

An Analysis of Black Energy 3, Crashoverride, and Trisis, Three Malware Approaches Targeting Operational Technology Systems. - Marcus Geiger; Jochen Bauer; Michael Masuch; Jörg Franke (ETFA, 2020)