Author of the publication

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.

, , , , , and . QRS Companion, page 219-226. IEEE, (2019)

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

Open-loop control of directed self-assembly of colloidal particles in a microfluidic device., , and . Comput. Chem. Eng., (2020)Trap Distribution and Dielectric Breakdown of Isotactic Polypropylene/Propylene Based Elastomer With Improved Flexibility for DC Cable Insulation., , , , and . IEEE Access, (2018)Parallel End-to-End Autonomous Mining: An IoT-Oriented Approach., , , , , , and . IEEE Internet Things J., 7 (2): 1011-1023 (2020)Optimal State Estimation Control Strategy of Wireless Network Control Systems with Stochastic Network-induced Delays., , , , and . APCC, page 314-319. IEEE, (2018)Multi-Scale Attention Learning Network for Facial Expression Recognition., , , , and . IEEE Signal Process. Lett., (2023)DR-WLC: Dimensionality Reduction cognition for object detection and pose estimation by Watching, Learning and Checking., , , , , , and . CoRR, (2023)Common Data Guided Crash Injection for Cloud Systems., , , , and . ICSE-Companion, page 36-40. ACM/IEEE, (2022)Adaptive Inclined Text Detection in Natural Scenes Fusing Convolutional Recurrent Neural Network., , , , and . UCET, page 246-251. IEEE, (2021)Adaptive and iterative learning control to simultaneously control end-effector force and direction by normal vectors learning., , , , and . Robotica, 41 (9): 2861-2881 (September 2023)DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems., , , and . DSN, page 547-558. IEEE, (2022)