Lu Yang

2009
37	EE	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR abs/0903.5221: (2009)
2008
36	EE	Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
35	EE	Lu Yang, Samir Attallah: Speeding up Noise Subspace Estimation Algorithms using an Optimal Diagonal Matrix Step-Size Strategy for MC-CDMA Application. VTC Spring 2008: 1335-1339
34	EE	Lu Yang: A perturbation method for numerical differentiation. Applied Mathematics and Computation 199(1): 368-374 (2008)
33	EE	Lu Yang: Uniform attractor for non-autonomous hyperbolic equation with critical exponent. Applied Mathematics and Computation 203(2): 895-902 (2008)
32	EE	Lu Yang, Volker Stolz: Integrating Refinement into Software Development Tools. Electr. Notes Theor. Comput. Sci. 207: 69-88 (2008)
2007
31	EE	Lu Yang, Jun Xiao: A Solution of Rural Information Network Accessing. CCTA 2007: 1001-1010
30	EE	Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
29	EE	Guangming Wang, Lu Yang: DOKMF: Distributed Ontology-Based Knowledge Management Framework. FSKD (2) 2007: 2-6
28	EE	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82
27	EE	Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang: Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114
26	EE	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
25	EE	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
24	EE	Weiming Wang, Zhenbing Zeng, Lu Yang: A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) 2007: 67-72
23	EE	Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng: Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Science in China Series F: Information Sciences 50(5): 719-731 (2007)
2006
22	EE	Lu Yang, Bican Xia: Quantifier Elimination for Quartics. AISC 2006: 131-145
21	EE	Lu Yang, Zhenbing Zeng: Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry 2006: 203-211
20	EE	Jianqin Wang, Yong Xue, Yi Xie, Dingsheng Liu, Ruizhi Sun, Lu Yang, Ying Ding, Ya OuYang, Guangli Liu, YunLing Liu, Li Kang, Xinrong Cheng: Study on Remotely Sensed Data Access and Integration Grid-enabled Middleware. GCC Workshops 2006: 477-481
19	EE	Guangli Liu, Yongshun Wu, Lu Yang: Weighted Ordinal Support Vector Clustering. IMSCCS (2) 2006: 743-745
18	EE	Lu Yang: Solving Spatial Constraints with Global Distance Coordinate System. Int. J. Comput. Geometry Appl. 16(5-6): 533-548 (2006)
2005
17		Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE 2005: 55-60
16		Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572
15	EE	Lu Yang, Zhenbing Zeng: An open problem on metric invariants of tetrahedra. ISSAC 2005: 362-364
14	EE	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
2004
13	EE	Lu Yang, Zhenbing Zeng: Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry 2004: 59-69
2002
12	EE	Lu Yang: Distance Coordinates Used in Geometric Constraint Solving. Automated Deduction in Geometry 2002: 216-229
11	EE	Lu Yang, Jingzhong Zhang, Weinian Zhang: On Number of Circles Intersected by a Line. J. Comb. Theory, Ser. A 98(2): 395-405 (2002)
10	EE	Bican Xia, Lu Yang: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. 34(5): 461-477 (2002)
2000
9	EE	Lu Yang, Ju Zhang: A Practical Program of Automated Proving for a Class of Geometric Inequalities. Automated Deduction in Geometry 2000: 41-57
1999
8		Xiao-Shan Gao, Dongming Wang, Lu Yang: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Springer 1999
7		Changjie Tang, Rynson W. H. Lau, Huabei Yin, Qing Li, Lu Yang, Zhonghua Yu, Limin Xiang, Tianqing Zhang: Discovering Tendency Association between Objects with Relaxed Periodicity and its Application in Seismology. ICSC 1999: 51-62
6		Lu Yang: Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. J. Symb. Comput. 28(1-2): 225-242 (1999)
1998
5	EE	Lu Yang, Xiaorong Hou, Bican Xia: Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry 1998: 30-46
1997
4		Lu Yang, Hongguang Fu, Zhenbing Zeng: A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. CADE 1997: 73-86
1996
3		Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang: Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry 1996: 171-188
1994
2	EE	Deepak Kapur, Tushar Saxena, Lu Yang: Algebraic and Geometric Reasoning Using Dixon Resultants. ISSAC 1994: 99-107
1990
1		Jingzhong Zhang, Lu Yang, Mike Deng: The Parallel Numerical Method of Mechanical Theorem Proving. Theor. Comput. Sci. 74(3): 253-271 (1990)

Coauthor Index

1	Samir Attallah	[35]
2	Virendrakumar C. Bhavsar	[16] [17]
3	Harold Boley	[16] [17]
4	Changbo Chen	[37]
5	Yinghua Chen	[25] [28]
6	Zhenbang Chen	[26] [27] [30]
7	Xinrong Cheng	[20]
8	Shang-Ching Chou	[3]
9	Mike Deng	[1]
10	Ying Ding	[20]
11	Hongguang Fu	[4]
12	Xiao-Shan Gao	[3] [8]
13	Qiang Guan	[23]
14	Abdel Hakim Hannousse	[30]
15	Xiaorong Hou	[5]
16	Dang Van Hung	[30]
17	Li Kang	[20]
18	Deepak Kapur	[2]
19	Istvan Knoll	[30]
20	Rynson W. H. Lau	[7]
21	Qing Li	[7]
22	Xiaoshan Li	[27] [30]
23	Dingsheng Liu	[20]
24	Guangli Liu	[19] [20]
25	Yang Liu	[30]
26	YunLing Liu	[20]
27	Zhiming Liu	[26] [27] [30]
28	Marc Moreno Maza	[37]
29	Qu Nan	[30]
30	Joseph C. Okika	[30]
31	Ya OuYang	[20]
32	Anders P. Ravn	[26] [30]
33	Biplab Kumer Sarker	[16] [17]
34	Tushar Saxena	[2]
35	Volker Stolz	[26] [27] [30] [32]
36	Ruizhi Sun	[20]
37	Changjie Tang (Chang-jie Tang)	[7]
38	Dongming Wang	[8]
39	Guangming Wang	[29]
40	Jianqin Wang	[20]
41	Long Wang	[23]
42	Weiming Wang	[24]
43	Yongshun Wu	[19]
44	Bican Xia	[5] [10] [14] [22] [23] [25] [28] [36] [37]
45	Limin Xiang	[7]
46	Jun Xiao	[31]
47	Yi Xie	[20]
48	Yong Xue	[20]
49	Huabei Yin	[7]
50	Wensheng Yu	[23]
51	Zhonghua Yu	[7]
52	Zhenbing Zeng	[4] [13] [15] [21] [23] [24]
53	Naijun Zhan	[14] [25] [28] [30] [36]
54	Jing-Zhong Zhang	[3]
55	Jingzhong Zhang	[1] [11]
56	Ju Zhang	[9]
57	Tianqing Zhang	[7]
58	Weinian Zhang	[11]
59	Chaochen Zhou (Zhou Chaochen)	[14] [25]

Colors in the list of coauthors