Disjoint direct product decompositions of permutation groups. - Mun See Chang; Christopher Jefferson (J. Symb. Comput., 2022)

Towards Automatic Design of Factorio Blueprints. - Sean Patterson; Joan Espasa; Mun See Chang; Ruth Hoffmann (CoRR, 2023)

Structural Refactorings for Exploring Dependently Typed Programming. - Adam D. Barwell; Christopher Brown 002; Mun See Chang; Constantine Theocharis; Simon J. Thompson (TFP, 2024)

Breaking the Symmetries of Indistinguishable Objects. - Özgür Akgün; Mun See Chang; Ian P. Gent; Christopher Jefferson (CPAIOR (1), 2025)