Zhihao Jiang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024

Sustainable Distributed Adaptive Platoon in Multi-Agent Mobile-Edge Computing Networks for Lane Reduction Scenario.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., November, 2024

Internal Thread Defect Generation Algorithm and Detection System Based on Generative Adversarial Networks and You Only Look Once.

[BibT_eX]

[DOI]

Sensors, September, 2024

Industry 4.0-Compliant Occupational Chronic Obstructive Pulmonary Disease Prevention: Literature Review and Future Directions.

[BibT_eX]

[DOI]

Zhihao Jiang

Otto J. Bakker

Paulo J. D. S. Bartolo

Sensors, September, 2024

A low-profile dual-broadband dual-circularly-polarized reflectarray for K-/Ka-band space applications.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., August, 2024

A Wideband Transmitarray Antenna Based on True-Time Delay Magneto-Electric Dipole Elements.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, July, 2024

Sea Ice Detection from GNSS-R Data Based on Local Linear Embedding.

[BibT_eX]

[DOI]

Remote. Sens., July, 2024

Millimeter-Wave and Sub-6-GHz Aperture-Shared Antenna and Array for Mobile Terminals Accessing 5G/6G-Enabled IoT Scenarios.

[BibT_eX]

[DOI]

IEEE Internet Things J., May, 2024

A Low-Profile, Wide-Angle Scanning Phased Array Based on Dual-Mode Patch Elements for Vehicular Millimeter-Wave Applications.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, February, 2024

Millimeter-Wave Beam-Tilted Phased Array Antenna for 5G-Enabled IoT Devices.

[BibT_eX]

[DOI]

IEEE Internet Things J., January, 2024

Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning.

[BibT_eX]

[DOI]

Jie Wang

Zhihao Jiang

Yash Vardhan Pant

Knowl. Based Syst., 2024

Decision support for personalized therapy in implantable medical devices: A digital twin approach.

[BibT_eX]

[DOI]

Haochen Yang

Zhihao Jiang

Expert Syst. Appl., 2024

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2024

Differential Privacy with Multiple Selections.

[BibT_eX]

[DOI]

Sahasrajit Sarmasarkar

CoRR, 2024

Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Guangyao Chen

Zhihao Jiang

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development.

[BibT_eX]

[DOI]

Jicheng Gu

Peiheng Cai

Zhihao Jiang

Proceedings of the 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024

Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Persistent graph stream summarization for real-time graph analytics.

[BibT_eX]

[DOI]

World Wide Web (WWW), September, 2023

Microwave Metalens Antennas.

[BibT_eX]

[DOI]

Proc. IEEE, August, 2023

High-Resolution Magnetoelectric Sensor and Low-Frequency Measurement Using Frequency Up-Conversion Technique.

[BibT_eX]

[DOI]

Sensors, February, 2023

GNSS-R Sea Ice Detection Based on Linear Discriminant Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2023

Cognitive-Digital-Twin-Based Driving Assistance.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2023

Multifeature GNSS-R Snow Depth Retrieval Using GA-BP Neural Network.

[BibT_eX]

[DOI]

IEEE Geosci. Remote. Sens. Lett., 2023

Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control.

[BibT_eX]

[DOI]

Jie Wang

Yash Vardhan Pant

Zhihao Jiang

CoRR, 2023

Early Alarm: Robust Event Analysis for Power Systems using 1-D Fully Convolutional Network.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2023

HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segmentation in Non-contrast CT Images.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

pyUPPAAL: A Python Package for Risk Analysis of CPS.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022

GNSS-R Snow Depth Inversion Based on Variational Mode Decomposition With Multi-GNSS Constellations.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2022

Online Algorithms for Weighted Paging with Predictions.

[BibT_eX]

[DOI]

Zhihao Jiang

Debmalya Panigrahi

Kevin Sun

ACM Trans. Algorithms, 2022

An SVM-Based Snow Detection Algorithm for GNSS-R Snow Depth Retrievals.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022

RGraph: Asynchronous graph processing based on asymmetry of remote direct memory access.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2022

