# Hongbo Li

According to our database

Collaborative distances:

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

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Cybersecur., 2021

CoRR, 2021

2020

Near-Infrared Spectroscopy Coupled Chemometric Algorithms for Rapid Origin Identification and Lipid Content Detection of Pinus Koraiensis Seeds.

Sensors, 2020

Quantum Inf. Process., 2020

Math. Comput. Sci., 2020

Contrast-Enhanced Ultrasonography Characteristics in the Evaluation of Different Nature of Carotid Artery Plaques.

J. Medical Imaging Health Informatics, 2020

J. Heuristics, 2020

CoRR, 2020

HasFS: optimizing file system consistency mechanism on NVM-based hybrid storage architecture.

Clust. Comput., 2020

IEEE Access, 2020

Decentralized and Privacy-Preserving Public Auditing for Cloud Storage Based on Blockchain.

IEEE Access, 2020

A Logistic Chaotic Barnacles Mating Optimizer With Masi Entropy for Color Image Multilevel Thresholding Segmentation.

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

HLS-Based FPGA Implementation of Convolutional Deep Belief Network for Signal Modulation Recognition.

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 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

Mapping and Visualization of Fuzzy Control Research: a Scientometric Analysis during 2010-2019.

Proceedings of the AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, 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 Comput. Appl., 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

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

An effective genetic algorithm for the resource levelling problem with generalised precedence relations.

Int. J. Prod. Res., 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

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

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

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

Inf. 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

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

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.

Math. Comput. Sci., 2016

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

计算机科学, 2016

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

J. Heuristics, 2016

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

Proceedings of the International Conference for High Performance Computing, 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

2015

IEEE Trans. Image Process., 2015

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

J. Syst. Sci. Complex., 2015

CoRR, 2015

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

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

2014

J. Softw., 2014

J. Appl. Math., 2014

Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.

Int. J. Artif. Intell. Tools, 2014

Graphs Comb., 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 International Conference on Audio, 2014

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

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.

Math. Comput. Sci., 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

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

Trans. Edutainment, 2012

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

Math. Comput. Sci., 2012

Math. Comput. Sci., 2012

Math. Comput. Sci., 2012

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

J. Syst. Sci. Complex., 2012

Mining paths and transactions data to improve allocating commodity shelves in supermarket.

Proceedings of 2012 IEEE International Conference on Service Operations and Logistics, 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

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

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

The Application of Fuzzy Mathematical Method in Evaluation System of College Students' Innovation Ability.

Proceedings of the International Conference on E-Business and E-Government, 2010

Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Risk Assessment Model of Ship Integrated Navigation System Based on Fuzzy Artificial Neural Network.

Proceedings of the 2010 International Conference on Computational Intelligence and Security, 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

M-ary Orthogonal Code Spread-Spectrum Signal Dispreading Method Based on Confidence.

Proceedings of the International Forum on Information Technology and Applications, 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

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. Reason., 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. Reason., 1998

Proceedings of the Automated Deduction in Geometry, 1998