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) |