( en | de | ru )

 

Disambiguation of "Zheng, Hao"

Author of the publication

copydeleteadd this publication to your clipboard
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems.

, and . LFCS, volume 7734 of Lecture Notes in Computer Science, page 234-251. Springer, (2013)

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.

Hao Zheng

Xiaofei Hao

Wenjin Hao

Zheng-Zheng Kuang

Jin Hao

 

Other publications of authors with the same name

Compositional Generalization via Semantic Tagging., and . CoRR, (2020)TNN: Tree Neural Network for Airway Anatomical Labeling., , , , , , and . IEEE Trans. Medical Imaging, 42 (1): 103-118 (2023)A design strategy for real-time IoT systems based on Petri net with multi-connection and multi-task., , and . Int. J. Sens. Networks, 43 (3): 184-193 (2023)A cognitive analysis-based key concepts derivation approach for product design., , , , , , and . Expert Syst. Appl., (February 2024)A cerebellar operant conditioning-inspired constraint satisfaction approach for product design concept generation., , , , , and . Int. J. Prod. Res., 61 (17): 5822-5841 (September 2023)Data-Driven Joint Beam Selection and Power Allocation for Multiple Target Tracking., , and . Remote. Sens., 14 (7): 1674 (2022)Discriminative deep multi-task learning for facial expression recognition., , , , , , and . Inf. Sci., (2020)DAC: Disentanglement-and-Calibration Module for Cross-Domain Few-Shot Classification., , and . IEEE Access, (2023)Low-rank 2D local discriminant graph embedding for robust image feature extraction., , , , , and . Pattern Recognit., (2023)A Nuclear Norm Based Matrix Regression Based Projections Method for Feature Extraction., , , and . IEEE Access, (2018)