Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Counterexample-Guided Bit-Precision Selection., and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 534-553. Springer, (2017)Verifying Rust Programs with SMACK., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 528-535. Springer, (2018)Multivariate Multiscale Complexity Analysis of Self-Reproducing Chaotic Systems., , , and . Entropy, 20 (8): 556 (2018)Complex Chaotic Attractor via Fractal Transformation., , , and . Entropy, 21 (11): 1115 (2019)A Modified Multivariable Complexity Measure Algorithm and Its Application for Identifying Mental Arithmetic Task., , and . Entropy, 23 (8): 931 (2021)Distributed Consensus Tracking Control of Chaotic Multi-Agent Supply Chain Network: A New Fault-Tolerant, Finite-Time, and Chatter-Free Approach., , , , , , and . Entropy, 24 (1): 33 (2022)Spatiotemporal Chaos in a Sine Map Lattice With Discrete Memristor Coupling., , , , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 71 (3): 1039-1049 (March 2024)Dynamics of the Fractional-Order Lorenz System Based on Adomian Decomposition Method and Its DSP Implementation., , and . IEEE CAA J. Autom. Sinica, 11 (5): 1298-1300 (May 2024)The Parallel Chaotification Map and Its Application., , , and . IEEE Trans. Circuits Syst. I Regul. Pap., 70 (9): 3689-3698 (September 2023)Verifying Relative Safety, Accuracy, and Termination for Program Approximations., , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 237-254. Springer, (2016)