dblp.uni-trier.dewww.uni-trier.de

Lu Yang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
37EEChangbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR abs/0903.5221: (2009)
2008
36EEBican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
35EELu 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
34EELu Yang: A perturbation method for numerical differentiation. Applied Mathematics and Computation 199(1): 368-374 (2008)
33EELu Yang: Uniform attractor for non-autonomous hyperbolic equation with critical exponent. Applied Mathematics and Computation 203(2): 895-902 (2008)
32EELu Yang, Volker Stolz: Integrating Refinement into Software Development Tools. Electr. Notes Theor. Comput. Sci. 207: 69-88 (2008)
2007
31EELu Yang, Jun Xiao: A Solution of Rural Information Network Accessing. CCTA 2007: 1001-1010
30EEZhenbang 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
29EEGuangming Wang, Lu Yang: DOKMF: Distributed Ontology-Based Knowledge Management Framework. FSKD (2) 2007: 2-6
28EEYinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82
27EEZhenbang 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
26EEZhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
25EEYinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
24EEWeiming Wang, Zhenbing Zeng, Lu Yang: A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) 2007: 67-72
23EEQiang 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
22EELu Yang, Bican Xia: Quantifier Elimination for Quartics. AISC 2006: 131-145
21EELu Yang, Zhenbing Zeng: Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry 2006: 203-211
20EEJianqin 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
19EEGuangli Liu, Yongshun Wu, Lu Yang: Weighted Ordinal Support Vector Clustering. IMSCCS (2) 2006: 743-745
18EELu 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
15EELu Yang, Zhenbing Zeng: An open problem on metric invariants of tetrahedra. ISSAC 2005: 362-364
14EELu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
2004
13EELu Yang, Zhenbing Zeng: Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry 2004: 59-69
2002
12EELu Yang: Distance Coordinates Used in Geometric Constraint Solving. Automated Deduction in Geometry 2002: 216-229
11EELu Yang, Jingzhong Zhang, Weinian Zhang: On Number of Circles Intersected by a Line. J. Comb. Theory, Ser. A 98(2): 395-405 (2002)
10EEBican Xia, Lu Yang: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. 34(5): 461-477 (2002)
2000
9EELu 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
5EELu 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
2EEDeepak 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)