Lipid droplets are central organelles for meiosis II progression during yeast sporulation
Hsu, Tzu-Han, Chen, Rey-Huei, Cheng, Yun-Hsin, Wang, Chao-Wen
Published in Molecular biology of the cell (01.02.2017)
Published in Molecular biology of the cell (01.02.2017)
Get full text
Journal Article
Lipid droplets maintain lipid homeostasis during anaphase for efficient cell separation in budding yeast
Yang, Po-Lin, Hsu, Tzu-Han, Wang, Chao-Wen, Chen, Rey-Huei
Published in Molecular biology of the cell (01.08.2016)
Published in Molecular biology of the cell (01.08.2016)
Get full text
Journal Article
Highly stable flexible ozone gas sensors using Mn3O4 nanoparticles-decorated IGZO thin films through the SILAR method
Tseng, Zi-Chun, Jiang, You-Yi, Lin, Chia-Yi, Do, Jyun-Yan, Hsu, Tzu-Han, Shih, Cheng-Wei, Chang, Yun-Zhen, Liao, Su-Yu, Huang, Chun-Ying
Published in Ceramics international (15.08.2024)
Published in Ceramics international (15.08.2024)
Get full text
Journal Article
Mapping Synthesis for Hyperproperties
Hsu, Tzu-Han, Bonakdarpour, Borzoo, Kang, Eunsuk, Tripakis, Stavros
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Get full text
Conference Proceeding
A low-complexity precoder searching algorithm for MIMO-OFDM systems
Wen-Rong Wu, Tzu-Han Hsu
Published in 2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications (01.09.2009)
Published in 2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications (01.09.2009)
Get full text
Conference Proceeding
CoachAI: A Project for Microscopic Badminton Match Data Collection and Tactical Analysis
Hsu, Tzu-Han, Wang, Chih-Chuan, Lin, Yuan-Hsiang, Chen, Ching-Hsuan, Jut, Nyan Ping, Ik, Tsi-Ui, Peng, Wen-Chih, Wang, Yu-Shuen, Tseng, Yu-Chee, Huang, Jiun-Long, Ching, Yu-Tai
Published in 2019 20th Asia-Pacific Network Operations and Management Symposium (APNOMS) (01.09.2019)
Published in 2019 20th Asia-Pacific Network Operations and Management Symposium (APNOMS) (01.09.2019)
Get full text
Conference Proceeding
TrackNetV2: Efficient Shuttlecock Tracking Network
Sun, Nien-En, Lin, Yu-Ching, Chuang, Shao-Ping, Hsu, Tzu-Han, Yu, Dung-Ru, Chung, Ho-Yi, Ik, Tsi-Ui
Published in 2020 International Conference on Pervasive Artificial Intelligence (ICPAI) (01.12.2020)
Published in 2020 International Conference on Pervasive Artificial Intelligence (ICPAI) (01.12.2020)
Get full text
Conference Proceeding
Syntax-Guided Automated Program Repair for Hyperproperties
Beutner, Raven, Hsu, Tzu-Han, Bonakdarpour, Borzoo, Finkbeiner, Bernd
Year of Publication 12.08.2024
Year of Publication 12.08.2024
Get full text
Journal Article
Bounded Model Checking for Asynchronous Hyperproperties
Hsu, Tzu-Han, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sánchez, César
Year of Publication 17.01.2023
Year of Publication 17.01.2023
Get full text
Journal Article
Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions
Bjørner, Nikolaj S, Chen, Ashley J, Chen, Shuo, Chen, Yang, Guo, Zhongxin, Hsu, Tzu-Han, Liu, Peng, Luo, Nanqing
Year of Publication 12.08.2024
Year of Publication 12.08.2024
Get full text
Journal Article
Syntax-Guided Automated Program Repair for Hyperproperties
Beutner, Raven, Tzu-Han Hsu, Bonakdarpour, Borzoo, Finkbeiner, Bernd
Published in arXiv.org (12.08.2024)
Get full text
Published in arXiv.org (12.08.2024)
Paper