Liye Guo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 6

Top Topics

Rewrite Systems

Top Venues

Publications

Liye Guo, Cynthia Kop
Higher-Order LCTRSs and Their Termination. ESOP (2) (2024)
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. MFCS (2024)
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. CoRR (2024)
Liye Guo, Cynthia Kop
Higher-Order LCTRSs and Their Termination. CoRR (2023)
Liye Guo, Deivid Vale
Analyzing Innermost Runtime Complexity Through Tuple Interpretations. CoRR (2023)
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp (2019)
Liye Guo, Ji-Jiang Yang, Lihui Peng, Jianqiang Li, Qingfeng Liang
A computer-aided healthcare system for cataract classification and grading based on fundus image analysis. Comput. Ind. 69 (2015)