A Process Algebra for Supervisory Coordination - Jos C. M. Baeten; Bert van Beek; Allan van Hulst; Jasen Markovski (PACO, 2011)

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (WODES, 2014)

Maximally Permissive Controlled System Synthesis for Modal Logic. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (SOFSEM, 2015)

Maximal Synthesis for Hennessy-Milner Logic. - Allan C. van Hulst; Michel A. Reniers; Wan J. Fokkink (ACM Trans. Embed. Comput. Syst., 2015)

Maximally permissive controlled system synthesis for non-determinism and modal logic. - A. C. van Hulst; Michel A. Reniers; Wan J. Fokkink (Discret. Event Dyn. Syst., 2017)

A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof. - Allan van Hulst (CoRR, 2021)