( 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.

Hongxia He

Chunmao He

Ning He

Yunbin He

Xuehui He

 

Other publications of authors with the same name

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)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)An inductive synthesis framework for verifiable reinforcement learning., , , and . PLDI, page 686-701. ACM, (2019)VNF-B&B: Enabling edge-based NFV with CPE resource sharing., and . PIMRC, page 1-5. IEEE, (2017)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)IoT-B&B: Edge-Based NFV for IoT Devices with CPE Crowdsourcing., and . Wirel. Commun. Mob. Comput., (2018)Scene Text Detection with Adaptive Line Clustering., , and . ECCV Workshops (1), volume 9913 of Lecture Notes in Computer Science, page 364-377. Springer, (2016)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)