( en | de | ru )

 

Disambiguation of "Zhang, Wenhui"

Author of the publication

copydeleteadd this publication to your clipboard
Cross-Frame Transformer-Based Spatio-Temporal Video Super-Resolution.

, , , , and . IEEE Trans. Broadcast., 68 (2): 359-369 (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.

Wenhui Zhang

Wenhui Zhang

Wenhui Huang

Wenhui Sun

Wenhui Li

 

Other publications of authors with the same name

Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking.. J. Comput. Sci. Technol., 18 (6): 762-770 (2003)An introduction to INCAPS system., , and . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)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)Enhancing the Security of Protocols against Actor Key Compromise Problems., and . CoRR, (2015)On Completeness Results of Hoare Logic Relative to the Standard Model., , and . CoRR, (2017)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)Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization., , , , and . IEEE Trans. Veh. Technol., 71 (9): 10173-10178 (2022)