# Hongbo Li

According to our database

Collaborative distances:

^{1}, Hongbo Li authored at least 134 papers between 1998 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Windowed Fourier transform and general wavelet algorithms in quantum computation.

Quantum Information & Computation, 2019

Saving constraint checks in maintaining coarse-grained generalized arc consistency.

Neural Computing and Applications, 2019

Quantum Algorithm Design: Techniques and Applications.

J. Systems Science & Complexity, 2019

Automated Theorem Proving Practice with Null Geometric Algebra.

J. Systems Science & Complexity, 2019

Foreword to the Special Issue.

J. Systems Science & Complexity, 2019

Designated-server identity-based authenticated encryption with keyword search for encrypted emails.

Inf. Sci., 2019

Design and Implementation of Lead-Carbon Battery Storage System.

IEEE Access, 2019

Authorized Equality Test on Identity-Based Ciphertexts for Secret Data Sharing via Cloud Storage.

IEEE Access, 2019

Efficient concolic testing of MPI applications.

Proceedings of the 28th International Conference on Compiler Construction, 2019

2018

Pre- and Post-Deployment Dynamic Bug Detection Techniques for MPI Programs.

PhD thesis, 2018

Adaptive Fuzzy Control for Pure-Feedback Nonlinear Systems With Nonaffine Functions Being Semibounded and Indifferentiable.

IEEE Trans. Fuzzy Systems, 2018

EFTG: Efficient and Flexible Top-K Geo-textual Publish/Subscribe.

TIIS, 2018

An Efficient Public-Key Searchable Encryption Scheme Secure against Inside Keyword Guessing Attacks.

IACR Cryptology ePrint Archive, 2018

Ciphertext-Policy Attribute-Based Encrypted Data Equality Test and Classification.

IACR Cryptology ePrint Archive, 2018

Multi-mode resource leveling in projects with mode-dependent generalized precedence relations.

Expert Syst. Appl., 2018

Does online media sequence matter in product marketing?

Electronic Commerce Research and Applications, 2018

End-to-End ConvNet for Tactile Recognition Using Residual Orthogonal Tiling and Pyramid Convolution Ensemble.

Cognitive Computation, 2018

A Novel Strategy of Combining Variable Ordering Heuristics for Constraint Satisfaction Problems.

IEEE Access, 2018

Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs.

Proceedings of the International Conference for High Performance Computing, 2018

Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

COMPI: Concolic Testing for MPI Applications.

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Non-intrusively Avoiding Scaling Problems in and out of MPI Collectives.

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Shadow Tracking of Moving Target Based on CNN for Video SAR System.

Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

Recognition of Windmills in Remote Sensing Image By SVM and Morphological Attribute Filters.

Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

A Transfer Learning Method For Ship Recognition In Multi-Optical Remote Sensing Satellites.

Proceedings of the IEEE/CIC International Conference on Communications in China, 2018

Improved Bee Colony Optimization for Traveling Salesman Problem.

Proceedings of the Fuzzy Systems and Data Mining IV, 2018

Outsourced Ciphertext-Policy Attribute-Based Encryption with Equality Test.

Proceedings of the Information Security and Cryptology - 14th International Conference, 2018

2017

Neural-network-based sliding-mode control for multiple rigid-body attitude tracking with inertial information completely unknown.

Inf. Sci., 2017

An efficient public-key searchable encryption scheme secure against inside keyword guessing attacks.

Inf. Sci., 2017

The consensus region design and analysis of fractional-order multi-agent systems.

Int. J. Systems Science, 2017

Advancing the incremental fusion of robotic sensory features using online multi-kernel extreme learning machine.

Frontiers Comput. Sci., 2017

Test sequencing for sequential system diagnosis with precedence constraints and imperfect tests.

Decision Support Systems, 2017

Narrowing Support Searching Range in Maintaining Arc Consistency for Solving Constraint Satisfaction Problems.

IEEE Access, 2017

Correcting soft errors online in fast fourier transform.

Proceedings of the International Conference for High Performance Computing, 2017

Parastack: efficient hang detection for MPI programs at large scale.

Proceedings of the International Conference for High Performance Computing, 2017

FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model.

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Customized Filesystem with Dynamic Stripe Strategies on Lustre-Based Hadoop.

