Shaobo He

Orcid: 0000-0002-9899-6226

According to our database1, Shaobo He authored at least 55 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Memristive Hénon Map Based on the State Variable Difference and Its Analog Circuit Implementation.
IEEE Trans. Ind. Electron., August, 2024

Enhancing image security through an advanced chaotic system with free control and zigzag scrambling encryption.
Multim. Tools Appl., August, 2024

Dynamics of the Fractional-Order Lorenz System Based on Adomian Decomposition Method and Its DSP Implementation.
IEEE CAA J. Autom. Sinica, May, 2024

Spatiotemporal Chaos in a Sine Map Lattice With Discrete Memristor Coupling.
IEEE Trans. Circuits Syst. I Regul. Pap., March, 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang., 2024

Implementation of a fully integrated memristive Chua's chaotic circuit with a voltage-controlled oscillator.
Integr., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023
Chaos and multi-layer attractors in asymmetric neural networks coupled with discrete fractional memristor.
Neural Networks, October, 2023

The Parallel Chaotification Map and Its Application.
IEEE Trans. Circuits Syst. I Regul. Pap., September, 2023

A Class of Discrete Memristor Chaotic Maps Based on the Internal Perturbation.
Symmetry, August, 2023

Analog Circuit of a Simplified Tent Map and its Application in Sensor Position Optimization.
IEEE Trans. Circuits Syst. II Express Briefs, March, 2023

Locally Active Memristor with Variable Parameters and Its Oscillation Circuit.
Int. J. Bifurc. Chaos, March, 2023

Special Issue Editorial: "Discrete and Continuous Memristive Nonlinear Systems and Symmetry".
Symmetry, 2023

A discrete memristive neural network and its application for character recognition.
Neurocomputing, 2023

Modelling discrete time fractional Rucklidge system with complex state variables and its synchronization.
Appl. Math. Comput., 2023

2022
From Memristor-Modeled Jerk System to the Nonlinear Systems with Memristor.
Symmetry, 2022

A fully integrated chaos generator based on voltage controlled oscillator.
Microelectron. J., 2022

Data Augmentation for Small Sample Iris Image Based on a Modified Sparrow Search Algorithm.
Int. J. Comput. Intell. Syst., 2022

Dynamics of Fractional-Order Chaotic Rocard Relaxation Econometric System.
Int. J. Bifurc. Chaos, 2022

Chaos in a Simplest Cyclic Memristive Neural Network.
Int. J. Bifurc. Chaos, 2022

Distributed Consensus Tracking Control of Chaotic Multi-Agent Supply Chain Network: A New Fault-Tolerant, Finite-Time, and Chatter-Free Approach.
Entropy, 2022

Discrete Memristor and Discrete Memristive Systems.
Entropy, 2022

2021
Complexity and Chimera States in a Network of Fractional-Order Laser Systems.
Symmetry, 2021

A Communication Scheme based on Fractional Order Chaotic Laser for Internet of Things.
Internet Things, 2021

A Modified Multivariable Complexity Measure Algorithm and Its Application for Identifying Mental Arithmetic Task.
Entropy, 2021

2020
A Multistable Chaotic Jerk System with Coexisting and Hidden Attractors: Dynamical and Complexity Analysis, FPGA-Based Realization, and Chaos Stabilization Using a Robust Controller.
Symmetry, 2020

An improved image encryption algorithm with finite computing precision.
Signal Process., 2020

An Improved Return Maps Method for Parameter Estimation of Chaotic Systems.
Int. J. Bifurc. Chaos, 2020

Complexity and Chimera States in a Ring-Coupled Fractional-Order Memristor Neural Network.
Frontiers Appl. Math. Stat., 2020

Synchronization of a Non-Equilibrium Four-Dimensional Chaotic System Using a Disturbance-Observer-Based Adaptive Terminal Sliding Mode Control Method.
Entropy, 2020

Multistability in a Fractional-Order Centrifugal Flywheel Governor System and Its Adaptive Control.
Complex., 2020

Complexity and Multistability in the Centrifugal Flywheel Governor System With Stochastic Noise.
IEEE Access, 2020

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

ct-fuzz: Fuzzing for Timing Leaks.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An SMT Theory of Fixed-Point Arithmetic.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Improving Automation and Scalability of Rigorous Program Reasoning.
PhD thesis, 2019

分数阶统一混沌系统动力学及其复杂度分析 (Dynamics and Complexity Analysis of Fractional-order Unified Chaotic System).
计算机科学, 2019

Design of a Network Permutation Entropy and Its Applications for Chaotic Time Series and EEG Signals.
Entropy, 2019

Parameter Identification of Fractional-Order Discrete Chaotic Systems.
Entropy, 2019

Complex Chaotic Attractor via Fractal Transformation.
Entropy, 2019

Dynamics and synchronization of conformable fractional-order hyperchaotic systems using the Homotopy analysis method.
Commun. Nonlinear Sci. Numer. Simul., 2019

Dynamics and Optimization Control of a Robust Chaotic Map.
IEEE Access, 2019

Stochastic Local Search for Solving Floating-Point Constraints.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.
J. Autom. Reason., 2018

Multivariate Multiscale Complexity Analysis of Self-Reproducing Chaotic Systems.
Entropy, 2018

Complex Dynamics of the Fractional-Order Rössler System and Its Tracking Synchronization Control.
Complex., 2018

Chaos and Symbol Complexity in a Conformable Fractional-Order Memcapacitor System.
Complex., 2018

Verifying Rust Programs with SMACK.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Counterexample-Guided Bit-Precision Selection.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
Modified multiscale permutation entropy algorithm and its application for multiscroll chaotic systems.
Complex., 2016

SMACK software verification toolchain.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Characteristic Analysis and DSP Realization of Fractional-Order Simplified Lorenz System Based on Adomian Decomposition Method.
Int. J. Bifurc. Chaos, 2015

Design of Grid Multiscroll Chaotic Attractors via Transformations.
Int. J. Bifurc. Chaos, 2015

Complexity Analysis and DSP Implementation of the Fractional-Order Lorenz Hyperchaotic System.
Entropy, 2015


  Loading...