A computer-aided healthcare system for cataract classification and grading based on fundus image analysis. - Liye Guo; Ji-Jiang Yang; Lihui Peng; Jianqiang Li 002; Qingfeng Liang (Comput. Ind., 2015)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types. - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (BigComp, 2019)

Analyzing Innermost Runtime Complexity Through Tuple Interpretations. - Liye Guo; Deivid Vale (LSFA, 2022)

Higher-Order LCTRSs and Their Termination. - Liye Guo; Cynthia Kop (ESOP (2), 2024)

Higher-Order Constrained Dependency Pairs for (Universal) Computability. - Liye Guo; Kasper Hagens; Cynthia Kop; Deivid Vale (MFCS, 2024)

An Innermost DP Framework for Constrained Higher-Order Rewriting. - Carsten Fuhs; Liye Guo; Cynthia Kop (FSCD, 2025)