A low-complexity precoder searching algorithm for MIMO-OFDM systems. - Wen-Rong Wu; Tzu-Han Hsu (PIMRC, 2009)

CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis. - Tzu-Han Hsu; Chih-Chuan Wang; Yuan-Hsiang Lin; Ching-Hsuan Chen; Nyan Ping Ju; Tsì-Uí Ik; Wen-Chih Peng; Yu-Shuen Wang; Yu-Chee Tseng; Jiun-Long Huang; Yu-Tai Ching (APNOMS, 2019)

Bounded Model Checking for Hyperproperties. - Tzu-Han Hsu; César Sánchez 001; Borzoo Bonakdarpour (TACAS (1), 2021)

HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; César Sánchez 001 (CoRR, 2021)

Mapping Synthesis for Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Eunsuk Kang; Stavros Tripakis (CSF, 2022)

Bounded Model Checking for Asynchronous Hyperproperties. - Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner; César Sánchez 001 (TACAS (1), 2023)

Efficient Loop Conditions for Bounded Model Checking Hyperproperties. - Tzu-Han Hsu; César Sánchez 001; Sarai Sheinvald; Borzoo Bonakdarpour (TACAS (1), 2023)

Syntax-Guided Automated Program Repair for Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (CAV (3), 2024)

Modern Fixed-Outline Floorplanning with Rectilinear Soft Modules. - Yu-Yang Chen; Yi-Chen Lin; Tzu-Han Hsu; Iris Hui-Ru Jiang; Tung-Chieh Chen; Tai-Chen Chen; Hua-Yu Chang (ICCAD, 2024)

Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions. - Nikolaj S. Bjørner; Ashley J. Chen; Shuo Chen; Yang Chen; Zhongxin Guo; Tzu-Han Hsu; Peng Liu; Nanqing Luo (CoRR, 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties. - Tzu-Han Hsu; Arshia Rafieioskouei; Borzoo Bonakdarpour (CoRR, 2025)

Gray-box runtime enforcement of hyperproperties. - Tzu-Han Hsu; Ana Oliveira da Costa; Andrew Wintenberg; Ezio Bartocci; Borzoo Bonakdarpour (Acta Informatica, 2025)