Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. - Liangyu Chen 001; Zhenbing Zeng (ASCM, 2007)

On the Heilbronn Optimal Configuration of Seven Points in the Square. - Zhenbing Zeng; Liangyu Chen 001 (Automated Deduction in Geometry, 2008)

Symbolic Reachability Computation of a Class of Nonlinear Systems. - Ming Xu 010; Liangyu Chen 001; Zhi-bin Li 005 (ACIS-ICIS, 2009)

On the Best Bezier Approximation of Ellipses. - Zhenbing Zeng; Liangyu Chen 001 (CSO (2), 2009)

Real Root Isolation of Multi-Exponential Polynomials with Application. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (WALCOM, 2010)

Termination Analysis of Linear Loops. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-Bin Li 005 (Int. J. Found. Comput. Sci., 2010)

Reachability analysis of rational eigenvalue linear systems. - Ming Xu 010; Liangyu Chen 001; Zhenbing Zeng; Zhi-bin Li 005 (Int. J. Syst. Sci., 2010)

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. - Liangyu Chen 001; Tuo Leng; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (ASCM, 2012)

ESF - An Extensive Service Foundation from Internet of Things Perspective. - Jianqi Shi; Xin Ye; Liangyu Chen 001; Pei Zhang; Ningkang Jiang (ISORC Workshops, 2012)

Parallel computation of determinants of matrices with multivariate polynomial entries. - Liangyu Chen 001; Zhenbing Zeng (Sci. China Inf. Sci., 2013)

An upper bound of Heilbronn number for eight points in triangles. - Liangyu Chen 001; Zhenbing Zeng; Wei Zhou (J. Comb. Optim., 2014)

Big Prime Field FFT on the GPU. - Liangyu Chen 001; Svyatoslav Covanov; Davood Mohajerani; Marc Moreno Maza (ISSAC, 2017)

Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. - Liangyu Chen 001; Yaochen Xu; Zhenbing Zeng (J. Glob. Optim., 2017)

An efficient algorithm for global interval solution of nonlinear algebraic equations and its GPGPU implementation. - Dang Lin; Liangyu Chen 001 (CoRR, 2018)

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. - Zhenbing Zeng; Liangyu Chen 001 (CASC, 2019)

A Heilbronn Type Inequality for Plane Nonagons. - Zhenbing Zeng; Jian Lu; Lydia Dehbi; Liangyu Chen 001; Jianlin Wang (MC, 2019)

Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory. - Yangxi Zhou; Yan Zhu; Liangyu Chen 001 (SETTA, 2020)

An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae. - Yifan Dai; Liangyu Chen 001; Zihan Zhang (SMC, 2020)

Measurement and refactoring for package structure based on complex network. - Yangxi Zhou; Yanran Mi; Yan Zhu; Liangyu Chen 001 (Appl. Netw. Sci., 2020)

Using Knowledge Concept Aggregation towards Accurate Cognitive Diagnosis. - Xinping Wang; Caidie Huang; Jinfang Cai; Liangyu Chen 001 (CIKM, 2021)

A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. - Cheng Chen 015; Liangyu Chen 001; Zhenbing Zeng; Dang Lin (HPCC/DSS/SmartCity/DependSys, 2021)

An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning. - Xinping Wang; Liangyu Chen 001; Tong Wang 042; Mingang Chen; Min Zhang 002 (IJCNN, 2021)

Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval. - Cheng Chen 015; Yifan Dai; Yuqi Shen; Jinfang Cai; Liangyu Chen 001 (SEKE, 2021)

A New Model of Software Network for Object-Oriented Software System. - Yan Zhu; Youfei Huang; Ningkang Jiang; Liangyu Chen 001 (SMC, 2021)

A Hybrid Model Combining Formulae with Keywords for Mathematical Information Retrieval. - Yuqi Shen; Cheng Chen 015; Yifan Dai; Jinfang Cai; Liangyu Chen 001 (Int. J. Softw. Eng. Knowl. Eng., 2021)

Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. - Liangyu Chen 001; Jianjun Wei; Zhenbing Zeng; Min Zhang 002 (HPCC/DSS/SmartCity/DependSys, 2022)

Refactoring of Object-oriented Package Structure Based on Complex Network. - Youfei Huang; Yuhang Chen; Zhengting Tang; Liangyu Chen 001; Ningkang Jiang (SEKE, 2022)

Using Multi-feature Embedding towards Accurate Knowledge Tracing. - Yang Yu; Caidie Huang; Liangyu Chen 001; Mingsong Chen 001 (SEKE, 2022)

Deep Attentive Model for Knowledge Tracing. - Xinping Wang; Liangyu Chen 001; Min Zhang 002 (AAAI, 2023)

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. - Yaochen Xu; Zhenbing Zeng; Jian Lu; Yuzheng Wang; Liangyu Chen 001 (Ann. Math. Artif. Intell., 2023)

Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. - Zhiyi Xue; Liangguo Li; Senyue Tian; Xiaohong Chen 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ICSE Companion, 2024)

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. - Zhiyi Xue; Liangguo Li; Senyue Tian; Xiaohong Chen 007; Pingping Li; Liangyu Chen 001; Tingting Jiang 012; Min Zhang 002 (ISSTA, 2024)

TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. - Liangyu Chen 001; Chen Wang; Cheng Chen 028; Caidie Huang; Xiaohong Chen 007; Min Zhang 002 (IEEE Internet Things J., 2024)

BERT-Based Code Learning for Exception Localization and Type Prediction. - Chongyu Zhang; Qiping Tao; Liangyu Chen 001; Min Zhang 002 (AAAI, 2025)

Tagging knowledge concepts for math problems based on multi-label text classification. - Ziqi Ding; Xiaolu Wang; Yuzhuo Wu; Guitao Cao; Liangyu Chen 001 (Expert Syst. Appl., 2025)