The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lu Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lu Yang, Ju Zhang
    A Practical Program of Automated Proving for a Class of Geometric Inequalities. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2000, pp:41-57 [Conf]
  2. Lu Yang
    Distance Coordinates Used in Geometric Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:216-229 [Conf]
  3. Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
    Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1996, pp:171-188 [Conf]
  4. Lu Yang, Xiaorong Hou, Bican Xia
    Automated Discovering and Proving for Geometric Inequalities. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:30-46 [Conf]
  5. Lu Yang, Zhenbing Zeng
    Symbolic Solution of a Piano Movers' Problem with Four Parameters. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2004, pp:59-69 [Conf]
  6. Lu Yang, Bican Xia
    Quantifier Elimination for Quartics. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:131-145 [Conf]
  7. Lu Yang, Hongguang Fu, Zhenbing Zeng
    A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:73-86 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2006, pp:477-481 [Conf]
  9. Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley
    A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. [Citation Graph (0, 0)][DBLP]
    IASSE, 2005, pp:55-60 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    ICSC, 1999, pp:51-62 [Conf]
  11. Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley
    Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. [Citation Graph (0, 0)][DBLP]
    IICAI, 2005, pp:2559-2572 [Conf]
  12. Guangli Liu, Yongshun Wu, Lu Yang
    Weighted Ordinal Support Vector Clustering. [Citation Graph (0, 0)][DBLP]
    IMSCCS (2), 2006, pp:743-745 [Conf]
  13. Deepak Kapur, Tushar Saxena, Lu Yang
    Algebraic and Geometric Reasoning Using Dixon Resultants. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1994, pp:99-107 [Conf]
  14. Lu Yang, Zhenbing Zeng
    An open problem on metric invariants of tetrahedra. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:362-364 [Conf]
  15. Lu Yang
    Solving Spatial Constraints with Global Distance Coordinate System. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:533-548 [Journal]
  16. Lu Yang, Jingzhong Zhang, Weinian Zhang
    On Number of Circles Intersected by a Line. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 2002, v:98, n:2, pp:395-405 [Journal]
  17. Bican Xia, Lu Yang
    An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:5, pp:461-477 [Journal]
  18. Lu Yang
    Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1999, v:28, n:1-2, pp:225-242 [Journal]
  19. Jingzhong Zhang, Lu Yang, Mike Deng
    The Parallel Numerical Method of Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:74, n:3, pp:253-271 [Journal]
  20. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
    Generating Polynomial Invariants with DISCOVERER and QEPCAD. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:67-82 [Conf]
  21. Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
    Harnessing rCOS for Tool Support - The CoCoME Experience. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:83-114 [Conf]
  22. Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
    A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:277-289 [Conf]
  23. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
    Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:34-49 [Conf]

  24. Constructing a Tetrahedron with Prescribed Heights and Widths. [Citation Graph (, )][DBLP]


  25. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  26. DOKMF: Distributed Ontology-Based Knowledge Management Framework. [Citation Graph (, )][DBLP]


  27. A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. [Citation Graph (, )][DBLP]


  28. Research on Area-Matching Algorithm Based on Feature-Matching Constraints. [Citation Graph (, )][DBLP]


  29. Improved Dynamic Time Warping algorithm the research and application of query by humming. [Citation Graph (, )][DBLP]


  30. A Solution of Rural Information Network Accessing. [Citation Graph (, )][DBLP]


  31. Program Verification by Reduction to Semi-algebraic Systems Solving. [Citation Graph (, )][DBLP]


  32. Harnessing Theories for Tool Support. [Citation Graph (, )][DBLP]


  33. Computing cylindrical algebraic decomposition via triangular decomposition. [Citation Graph (, )][DBLP]


  34. A new mechanical algorithm for solving system of Volterra integral equation. [Citation Graph (, )][DBLP]


  35. Speeding up Noise Subspace Estimation Algorithms using an Optimal Diagonal Matrix Step-Size Strategy for MC-CDMA Application. [Citation Graph (, )][DBLP]


  36. Program Verification by Using DISCOVERER. [Citation Graph (, )][DBLP]


  37. Stable Noise Subspace Estimation Algorithm Suitable for VLSI Implementation. [Citation Graph (, )][DBLP]


  38. Adaptive Noise Subspace Estimation Algorithm with an Optimal Diagonal-Matrix Step-Size. [Citation Graph (, )][DBLP]


  39. Research on Environmental Perception Technology for Menology Environments Based on Binocular Vision. [Citation Graph (, )][DBLP]


  40. A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. [Citation Graph (, )][DBLP]


  41. Computing Cylindrical Algebraic Decomposition via Triangular Decomposition [Citation Graph (, )][DBLP]


  42. Integrating Refinement into Software Development Tools. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002