Michael Masuch

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 1

Top Topics

Static Analysis

Enabling Technology

Support Systems

Top Venues

Publications

Marcus Geiger, Jochen Bauer, Michael Masuch, Jörg Franke
An Analysis of Black Energy 3, Crashoverride, and Trisis, Three Malware Approaches Targeting Operational Technology Systems. ETFA (2020)
Maarten Marx, Michael Masuch
Regular equivalence and dynamic logic. Soc. Networks 25 (1) (2003)
Michael Masuch, Zhisheng Huang
in a multi-agent action logic. Comput. Math. Organ. Theory 2 (2) (1996)
Zhisheng Huang, Michael Masuch, László Pólos
ALX, an Action Logic for Agents with Bounded Rationality. Artif. Intell. 82 (1-2) (1996)