He Zhu

According to our database1, He Zhu authored at least 43 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Phase Reconfigurable Microwave Power Divider.
IEEE Trans. on Circuits and Systems, 2019

Measuring Spatial Mismatch between Public Transit Services and Regular Riders: A Case Study of Beijing.
ISPRS Int. J. Geo-Information, 2019

Sensitivity Analysis and Optimal Design of a Linear Magnetic Gear for Direct-Drive Wave Energy Conversion.
IEEE Access, 2019

An inductive synthesis framework for verifiable reinforcement learning.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Design of Miniaturized On-Chip Bandpass Filters using Inverting-Coupled Structure for Millimter-Wave Applications.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Design of Ultra-Wideband On-Chip Millimter-Wave Bandpass Filter in 0.13-μm (Bi)-CMOS Technology.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Millimeter-Wave BPFs Design using Quasi-Lumped Elements in 0.13-μm (Bi)-CMOS Technology.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

IoT-B&B: Edge-Based NFV for IoT Devices with CPE Crowdsourcing.
Wireless Communications and Mobile Computing, 2018

Miniaturized Resonator and Bandpass Filter for Silicon-Based Monolithic Microwave and Millimeter-Wave Integrated Circuits.
IEEE Trans. on Circuits and Systems, 2018

A Music-Driven Dance System of Humanoid Robots.
I. J. Humanoid Robotics, 2018

EdgePlace: Availability-aware placement for chained mobile edge applications.
Trans. Emerging Telecommunications Technologies, 2018

A data-driven CHC solver.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

EdgeChain: Blockchain-based Multi-vendor Mobile Edge Application Placement.
Proceedings of the 4th IEEE Conference on Network Softwarization and Workshops, 2018

A Blockchain-Based Decentralized Cloud Resource Scheduling Architecture.
Proceedings of the International Conference on Networking and Network Applications, 2018

Distributed Data Vending on Blockchain.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Cost-Efficient VNF Placement Strategy for IoT Networks with Availability Assurance.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

VNF-B&B: Enabling edge-based NFV with CPE resource sharing.
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

Research on passivity based control and active disturbance rejection control for MMC-UPQC.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Availability-Aware Mobile Edge Application Placement in 5G Networks.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

Automatically learning shape specifications.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Scene Text Detection with Adaptive Line Clustering.
Proceedings of the Computer Vision - ECCV 2016 Workshops, 2016

An Optimized Super-Junction VDMOS with Breakdown Voltage Over 600 V.
J. Low Power Electronics, 2015

Use of Information Technology for Medication Management in Residential Care Facilities: Correlates of Facility Characteristics.
J. Medical Systems, 2015

River Channel Extraction From SAR Images by Combining Gray and Morphological Features.
CSSP, 2015

Dependent Array Type Inference from Tests.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Learning refinement types.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Poling: SMT Aided Linearizability Proofs.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Do service innovations influence the adoption of electronic health records in long-term care organizations? Results from the U.S. National Survey of Residential Care Facilities.
I. J. Medical Informatics, 2014

Compositional and Lightweight Dependent Type Inference for ML.
Proceedings of the Verification, 2013

Vulnerability evaluation for securely offloading mobile apps in the cloud.
Proceedings of the IEEE 2nd International Conference on Cloud Networking, 2013

OPEN: An optimisation scheme of N-node coverage in wireless sensor networks.
IET Wireless Sensor Systems, 2012

Ultra-wideband (UWB) bandpass filter with sharp selectivity and wide upper stopband.
Proceedings of the IEEE International Conference on Ultra-Wideband, 2012

Research based on improved fuzzy immune PID algorithm optimized copper electrolysis rectifier system.
Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

Compositional Abstraction Refinement for Timed Systems.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

DLING: A Distributed Mobile Sink Guiding Scheme for Sensor Networks.
Proceedings of IEEE International Conference on Communications, 2010

EasiSim: A Scalable Simulator for Wireless Sensor Networks.
Wireless Sensor Network, 2009

A Thunderstorm Forecast Model Based on Weighted SVM and Data Field.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

Data mining based decomposition for assume-guarantee reasoning.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Breast cancer detection by time reversal imaging.
Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2008

Compiler Support for Decoupled Virtual Shared Memory Systems.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Identifying Critical Loads in Real Programs for Decoupled VSM Systems.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

A Full Program Control Flow Representation for Real Programs.
Proceedings of the Euro-Par '97 Parallel Processing, 1997