Proceedings of the Parallel Architecture, Algorithm and Programming, 2017

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension.

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Automated Geometric Reasoning with Geometric Algebra: Theory and Practice.

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Fuzzy Keyword Search and Access Control over Ciphertexts in Cloud Computing.

Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017

2016

Adaptive Neural Control for a Class of Pure-Feedback Nonlinear Systems via Dynamic Surface Technique.

IEEE Trans. Neural Netw. Learning Syst., 2016

A genetic algorithm for the robust resource leveling problem.

J. Scheduling, 2016

Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry.

Mathematics in Computer Science, 2016

Cluster consensus of high-order multi-agent systems with switching topologies.

Int. J. Systems Science, 2016

Scaled cluster consensus of discrete-time multi-agent systems with general directed topologies.

Int. J. Systems Science, 2016

Improving degree-based variable ordering heuristics for solving constraint satisfaction problems.

J. Heuristics, 2016

3D Moth-inspired chemical plume tracking and adaptive step control strategy.

Adaptive Behaviour, 2016

GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing.

Proceedings of the International Conference for High Performance Computing, 2016

Road extraction base on Zernike algorithm on SAR image.

Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Telepresence control of humanoid robot via high-frequency phase-tagged SSVEP stimuli.

Proceedings of the IEEE 14th International Workshop on Advanced Motion Control, 2016

Efficient Spatio-Temporal Tactile Object Recognition with Randomized Tiling Convolutional Networks in a Hierarchical Fusion Strategy.

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Visual Tracking via Sparse and Local Linear Coding.

IEEE Trans. Image Processing, 2015

Stabilization and Separation Principle of Networked Control Systems Using the T-S Fuzzy Model Approach.

IEEE Trans. Fuzzy Systems, 2015

Time optimal feedrate generation with confined tracking error based on linear programming.

J. Systems Science & Complexity, 2015

Low-Load Survivable Routing Protocol for LEO Satellite Networks.

IJWIN, 2015

Observer-based cluster consensus control of high-order multi-agent systems.

Neurocomputing, 2015

A statistical learning based image denoising approach.

Frontiers Comput. Sci., 2015

3D moth-inspired chemical plume tracking.

Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015

Symbolic Geometric Reasoning with Advanced Invariant Algebras.

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Detection and imaging of moving objects with multichannel SAR system.

Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

An application of the subspace approach on radar speech enhancement.

Proceedings of the 11th International Conference on Natural Computation, 2015

2014

A survivable routing protocol for two-layered LEO/MEO satellite networks.

Wireless Networks, 2014

Gain Scheduling Control of Delta Operator System Using Network-Based Measurements.

IEEE Trans. Instrumentation and Measurement, 2014

Sliding-Mode Predictive Control of Networked Control Systems Under a Multiple-Packet Transmission Policy.

IEEE Trans. Industrial Electronics, 2014

Mathematical Structures in Computer Science, 2014

A Multi-Threshold Granulation Model for Incomplete Decision Tables.

JSW, 2014

Analyzing Integrated Cost-Schedule Risk for Complex Product Systems R&D Projects.

J. Applied Mathematics, 2014

Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.

International Journal on Artificial Intelligence Tools, 2014

Spectral Characterizations of the Corona of a Cycle and Two Isolated Vertices.

Graphs and Combinatorics, 2014

Robust control for Markovian jump delta operator systems with actuator saturation.

Eur. J. Control, 2014

Reduction among bracket polynomials.

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

An improved algorithm of mining preferred browsing paths.

Proceedings of the 10th International Conference on Natural Computation, 2014

Low illumination image Retinex enhancement algorithm based on guided filtering.

Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

2013

Dynamic Fault-Tolerant Routing Based on FSA for LEO Satellite Networks.

IEEE Trans. Computers, 2013

Assessing Performance Risk for Complex Product Development: A Simulation-Based Model.

Quality and Reliability Eng. Int., 2013

Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion.

Mathematics in Computer Science, 2013

Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction.

Knowl.-Based Syst., 2013

Geometric error control in the parabola-blending linear interpolator.

J. Systems Science & Complexity, 2013

Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control.

J. Systems Science & Complexity, 2013

A network-bound-dependent stabilization method of networked control systems.

Automatica, 2013

Cooperative control for a class of large-scale linear system via delta operator approach.

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Making Simple Tabular ReductionWorks on Negative Table Constraints.

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Optimal State Feedback Integral Control Using Network-Based Measurements.

