| 2026 | ASPDAC | AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs. | Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li |
| 2026 | DATE | Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT. | Zhiteng Chao, Yonghao Wang, Xinyu Zhang, Jiaxin Zhou, Tenghui Hua, Husheng Han, Tianmeng Yang, Jianan Mu, Bei Yu, Rui Zhang, Jing Ye, Huawei Li |
| 2026 | DATE | CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations. | Yonghao Wang, Yang Yin, Hongqin Lyu, Jiaxin Zhou, Zhiteng Chao, Mingyu Shi, Wenchao Ding, Yunlin Du, Jing Ye, Tiancheng Wang, Huawei Li |
| 2026 | ETS | Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. | Yonghao Wang, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, Huawei Li |
| 2023 | ISVC | Comparison of Autoencoder Models for Unsupervised Representation Learning of Skeleton Sequences. | Thura Zaw, Jiaxin Zhou, Takashi Komuro |
| 2022 | ISVC | Detecting Fall Actions of Videos by Using Weakly-Supervised Learning and Unsupervised Clustering Learning. | Jiaxin Zhou, Takashi Komuro |
| 2019 | ICIP | Recognizing Fall Actions from Videos Using Reconstruction Error of Variational Autoencoder. | Jiaxin Zhou, Takashi Komuro |