Hongbo Li

Hongbo Li, Haijiao Shen, Zhanshan Li, Jinsong Guo: Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction. Knowl.-Based Syst. 43: 103-111 (2013)

Zhe Xu, Hongbo Li: Assessing Performance Risk for Complex Product Development: A Simulation-Based Model. Quality and Reliability Eng. Int. 29(2): 267-275 (2013)

Hongbo Li: Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry. CoRR abs/1302.7194 (2013)

Hongbo Li, Rida T. Farouki, Dingkang Wang: Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC. Mathematics in Computer Science 6(3): 267-268 (2012)

Hongbo Li, Shoubin Yao, Ge Li, Yuanjie Liu, Lixian Zhang: Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter. Mathematics in Computer Science 6(3): 281-296 (2012)

Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun: Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Mathematics in Computer Science 6(3): 327-344 (2012)

Chao Wang, Yu Wu, Tingting Zhu, Hongbo Li, Mingliang Xu: Tunneling Blasting Simulation for Digital Mine. T. Edutainment 7: 121-128 (2012)

Hongbo Li, Fuchun Sun, Zengqi Sun, Junping Du: Optimal State Feedback Integral Control Using Network-Based Measurements. IEEE T. Instrumentation and Measurement 61(12): 3127-3135 (2012)

Jinsong Guo, Zhanshan Li, Hongbo Li: Partial Max-restricted Path Consistency. ICTAI 2012: 186-190

Xiangjia Xie, Junsan Zhao, Hongbo Li, Wanqiang Zhang, Lei Yuan: A SPA-based K-means clustering algorithm for the remote sensing information extraction. IGARSS 2012: 6111-6114

Hongbo Li, Zengqi Sun, Haibo Min, Jianqiu Deng: Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles. SCIENCE CHINA Information Sciences 54(3): 460-468 (2011)

Jingyuan Wang, Hongbo Li, Zhongwu Zhai, Xiang Chen, Shiqiang Yang: An Improved TCP Friendly Rate Control Algorithm for Wireless Networks. IEICE Transactions 94-A(11): 2295-2305 (2011)

Hongbo Li, Zengqi Sun, Mo-Yuen Chow, Fuchun Sun: Gain-Scheduling-Based State Feedback Integral Control for Networked Control Systems. IEEE Transactions on Industrial Electronics 58(6): 2465-2472 (2011)

Hongbo Li, Yuanhao Cao: On Geometric Theorem Proving with Null Geometric Algebra. Guide to Geometric Algebra in Practice 2011: 195-215

Hongbo Li, Lixian Zhang: Line Geometry in Terms of the Null Geometric Algebra over ℝ^{3, 3}, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms. Guide to Geometric Algebra in Practice 2011: 253-272

Hongbo Li, Ruiyong Sun, Shoubin Yao, Ge Li: Approximate rational solutions torational ODEs defined on discrete differentiable curves. ISSAC 2011: 217-224

Bisheng Tan, Rufang Peng, Hongbo Li, Bo Jin, Shijin Chu, Xinping Long: Theoretical investigation of an energetic fullerene derivative. Journal of Computational Chemistry 31(12): 2233-2237 (2010)

Hongbo Li: Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. Geometric Algebra Computing 2010: 71-90

Yinbin Liu, Hongbo Li, Stella Wen Tian: Modeling Government Credit Information Systems Diffusion in China: A System Dynamics Approach. PACIS 2010: 173

Hongbo Li, Mo-Yuen Chow, Zengqi Sun: EDA-Based Speed Control of a Networked DC Motor System With Time Delays and Packet Losses. IEEE Transactions on Industrial Electronics 56(5): 1727-1735 (2009)

Li Han, Xiao-Shan Gao, Hongbo Li, Lixian Zhang, Jie Liu: Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. CAD/Graphics 2009: 435-441

Deng-Shan Wang, Zhenya Yan, Hongbo Li: Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations. Computers & Mathematics with Applications 56(6): 1569-1579 (2008)

Yunming Ye, Hongbo Li, Xiaobai Deng, Joshua Zhexue Huang: Feature Weighting Random Forest for Detection of Hidden Web Search Interfaces. IJCLCLP 13(4) (2008)

Hongbo Li, Lina Zhao, Ying Chen: A symbolic approach to polyhedral scene analysis by parametric calotte propagation. Robotica 26(4): 483-501 (2008)

Hongbo Li, Mo-Yuen Chow, Zengqi Sun: Optimization and stabilization of networked control systems: An Estimation of Distribution Algorithm approach. CDC 2008: 3348-3353

Hongbo Li, Li Zhou: Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys. CSSE (1) 2008: 237-242

Hongbo Li, Lei Huang: Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC 2008: 181-188

Deng-Shan Wang, Hongbo Li: Elliptic equation's new solutions and their applications to two nonlinear partial differential equations. Applied Mathematics and Computation 188(1): 762-771 (2007)

Hongbo Li: A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC 2007: 261-268

Xiaojin Tang, Guangshen Luo, Hongbo Li, Jiading Wang: A dynamic interaction mass transfer model for simulating the mass transfer process in extraction columns. Computers & Chemical Engineering 30(6-7): 978-988 (2006)

Weikun Sun, Hongbo Li: On the Mixed Cayley-Sylvester Resultant Matrix. AISC 2006: 146-159

Hongbo Li, Zengqi Sun, Fengge Wu, Fuchun Sun: Optimal Controller Design for a class of Networked Control Systems. HIS 2005: 425-430

Hongbo Li, Peter J. Olver, Gerald Sommer (Eds.): Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3519, Springer 2005, isbn 3-540-26296-2

Hongbo Li: nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. Automated Deduction in Geometry 2004: 169-197

Hongbo Li, Lina Cao, Nanbin Cao, Weikun Sun: Intrinsic Differential Geometry with Geometric Calculus. IWMM/GIAE 2004: 207-216

Hongbo Li, Ronghua Xu, Ning Zhang: On Miquel's Five-Circle Theorem. IWMM/GIAE 2004: 217-228

Hongbo Li, Quan Wang, Lina Zhao, Ying Chen, Lei Huang: nD Object Representation and Detection from Single 2D Line Drawing. IWMM/GIAE 2004: 363-382

Hongbo Li, Lina Zhao, Ying Chen: Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. IWMM/GIAE 2004: 383-402

Hongbo Li: Symbolic computation in the homogeneous geometric model with clifford algebra. ISSAC 2004: 221-228

Hongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. J. Symb. Comput. 36(5): 717-762 (2003)

Hongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. J. Symb. Comput. 36(5): 763-809 (2003)

Hongbo Li: Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Automated Deduction in Geometry 2002: 106-123

Hongbo Li: Trifocal Tensors with Grassmann-Cayley Algebra. RobVis 2001: 237-244

Hongbo Li: Vectorial Equations Solving for Mechanical Geometry Theorem Proving. J. Autom. Reasoning 25(2): 83-121 (2000)

Hongbo Li, Yihong Wu: Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Automated Deduction in Geometry 2000: 199-227

Hongbo Li: The Lie Model for Euclidean Geometry. AFPAC 2000: 115-133

Hongbo Li, Cheng Minteh: Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reasoning 21(1): 1-21 (1998)

Hongbo Li: Some Applications of Clifford Algebra to Geometries. Automated Deduction in Geometry 1998: 156-179