Question-relationship guided graph attention network for visual question answer.

[BibT_eX]

[DOI]

Multim. Syst., 2022

Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles.

[BibT_eX]

[DOI]

Jie Wang

Zhihao Jiang

Yash Vardhan Pant

CoRR, 2022

On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Curvature-Enhanced Implicit Function Network for High-quality Tooth Model Generation from CBCT Images.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022

Critical Review of Industry 4.0 Technologies' Applications on Occupational Safety and Health.

[BibT_eX]

[DOI]

Zhihao Jiang

Otto J. Bakker

Paulo J. D. S. Bartolo

Proceedings of the 8th International Conference on Control, 2022

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Key Technologies in 6G Terahertz Wireless Communication Systems: A Survey.

[BibT_eX]

[DOI]

IEEE Veh. Technol. Mag., 2021

GNSS-IR Model of Sea Level Height Estimation Combining Variational Mode Decomposition.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

Experience Weighted Learning in Multiagent Systems.

[BibT_eX]

[DOI]

Sci. Program., 2021

Debris flow prediction with machine learning: smart management of urban systems and infrastructures.

[BibT_eX]

[DOI]

Tao Bai

Zhihao Jiang

Pejman Tahmasebi

Neural Comput. Appl., 2021

Environment Modeling During Model Checking of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Guangyao Chen

Zhihao Jiang

CoRR, 2021

Environment Modeling During Model Checking of Cyberphysical Systems.

[BibT_eX]

[DOI]

Guangyao Chen

Zhihao Jiang

Computer, 2021

A Comprehensive Method to Mitigate Forced Oscillations in Large Interconnected Power Grids.

[BibT_eX]

[DOI]

Deepak Ramasubramanian

Andrew Arana

Ryan Quint

IEEE Access, 2021

Online Selection Problems against Constrained Adversary.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Model-based clinical assist system for cardiac ablation.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Predicting Synthetic Lethality in Human Cancers via Multi-Graph Ensemble Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Fair for All: Best-effort Fairness Guarantees for Classification.

[BibT_eX]

[DOI]

Anilesh Kollagunta Krishnaswamy

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Group Fairness in Committee Selection.

[BibT_eX]

[DOI]

ACM Trans. Economics and Comput., 2020

Dynamic Model Reduction for Large-Scale Power Systems Using Wide-Area Measurements.

[BibT_eX]

[DOI]

IEEE Access, 2020

Patch Antenna Loaded With Paired Shorting Pins and H-Shaped Slot for 28/38 GHz Dual-Band MIMO Applications.

[BibT_eX]

[DOI]

IEEE Access, 2020

A N260 Band 64 Channel Millimeter Wave Full-Digital Multi-Beam Array for 5G Massive MIMO Applications.

[BibT_eX]

[DOI]

IEEE Access, 2020

Ungrounded Coplanar Waveguide Based Straight Line Methods for Broadband and Continuous Dielectric Characterization of Microwave Substrates.

[BibT_eX]

[DOI]

IEEE Access, 2020

Broadband Measurement of Substrate Complex Permittivity Using Optimized ABCD Matrix.

[BibT_eX]

[DOI]

Longzhu Cai

Zhi Hao Jiang

Wei Hong

IEEE Access, 2020

Approximately stable committee selection.

[BibT_eX]

[DOI]

Zhihao Jiang

Kamesh Munagala

Kangning Wang

Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020

Driver's Perception Model in Driving Assist.

[BibT_eX]

[DOI]

Renzhi Tang

Zhihao Jiang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Distributionally Robust SWIPT Beamforming for MU-MISO Interfering Broadcast Channels.

[BibT_eX]

[DOI]

Silei Wang

Qiang Li

Zhihao Jiang

Proceedings of the 31st IEEE Annual International Symposium on Personal, 2020

A file system for safely interacting with untrusted USB flash drives.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020

Dynamic Equivalence of Large-Scale Power Systems Based on Boundary Measurements.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

