Aloysius K. Mok

85 papers and 1.8k indexed citations i.

About

Aloysius K. Mok has authored 85 papers that have received a total of 1.8k indexed citations. This includes 51 papers in Hardware and Architecture, 41 papers in Computer Networks and Communications and 29 papers in Computational Theory and Mathematics. The topics of these papers are Real-Time Systems Scheduling (50 papers), Embedded Systems Design Techniques (22 papers) and Formal Methods in Verification (21 papers). Aloysius K. Mok is often cited by papers focused on Real-Time Systems Scheduling (50 papers), Embedded Systems Design Techniques (22 papers) and Formal Methods in Verification (21 papers) and collaborates with scholars based in United States, Taiwan and Hong Kong. Aloysius K. Mok's co-authors include Song Han, Deji Chen, Farnam Jahanian, Kam-Yiu Lam and Xiuming Zhu and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and IEEE Transactions on Industrial Informatics

In The Last Decade

Rankless by CCL
2025