( en | de | ru )

 

Disambiguation of "Zhang, Wenhui"

Author of the publication

copydeleteadd this publication to your clipboard
SvTPM: A Secure and Efficient vTPM in the Cloud.

, , , , , , , and . CoRR, (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.

Wenhui Zhang

Wenhui Zhang

Wenhui Huang

Wenhui Sun

Wenhui Li

 

Other publications of authors with the same name

Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model.. VTC Spring, IEEE, (2009)Bounded Correctness Checking of the Universal Fragment of eCTL., and . FSDM, volume 299 of Frontiers in Artificial Intelligence and Applications, page 326-333. IOS Press, (2017)Q-Baskakov Bases and q-Baskakov Curves and Surfaces., , and . CSAE, page 5:1-5:6. ACM, (2019)Time-Limited Tour Planning Based on Ant Colony Optimization Algorithm., , , and . DPTA, volume 1088 of Advances in Intelligent Systems and Computing, page 1155-1162. Springer, (2019)Model Checking with SAT-Based Characterization of ACTL Formulas.. ICFEM, volume 4789 of Lecture Notes in Computer Science, page 191-211. Springer, (2007)Incremental Parallelization with Migration.. University of California, Irvine, USA, (2014)base-search.net (ftcdlib:qt82w6f2w0).Toward Incremental Parallelization Using Navigational Programming., , , , , , and . IEICE Trans. Inf. Syst., 89-D (2): 390-398 (2006)Carbon Nanotubes as Active Components for Gas Sensors., and . J. Sensors, (2009)Validation of Control System Specifications with Abstract Plant Models.. SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 53-62. Springer, (2000)Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems., and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 276-290. Springer, (2010)