Liye Guo

According to our database, Liye Guo authored at least 5 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Higher-Order Constrained Dependency Pairs for (Universal) Computability.

Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Higher-Order LCTRSs and Their Termination.

Liye Guo, Cynthia Kop

Proceedings of the Programming Languages and Systems, 2024

2022

Analyzing Innermost Runtime Complexity Through Tuple Interpretations.

Liye Guo, Deivid Vale

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2019

Towards Bidirectional Synchronization Between Communicating Processes and Session Types.

Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2015

A computer-aided healthcare system for cataract classification and grading based on fundus image analysis.

Liye Guo, Ji-Jiang Yang, Lihui Peng, Jianqiang Li, Qingfeng Liang

Comput. Ind., 2015