Author of the publication

Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW.

, , , , , and . AIAM, page 794-801. IEEE, (2022)

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

Characterization and Verification of Stuttering Equivalence., and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)一种基于屏蔽码的ABAC静态策略冲突与冗余检测算法 (ABAC Static Policy Conflict and Redundancy Detection Algorithm Based on Mask Key)., , , and . 计算机科学, 45 (2): 197-202 (2018)SAT-Based Verification of LTL Formulas.. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 277-292. Springer, (2006)OpenNetVM: A Platform for High Performance Network Service Chains., , , , , , , and . HotMiddlebox@SIGCOMM, page 26-31. ACM, (2016)Termination analysis with recursive calling graphs., and . ComComAP, page 276-282. IEEE, (2014)On Completeness Results of Hoare Logic Relative to the Standard Model., , and . CoRR, (2017)Enhancing the Security of Protocols against Actor Key Compromise Problems., and . CoRR, (2015)Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization., , , , and . IEEE Trans. Veh. Technol., 71 (9): 10173-10178 (2022)Vehicular wireless short-range communication for improving intersection safety., , , and . IEEE Commun. Mag., 47 (11): 104-110 (2009)Land Cover Changes of the Qilian Mountain National Park in Northwest China Based on Phenological Features and Sample Migration from 1990 to 2020., , , and . Remote. Sens., 15 (4): 1074 (February 2023)