( en | de | ru )

 

Disambiguation of "Zhu, He"

Author of the publication

copydeleteadd this publication to your clipboard
Data mining based decomposition for assume-guarantee reasoning.

, , , , and . FMCAD, page 116-119. IEEE, (2009)

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.

Ning He

Hongxia He

Chunmao He

Xiaowen He

Hucang He

 

Other publications of authors with the same name

IoT-B&B: Edge-Based NFV for IoT Devices with CPE Crowdsourcing., and . Wirel. Commun. Mob. Comput., (2018)A Full Program Control Flow Representation for Real Programs., and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 162-165. Springer, (1997)Use of Information Technology for Medication Management in Residential Care Facilities: Correlates of Facility Characteristics., , , , , , and . J. Medical Systems, 39 (6): 70:1-70:8 (2015)Scene Text Detection with Adaptive Line Clustering., , and . ECCV Workshops (1), volume 9913 of Lecture Notes in Computer Science, page 364-377. Springer, (2016)Ultra-wideband (UWB) bandpass filter with sharp selectivity and wide upper stopband., and . ICUWB, page 103-105. IEEE, (2012)Consistency- and dependence-guided knowledge distillation for object detection in remote sensing images., , , , , and . Expert Syst. Appl., 229 (Part A): 120519 (November 2023)VNF-B&B: Enabling edge-based NFV with CPE resource sharing., and . PIMRC, page 1-5. IEEE, (2017)An inductive synthesis framework for verifiable reinforcement learning., , , and . PLDI, page 686-701. ACM, (2019)Dynamic Response Analysis of Asynchronous Deicing of Quad Bundle Conductor Spacer System During DC Ice Melting., , , , and . IEEE Access, (2022)A Research Funding Allocation Scheme in Multi-Layer Networks for the Growth of Talents., , , , , and . IEEE Access, (2022)