Liangyu Chen

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 8

Top Topics

Delaunay Triangulations

Test Case Generation

Domain Knowledge

Top Venues

Ann. Math. Artif. Intell.

J. Comb. Optim.

IEEE Internet Things J.

Publications

Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. IEEE Internet Things J. 11 (12) (2024)
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. ICSE Companion (2024)
Xinping Wang, Liangyu Chen, Min Zhang
Deep Attentive Model for Knowledge Tracing. AAAI (2023)
Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. Ann. Math. Artif. Intell. 91 (6) (2023)
Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys (2022)
Zhenbing Zeng, Liangyu Chen
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. CASC (2019)
Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
A Heilbronn Type Inequality for Plane Nonagons. MC (2019)
Liangyu Chen, Yaochen Xu, Zhenbing Zeng
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. J. Glob. Optim. 68 (1) (2017)
Liangyu Chen, Zhenbing Zeng, Wei Zhou
An upper bound of Heilbronn number for eight points in triangles. J. Comb. Optim. 28 (4) (2014)
Liangyu Chen, Zhenbing Zeng
Parallel computation of determinants of matrices with multivariate polynomial entries. Sci. China Inf. Sci. 56 (11) (2013)
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM (2012)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21 (6) (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM (2010)
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41 (12) (2010)
Zhenbing Zeng, Liangyu Chen
On the Best Bezier Approximation of Ellipses. CSO (2) (2009)
Zhenbing Zeng, Liangyu Chen
On the Heilbronn Optimal Configuration of Seven Points in the Square. Automated Deduction in Geometry (2008)
Liangyu Chen, Zhenbing Zeng
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ASCM (2007)