IEEE Trans. Instrumentation and Measurement, 2012

Tunneling Blasting Simulation for Digital Mine.

Trans. Edutainment, 2012

Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter.

Mathematics in Computer Science, 2012

Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations.

Mathematics in Computer Science, 2012

Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC.

Mathematics in Computer Science, 2012

B-spline patches and transfinite interpolation method for PDE controlled simulation.

J. Systems Science & Complexity, 2012

A SPA-based K-means clustering algorithm for the remote sensing information extraction.

Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

Partial Max-restricted Path Consistency.

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Gain-Scheduling-Based State Feedback Integral Control for Networked Control Systems.

IEEE Trans. Industrial Electronics, 2011

An Improved TCP Friendly Rate Control Algorithm for Wireless Networks.

IEICE Transactions, 2011

Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles.

SCIENCE CHINA Information Sciences, 2011

Approximate rational solutions torational ODEs defined on discrete differentiable curves.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

EDA-based output tracking control for networked control systems with time delays and packet losses.

Proceedings of the IEEE International Workshop on Haptic Audio Visual Environments and Games, 2011

Network soft partition based on topological potential.

Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

Community identification based on clustering coefficient.

Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

Line Geometry in Terms of the Null Geometric Algebra over ℝ

^{3, 3}, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.
Proceedings of the Guide to Geometric Algebra in Practice., 2011

On Geometric Theorem Proving with Null Geometric Algebra.

Proceedings of the Guide to Geometric Algebra in Practice., 2011

2010

Visual simulation of GaInP thin film growth.

Simulation Modelling Practice and Theory, 2010

Theoretical investigation of an energetic fullerene derivative.

Journal of Computational Chemistry, 2010

Modeling Government Credit Information Systems Diffusion in China: A System Dynamics Approach.

Proceedings of the Pacific Asia Conference on Information Systems, 2010

Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra.

Proceedings of the Geometric Algebra Computing - in Engineering and Computer Science., 2010

2009

EDA-Based Speed Control of a Networked DC Motor System With Time Delays and Packet Losses.

IEEE Trans. Industrial Electronics, 2009

Optimal Stabilizing Gain Selection for Networked Control Systems With Time Delays and Packet Losses.

IEEE Trans. Contr. Sys. Techn., 2009

Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.

Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008

A symbolic approach to polyhedral scene analysis by parametric calotte propagation.

Robotica, 2008

Adaptive filtering under maximum mutual information criterion.

Neurocomputing, 2008

Feature Weighting Random Forest for Detection of Hidden Web Search Interfaces.

IJCLCLP, 2008

Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations.

Computers & Mathematics with Applications, 2008

Complex brackets, balanced complex differences, and applications in symbolic geometric computing.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Optimization and stabilization of networked control systems: An Estimation of Distribution Algorithm approach.

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Elliptic equation's new solutions and their applications to two nonlinear partial differential equations.

Applied Mathematics and Computation, 2007

A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Measure observability by the generalized informational correlation.

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

A dynamic interaction mass transfer model for simulating the mass transfer process in extraction columns.

Computers & Chemical Engineering, 2006

On the Mixed Cayley-Sylvester Resultant Matrix.

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Optimal Controller Design for a class of Networked Control Systems.

Proceedings of the 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 2005

2004

Symbolic computation in the homogeneous geometric model with clifford algebra.

Proceedings of the Symbolic and Algebraic Computation, 2004

Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis.

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

On Miquel's Five-Circle Theorem.

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

*n*D Object Representation and Detection from Single 2D Line Drawing.

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

Intrinsic Differential Geometry with Geometric Calculus.

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

*n*D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry.

J. Symb. Comput., 2003

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry.

J. Symb. Comput., 2003

2002

Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.

Proceedings of the Automated Deduction in Geometry, 2002

2001

Trifocal Tensors with Grassmann-Cayley Algebra.

Proceedings of the Robot Vision, 2001

2000

Vectorial Equations Solving for Mechanical Geometry Theorem Proving.

J. Autom. Reasoning, 2000

The Lie Model for Euclidean Geometry.

Proceedings of the Algebraic Frames for the Perception-Action Cycle, 2000

Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998

Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry.

J. Autom. Reasoning, 1998

Some Applications of Clifford Algebra to Geometries.

Proceedings of the Automated Deduction in Geometry, 1998