mm-Wave Waveguide Traveling-Wave Power Combiner Design Using an Equivalent Circuit Model.

[BibT_eX]

[DOI]

IEEE Access, 2019

Joint Multi-Channel Sparse Method of Robust PCA for SAR Ground Moving Target Image Indication.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Synthesizing stealthy reprogramming attacks on cardiac devices.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

An FPTAS for Stochastic Unbounded Min-Knapsack Problem.

[BibT_eX]

[DOI]

Zhihao Jiang

Haoyu Zhao

Proceedings of the Frontiers in Algorithmics - 13th International Workshop, 2019

2018

An Overview of China Millimeter-Wave Multiple Gigabit Wireless Local Area Network System.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2018

Property-Driven Runtime Resolution of Feature Interactions.

[BibT_eX]

[DOI]

Santhana Gopalan Raghavan

Proceedings of the Runtime Verification - 18th International Conference, 2018

Digital Behavioral Twins for Safe Connected Cars.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Computer Aided Clinical Trials for Implantaule Cardiac Devices.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

2017

Compact, Highly Efficient, and Fully Flexible Circularly Polarized Antenna Enabled by Silver Nanowires for Wireless Body-Area Networks.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Circuits Syst., 2017

Automated closed-loop model checking of implantable pacemakers using abstraction trees.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

2016

Design and Experimental Investigation of a Compact Circularly Polarized Integrated Filtering Antenna for Wearable Biotelemetric Devices.

[BibT_eX]

[DOI]

Zhi Hao Jiang

Micah D. Gregory

Douglas H. Werner

IEEE Trans. Biomed. Circuits Syst., 2016

Dynamic proofs of retrievability with square-root oblivious RAM.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2016

The Challenges of High-Confidence Medical Device Software.

[BibT_eX]

[DOI]

Computer, 2016

Towards Model Checking of Implantable Cardioverter Defibrillators.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

High-level modeling for computer-aided clinical trials of medical devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

In-silico pre-clinical trials for implantable cardioverter defibrillators.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Three challenges in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Communication Systems and Networks, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

High-Confidence Medical Device Software Development.

[BibT_eX]

[DOI]

Zhihao Jiang

Rahul Mangharam

Found. Trends Electron. Des. Autom., 2015

Model Checking Implantable Cardioverter Defibrillators.

[BibT_eX]

[DOI]

CoRR, 2015

Activity Prediction Based on Spatiotemporal Model in a Multiple Cameras Network.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Multimedia Big Data, BigMM 2015, 2015

2014

Safety-critical medical device development using the UPP2SF model translation tool.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Closed-loop verification of medical devices with model abstraction and refinement.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

An overview of several recent antenna designs utilizing nature-inspired optimization algorithms.

[BibT_eX]

[DOI]

Clinton P. Scarborough

Pingjuan L. Werner

Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Communication Systems and Networks, 2014

2012

Cyber-Physical Modeling of Implantable Cardiac Medical Devices.

[BibT_eX]

[DOI]

Zhihao Jiang

Miroslav Pajic

Rahul Mangharam

Proc. IEEE, 2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Demo abstract: Closed-loop testing for implantable cardiac pacemakers.

[BibT_eX]

[DOI]

Zhihao Jiang

Miroslav Pajic

Rahul Mangharam

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Model-Based Closed-Loop Testing of Implantable Pacemakers.

[BibT_eX]

[DOI]

Zhihao Jiang

Miroslav Pajic

Rahul Mangharam

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model.

[BibT_eX]

[DOI]

Zhihao Jiang

Rahul Mangharam

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

A passive UHF tag for RFID-based train axle temperature measurement system.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Custom Integrated Circuits Conference, 2011

2010

A platform for implantable medical device validation: demo abstract.

[BibT_eX]

[DOI]

Proceedings of Wireless Health 2010, 2010

A platform for implantable medical device validation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Study on the correlation between tongue diagnosis of traditional Chinese medical and assay result of health check.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

Zhihao Jiang

Bibliography

Loading...