Sign in
Liye Guo
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 4
Top Topics
Capsule Endoscopy
Diagnosis Of Breast Cancer
Statistical Classification
Image Analysis
Top Venues
CoRR
BigComp
Comput. Ind.
</>
Publications
</>
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)