Tzu-Han Hsu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | HyperQB 2.0: A Bounded Model Checker for Hyperproperties. | Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Borzoo Bonakdarpour |
| 2024 | CAV | Syntax-Guided Automated Program Repair for Hyperproperties. | Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2024 | ICCAD | 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 |
| 2023 | TACAS | Bounded Model Checking for Asynchronous Hyperproperties. | Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2023 | TACAS | Efficient Loop Conditions for Bounded Model Checking Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Sarai Sheinvald, Borzoo Bonakdarpour |
| 2021 | TACAS | Bounded Model Checking for Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Borzoo Bonakdarpour |
| 2019 | APNOMS | 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 |
| 2009 | PIMRC | A low-complexity precoder searching algorithm for MIMO-OFDM systems. | Wen-Rong Wu, Tzu-Han Hsu |