Mixed-Granularity Human-Swarm Interaction. - Jayam Patel; Yicong Xu; Carlo Pinciroli (ICRA, 2019)

The novel and powerful ICD-11 classification system for neoplasm coding: a comparative study with the ICD-O. - Yicong Xu; Jingya Zhou; Yi Wang (BMC Medical Informatics Decis. Mak., 2022)

LTLf Satisfiability Checking via Formula Progression (S). - Tong Niu; Yicong Xu; Shengping Xiao; Lili Xiao; Yanhong Huang; Jianwen Li (SEKE, 2023)

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. - Yibo Dong 001; Xiaoyu Zhang; Yicong Xu; Chang Cai; Yu Chen; Weikai Miao; Jianwen Li; Geguang Pu (ESEC/SIGSOFT FSE, 2023)

Energy Efficiency Maximization Under Delay-Outage Probability Constraints Using Fluid Antenna Systems. - Yicong Xu; Yu Chen 006; Yanzhao Hou; Kai-Kit Wong; Qimei Cui; Xiaofeng Tao (SSP, 2023)

Model-Guided Synthesis for LTL over Finite Traces. - Shengping Xiao; Yongkang Li; Xinyue Huang; Yicong Xu; Jianwen Li; Geguang Pu; Ofer Strichman; Moshe Y. Vardi (VMCAI (1), 2024)

MitoSort: Robust Demultiplexing of Pooled Single-cell Genomic Data Using Endogenous Mitochondrial Variants. - Zhongjie Tang; Weixing Zhang; Peiyu Shi; Sijun Li; Xinhui Li; Yueming Li; Yicong Xu; Yaqing Shu; Zheng Hu; Jin Xu (Genom. Proteom. Bioinform., 2024)