( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems.

, и . LFCS, том 7734 из Lecture Notes in Computer Science, стр. 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.

Hao Zheng

Wenjin Hao

Xiaofei Hao

Zheng-Zheng Kuang

Jin Hao

 

Другие публикации лиц с тем же именем

Transparent driver-kernel isolation with VMM intervention., , , , , , и . TRIOS@SOSP, стр. 2:1-2:16. ACM, (2013)A research design of potential application of public screen in student vicinity., , и . MindTrek, стр. 244-246. ACM, (2012)Sleeve muscle actuator and its application in transtibial prostheses., и . ICORR, стр. 1-5. IEEE, (2013)LDPC codes for low-complexity analog decoders., , , , и . ChinaCom, стр. 167-171. IEEE Computer Society, (2015)Design of 12bit 100MHz Sample and Hold circuit for pipeline ADC., , и . WCSP, стр. 1-5. IEEE, (2011)A Handheld Steerable Surgical Drill With a Novel Miniaturized Articulated Joint Module for Dexterous Confined-Space Bone Work., , , и . IEEE Trans. Biomed. Eng., 69 (9): 2926-2934 (2022)TAPS: Topology-Aware Intra-Operator Parallelism Strategy Searching Algorithm for Deep Neural Networks., , , , и . CoRR, (2023)Can Machine Learning Uncover Insights into Vehicle Travel Demand from Our Built Environment?, и . CoRR, (2023)OCMGen: Extended Design Space Exploration with Efficient FPGA Memory Inference., , , и . FCCM, стр. 225. IEEE, (2023)Cascaded Dilated Dense Network with Two-step Data Consistency for MRI Reconstruction., , и . NeurIPS, стр. 1742-1752. (2019)