| 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 | 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 |
| 2025 | CVPR | Unified Medical Lesion Segmentation via Self-referring Indicator. | Shijie Chang, Xiaoqi Zhao, Lihe Zhang, Tiancheng Wang |
| 2024 | DAC | SmartATPG: Learning-based Automatic Test Pattern Generation with Graph Convolutional Network and Reinforcement Learning. | Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Huawei Li |
| 2024 | ISITA | On Optimal Ternary Signal Constellation Maximizing Capacity Under Energy Constraints. | Shion Kitamura, Tiancheng Wang, Souichi Takahira, Tsuyoshi Sasaki Usuda |
| 2024 | ISITA | Property of Classical Reliability Function for BPSK Signals Coded by Simplex Codes with SRM. | Ken Masaki, Tiancheng Wang, Shogo Usami, Souichi Takahira, Tsuyoshi Sasaki Usuda |
| 2024 | ISITA | Quantum Deletionllnsertion Errors in Optical Qubits due to Synchronization Error. | Masaki Takekoshi, Shion Kitamura, Tiancheng Wang, Tsuyoshi Sasaki Usuda |
| 2023 | SiggraphA | An Implicitly Stable Mixture Model for Dynamic Multi-fluid Simulations. | Yanrui Xu, Xiaokun Wang, Jiamin Wang, Chongming Song, Tiancheng Wang, Yalan Zhang, Jian Chang, Jian-Jun Zhang, Jir Kosinka, Alexandru C. Telea, Xiaojuan Ban |
| 2022 | ECCV | Recurrent Bilinear Optimization for Binary Neural Networks. | Sheng Xu, Yanjing Li, Tiancheng Wang, Teli Ma, Baochang Zhang, Peng Gao, Yu Qiao, Jinhu L, Guodong Guo |
| 2022 | ISITA | PSK-type asymmetric quantum communication and its attenuation characteristics. | Suguru Sameshima, Tiancheng Wang, Shogo Usami, Tsuyoshi Sasaki Usuda |
| 2020 | ISITA | Simplification of the Calculation of the Channel Matrix for AMPM Coherent-state Signals. | Ryusuke Miyazaki, Mana Yoshida, Tiancheng Wang, Tsuyoshi Sasaki Usuda |
| 2020 | ISITA | Performance Evaluation of Ghost Imaging with Orthogonal/Non-orthogonal Quantum States in Terms of Image Quality. | Yuto Takahashi, Tiancheng Wang, Shogo Usami, Tsuyoshi Sasaki Usuda |
| 2020 | ISITA | Effect of Non-Gaussian Noise Due to Beam Wandering on Error Performance of Quantum Measurement. | Tiancheng Wang, Tsuyoshi Sasaki Usuda |
| 2020 | ISITA | Quantum Illumination using Quasi-Bell States. | Jun Yamauchi, Yuto Takahashi, Tiancheng Wang, Tsuyoshi Sasaki Usuda |
| 2019 | ISCAS | A Hardware-Efficient Post-Processing Algorithm for Motion Compensated Frame Rate Up-Conversion. | Hang Wang, Tiancheng Wang, Yunqi Mi, Hongbin Sun, Nanning Zheng |
| 2018 | ISITA | Effect of Non-Symmetric Loss on Quantum Reading Using a Quasi-Bell State. | Keita Ishikawa, Tiancheng Wang, Tsuyoshi Sasaki Usuda |
| 2018 | ISITA | Error performance and robustness of optimum quantum detection for MPSK signals in the presence of phase noise. | Tiancheng Wang, Kenji Nakahira, Tsuyoshi Sasaki Usuda |
| 2016 | ITC | An accurate algorithm for computing mutation coverage in model checking. | Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu |
| 2016 | VTS | Path constraint solving based test generation for observability-enhanced branch coverage. | Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li |
| 2014 | DATE | Functional test generation guided by steady-state probabilities of abstract design. | Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li |
| 2006 | ICARCV | Delay-Dependent Robust Stabilization for Uncertain Time-Delay Systems. | Tiancheng Wang, Hongxia Guo, Jing Ju |