3D fluid scene synthesis and animation. - Hongyan Quan; Xiao Song 001; Mingqi Yu; Yahui Song (VRCAI, 2014)

Physically-based enhancement in shallow water resimulation. - Hongyan Quan; Yahui Song; Xinquan Zhou; Li Zhang (Int. J. Model. Simul. Sci. Comput., 2016)

Fluid re-simulation based on physically driven model from video. - Hongyan Quan; Changbo Wang; Yahui Song (Vis. Comput., 2017)

Research Topic Recommendation Based on Latent Dirichlet Allocation. - Hongshu Chen; Xuefeng Wang 001; Yahui Song; Ximeng Wang; Xiang Wang; Miaomiao Yu (ISKE, 2019)

Automated Temporal Verification of Integrated Dependent Effects. - Yahui Song; Wei-Ngan Chin (ICFEM, 2020)

A Synchronous Effects Logic for Temporal Verification of Pure Esterel. - Yahui Song; Wei-Ngan Chin (VMCAI, 2021)

Automated Temporal Verification for Algebraic Effects. - Yahui Song; Darius Foo; Wei-Ngan Chin (APLAS, 2022)

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. - Yahui Song; Wei-Ngan Chin (SPLASH Companion, 2022)

Sensitivity analysis of environmental impact of milk powder spray drying system based on intelligent algorithm. - Zunhao Zhang; Junxia Zhang; Wei Tian; Yang Li; Yahui Song; Qi Zeng (J. Intell. Fuzzy Syst., 2022)

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (APLAS, 2023)

Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. - Yahui Song; Wei-Ngan Chin (TACAS (1), 2023)

Staged Specifications for Automated Verification of Higher-Order Imperative Programs. - Darius Foo; Yahui Song; Wei-Ngan Chin (CoRR, 2023)

Staged Specification Logic for Verifying Higher-Order Imperative Programs. - Darius Foo; Yahui Song; Wei-Ngan Chin (FM (1), 2024)

Specification and Verification for Unrestricted Algebraic Effects and Handling. - Yahui Song; Darius Foo; Wei-Ngan Chin (Proc. ACM Program. Lang., 2024)

ProveNFix: Temporal Property-Guided Program Repair. - Yahui Song; Xiang Gao 012; Wenhua Li; Wei-Ngan Chin; Abhik Roychoudhury (Proc. ACM Softw. Eng., 2024)

Inferring Incorrectness Specifications for Object-Oriented Programs. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (TACAS (1), 2025)

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning. - Ningke Li; Yahui Song; Kailong Wang 001; Yuekang Li; Ling Shi 002; Yi Liu; Haoyu Wang 001 (CoRR, 2025)

Computation Tree Logic Guided Program Repair. - Yu Liu; Yahui Song; Martin Mirchev; Abhik Roychoudhury (CoRR, 2025)