The Observation-Based Index to Investigate the Role of the Lee Vortex in Enhancing Air Pollution over Northwestern Taiwan von Hsu, Tzu-Han, Chen, Wei-Ting, Wu, Chien-Ming, Hsieh, Min-Ken

Volltext

Lipid droplets are central organelles for meiosis II progression during yeast sporulation von Hsu, Tzu-Han, Chen, Rey-Huei, Cheng, Yun-Hsin, Wang, Chao-Wen

Volltext

Lipid droplets maintain lipid homeostasis during anaphase for efficient cell separation in budding yeast von Yang, Po-Lin, Hsu, Tzu-Han, Wang, Chao-Wen, Chen, Rey-Huei

Volltext

Highly stable flexible ozone gas sensors using Mn3O4 nanoparticles-decorated IGZO thin films through the SILAR method von 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

Volltext

Development of a Cloud-based Advanced Planning and Scheduling System von Hsu, Tzu-Han, Wang, Li-Chih, Chu, Pei-Chun

Volltext

Mouse sperm acquire a new structure on the apical hook during epididymal maturation von Lin, Yi-Wen, Hsu, Tzu-Han, Yen, Pauline H

Volltext

A low-complexity precoder searching algorithm for MIMO-OFDM systems von Wen-Rong Wu, Tzu-Han Hsu

Volltext

Mouse sperm acquire a new structure on the apical hook during epididymal maturation von Lin, Yi-Wen, Hsu, Tzu-Han, Yen, Pauline H

Volltext

Vlouse sperm acquire a new structure on the apical hoo Juring epididymal maturation von Yi-Wen Lin Tzu-Han Hsu Pauline H Yen

Volltext

Syntax-Guided Automated Program Repair for Hyperproperties von Beutner, Raven, Hsu, Tzu-Han, Bonakdarpour, Borzoo, Finkbeiner, Bernd

Volltext bestellen

HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties von Hsu, Tzu-Han, Bonakdarpour, Borzoo, Sánchez, César

Volltext bestellen

Bounded Model Checking for Asynchronous Hyperproperties von Hsu, Tzu-Han, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sánchez, César

Volltext bestellen

Efficient Loop Conditions for Bounded Model Checking Hyperproperties von Hsu, Tzu-Han, Sánchez, César, Sheinvald, Sarai, Bonakdarpour, Borzoo

Volltext bestellen

Bounded Model Checking for Hyperproperties von Hsu, Tzu-Han, Sanchez, Cesar, Bonakdarpour, Borzoo

Volltext bestellen

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

Volltext bestellen

HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties von Tzu-Han Hsu, Bonakdarpour, Borzoo, Sánchez, César

Volltext

Syntax-Guided Automated Program Repair for Hyperproperties von Beutner, Raven, Tzu-Han Hsu, Bonakdarpour, Borzoo, Finkbeiner, Bernd

Volltext

Bounded Model Checking for Asynchronous Hyperproperties von Tzu-Han Hsu, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sánchez, César

Volltext

Efficient Loop Conditions for Bounded Model Checking Hyperproperties von Tzu-Han Hsu, Sánchez, César, Sheinvald, Sarai, Bonakdarpour, Borzoo

Volltext

Bounded Model Checking for Hyperproperties von Tzu-Han Hsu, Sanchez, Cesar, Bonakdarpour, Borzoo

Volltext