( en | de | ru )

 

Disambiguation of "Zhu, Chenyang"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.

, , and . TASE, page 1-8. 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.

Sihong Zhu

Ke Zhu

Hong Zhu

Ping Zhu

Xiaolong Zhu

 

Other publications of authors with the same name

Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 219-233. Springer, (2018)6DOF Pose Estimation of a 3D Rigid Object based on Edge-enhanced Point Pair Features., , , , , , , and . CoRR, (2022)Online 3D Bin Packing with Constrained Deep Reinforcement Learning., , , , and . AAAI, page 741-749. AAAI Press, (2021)AdaCoSeg: Adaptive Shape Co-Segmentation With Group Consistency Loss., , , , , and . CVPR, page 8540-8549. Computer Vision Foundation / IEEE, (2020)The Effect of User Interactions on Shaping Online Trust: Evidence from a Large-scale Experiment., , and . PACIS, page 45. (2020)3D Single Target Tracking Algorithm Based on Dynamic Search Center., , , , , and . ICPADS, page 481-488. IEEE, (2023)Enhancing Cybersecurity in Industrial Control System with Autonomous Defense Using Normalized Proximal Policy Optimization Model., , , , and . ICPADS, page 928-935. IEEE, (2023)Formal treatment of real-time properties in Event-B. University of Southampton, UK, (2020)British Library, EThOS.2D3D-MATR: 2D-3D Matching Transformer for Detection-free Registration between Images and Point Clouds., , , , , , and . ICCV, page 14082-14092. IEEE, (2023)Fusion-Aware Point Convolution for Online Semantic 3D Scene Segmentation., , , and . CVPR, page 4533-4542. Computer Vision Foundation / IEEE, (2020)