An alternative method for refined process structure trees (RPST). - Yongsun Choi; N. Long Ha; Pauline Kongsuwan; Kwan Hee Han (Bus. Process. Manag. J., 2020)

Partitioning Behavioral Retrieval: An Efficient Computational Approach With Transitive Rules. - N. Long Ha; Thomas M. Prinz (IEEE Access, 2021)

Understanding and Decomposing Control-Flow Loops in Business Process Models. - Thomas M. Prinz; Yongsun Choi; N. Long Ha (BPM, 2022)

Recognizing Relationships: Detecting the 4C Spectrum in ±b O(P2 + T2) for Acyclic Sound Process Models. - Thomas M. Prinz; Torsten Welsch; N. Long Ha (EDOC, 2024)

Transformation of Cyclic Process Models with Inclusive Gateways to Be Executable on State-of-the-Art Engines. - Thomas M. Prinz; N. Long Ha; Yongsun Choi (ICEIS (2), 2025)

Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops. - Thomas M. Prinz; Yongsun Choi; N. Long Ha (Inf. Syst., 2025)