Collaborations across Knowledge boundary: an E-Learning Case. - Tsai-Hsin Chu; Yi Lee (PACIS, 2014)

A Simple Robotic Eye-In-Hand Camera Positioning and Alignment Control Method Based on Parallelogram Features. - Ching-Long Shih; Yi Lee (Robotics, 2018)

Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort. - Bar Alon; Hao Chung; Kai-Min Chung; Mi-Ying Huang; Yi Lee; Yu-Ching Shen (IACR Cryptol. ePrint Arch., 2020)

The 2020 Low-Power Computer Vision Challenge. - Xiao Hu 004; Ming-Ching Chang; Yuwei Chen; Rahul Sridhar; Zhenyu Hu; Yunhe Xue; Zhenyu Wu 002; Pengcheng Pi; Jiayi Shen; Jianchao Tan; Xiangru Lian; Ji Liu 002; et al. (AICAS, 2021)

FOX-NAS: Fast, On-device and Explainable Neural Architecture Search. - Chia-Hsiang Liu; Yu-Shin Han; Yuan-Yao Sung; Yi Lee; Hung-Yueh Chiang; Kai-Chiang Wu (ICCVW, 2021)

Constant-Round Blind Classical Verification of Quantum Sampling. - Kai-Min Chung; Yi Lee; Han-Hsuan Lin; Xiaodi Wu 001 (EUROCRYPT (3), 2022)

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. - Liyi Li 002; Mingwei Zhu; Yi Lee; Le Chang; Xiaodi Wu 001 (CoRR, 2022)

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. - Manuel Barbosa; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu-Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu 001 (IACR Cryptol. ePrint Arch., 2023)

Qafny: A Quantum-Program Verifier. - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (ECOOP, 2024)

MC-indexing: Effective Long Document Retrieval via Multi-view Content-aware Indexing. - Kuicai Dong; Derrick-Goh-Xin Deik; Yi Lee; Hao Zhang; Xiangyang Li; Cong Zhang; Yong Liu (EMNLP (Findings), 2024)

Qafny: A Quantum-Program Verifier (Artifact). - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (Dagstuhl Artifacts Ser., 2024)

RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V. - Junyi Liu; Yi Lee; Haowei Deng; Connor Clayton; Gengzhi Yang; Xiaodi Wu 001 (CoRR, 2025)