# Hongbo Li

According to our database

Collaborative distances:

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

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

J. Heuristics, 2020

IEEE Access, 2020

Selection of a Critical Time Scale of Real-Time Dispatching for Power Systems With High Proportion Renewable Power Sources.

IEEE Access, 2020

GramFS: The Graph Model-based Namespace Management of Large-scale Distributed File Systems.

Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020

Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining.

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Quantum Inf. Comput., 2019

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

Neural Computing and Applications, 2019

J. Syst. Sci. Complex., 2019

J. Syst. Sci. Complex., 2019

J. Syst. Sci. Complex., 2019

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

Inf. Sci., 2019

CoRR, 2019

Public Key Authenticated Encryption With Designated Equality Test and its Applications in Diagnostic Related Groups.

IEEE Access, 2019

IEEE Access, 2019

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

IEEE Access, 2019

Proceedings of the International Conference for High Performance Computing, 2019

Towards Enhanced Security for Certificateless Public-Key Authenticated Encryption with Keyword Search.

Proceedings of the Provable Security, 2019

An Aircraft Detection Method Based on Improved Mask R-CNN in Remotely Sensed Imagery.

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

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

A Complex-Valued CNN for Different Activation Functions in Polarsar Image Classification.

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

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

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

P-SOBI: A Parallel Implementation for Second Order Blind Identification Algorithm.

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Pream: Enhancing HPC Storage System Performance with Pre-Allocated Metadata Management Mechanism.

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

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

2018

PhD thesis, 2018

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

IEEE Trans. Fuzzy Syst., 2018

KSII Trans. Internet Inf. Syst., 2018

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

IACR Cryptol. ePrint Arch., 2018

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

Expert Syst. Appl., 2018

Electron. Commer. Res. Appl., 2018

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

Cogn. Comput., 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

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

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

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

Proceedings of the Fuzzy Systems and Data Mining IV, 2018

Proceedings of the Communications, Signal Processing, and Systems, 2018

Proceedings of the Communications, Signal Processing, and Systems, 2018

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

Int. J. Syst. Sci., 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.

Decis. Support Syst., 2017

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

IEEE Access, 2017

Proceedings of the International Conference for High Performance Computing, 2017

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

Proceedings of the Parallel Architecture, Algorithm and Programming, 2017

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

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

A New Shadow Tracking Method to Locate the Moving Target in SAR Imagery Based on KCF.

Proceedings of the Communications, Signal Processing, and Systems, 2017

High-Frequency Spectrum Analysis and Channel Availability Decision on Sea Surface Environment.

Proceedings of the Communications, Signal Processing, and Systems, 2017

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 Networks Learn. Syst., 2016

J. Sched., 2016

Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry.

Mathematics in Computer Science, 2016

物联网中具有时间持续性特征的乱序事件查询处理技术研究 (Research of Interval-based Out-of-order Event Processing in Internet of Things).

计算机科学, 2016

Int. J. Syst. Sci., 2016

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

Int. J. Syst. Sci., 2016

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

J. Heuristics, 2016

Adaptive Behaviour, 2016

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

Proceedings of the International Conference for High Performance Computing, 2016

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

IEEE Trans. Image Process., 2015

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

IEEE Trans. Fuzzy Syst., 2015

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

J. Syst. Sci. Complex., 2015

Int. J. Wirel. Inf. Networks, 2015

Neurocomputing, 2015

Frontiers Comput. Sci., 2015

CoRR, 2015

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

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

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

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

2014

Wirel. Networks, 2014

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

IEEE Trans. Instrum. Meas., 2014

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

IEEE Trans. Ind. Electron., 2014

<i>H</i> <sub>∞</sub> stabilisation of networked control systems with time delays and packet losses.

Math. Struct. Comput. Sci., 2014

JSW, 2014

J. Appl. Math., 2014

Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.

Int. J. Artif. Intell. Tools, 2014

Graphs Comb., 2014

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

Eur. J. Control, 2014

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

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

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

2013

IEEE Trans. Computers, 2013

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

Qual. Reliab. 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

J. Syst. Sci. Complex., 2013

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

J. Syst. Sci. Complex., 2013

Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry

CoRR, 2013

Autom., 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

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

2012

IEEE Trans. Instrum. Meas., 2012

Trans. Edutainment, 2012

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

Mathematics in Computer Science, 2012

Mathematics in Computer Science, 2012

Mathematics in Computer Science, 2012

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

J. Syst. Sci. Complex., 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

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

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. Ind. Electron., 2011

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

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

Sci. China Inf. Sci., 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

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

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

Line Geometry in Terms of the Null Geometric Algebra over ℝ<sup>3, 3</sup>, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.

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

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

2010

Simul. Model. Pract. Theory, 2010

J. Comput. Chem., 2010

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

Proceedings of the Pacific Asia Conference on Information Systems, 2010

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. Ind. Electron., 2009

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

IEEE Trans. Control. Syst. Technol., 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

Neurocomputing, 2008

Int. J. Comput. Linguistics Chin. Lang. Process., 2008

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

Comput. Math. Appl., 2008

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

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

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.

Appl. Math. Comput., 2007

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

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

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.

Comput. Chem. Eng., 2006

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

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

2004

Proceedings of the Symbolic and Algebraic Computation, 2004

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

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

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

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

<i>n</i>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

Proceedings of the Robot Vision, 2001

2000

J. Autom. Reasoning, 2000

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

Proceedings of the Automated Deduction in Geometry, 1998