Formal Verification of a Hybrid IoT Operating System Model. - Yuqian Guan; Jian Guo 005; Qin Li 002 (IEEE Access, 2021)

Adaptive Layered Segregated Fit Scheme for Dynamic Memory Allocation. - Yuqian Guan; Jian Guo 005 (J. Circuits Syst. Comput., 2021)