Neighbor Discovery in a Multi-Transceiver Free-Space-Optical Ad Hoc Network. - Jessica Vazquez-Estrada; Suman Bhunia; Mahmudur Khan 002; Yicheng Qian; Nero Tran Huu (CCNC, 2022)

SVIP: Sequence VerIfication for Procedures in Videos. - Yicheng Qian; Weixin Luo; Dongze Lian; Xu Tang; Peilin Zhao; Shenghua Gao (CVPR, 2022)

Neighbor Discovery in a LoRa Assisted Multi-Transceiver Free-Space-Optical Network. - Jessica Vazquez-Estrada; Suman Bhunia; Mahmudur Khan 002; Yicheng Qian; Nero Tran Huu (WCNC, 2022)

Weakly Supervised Video Representation Learning with Unaligned Text for Sequential Videos. - Sixun Dong; Huazhang Hu; Dongze Lian; Weixin Luo; Yicheng Qian; Shenghua Gao (CVPR, 2023)

Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks. - Jiankang Ren; Chunxiao Liu; Chi Lin 001; Ran Bi 001; Simeng Li; Zheng Wang; Yicheng Qian; Zhichao Zhao; Guozhen Tan (ACM Trans. Embed. Comput. Syst., 2023)

Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory. - Joshua Clune; Yicheng Qian; Alexander Bentkamp; Jeremy Avigad (ITP, 2024)

Electronically Steerable Mobile Optical-Wireless Mesh-Network. - Suman Bhunia; Yicheng Qian; Mahmudur Khan 002 (SysCon, 2024)

lean-smt: An SMT Tactic for Discharging Proof Goals in Lean. - Abdalrhman Mohamed; Tomaz Mascarenhas; Muhammad Harun Ali Khan; Haniel Barbosa; Andrew Reynolds 001; Yicheng Qian; Cesare Tinelli; Clark W. Barrett (CAV (3), 2025)

Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers. - Yicheng Qian; Joshua Clune; Clark W. Barrett; Jeremy Avigad (CAV (3), 2025)

MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8. - Mi Wen; Chenyang Li; Yicheng Qian; Yunsheng Xue; Xiaoqing Yu; Yun Su (J. Electronic Imaging, 2025)

MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8 (Erratum). - Mi Wen; Chenyang Li; Yicheng Qian; Yunsheng Xue; Xiaoqing Yu; Yun Su (J. Electronic Imaging, 2025)

Memory-efficient Sketch Acceleration for Handling Large Network Flows on FPGAs. - Zhaoyang Han; Yicheng Qian; Michael Zink; Miriam Leeser (CoRR, 2025)

Lean-SMT: An SMT tactic for discharging proof goals in Lean. - Abdalrhman Mohamed; Tomaz Mascarenhas; Harun Khan; Haniel Barbosa; Andrew Reynolds 001; Yicheng Qian; Cesare Tinelli; Clark W. Barrett (CoRR, 2025)