Hongqiang Wang

4PUBLICATIONS
2CO-AUTHORS
Formal methods for softwareMedical virologyFish pests and diseasesModels of care and place of birth
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (4)

|Dec 31, 2025
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models.

Zi Wang, Xiaoyu Zhu, Hongqiang Wang

|Aug 26, 2023
WA-ResUNet: A Focused Tail Class MRI Medical Image Segmentation Algorithm.

Haixia Pan, Bo Gao, Wenpei Bai

|Jul 11, 2023
UWV-Yolox: A Deep Learning Model for Underwater Video Object Detection.

Haixia Pan, Jiahua Lan, Hongqiang Wang

|May 13, 2023
An Instance Segmentation Model Based on Deep Learning for Intelligent Diagnosis of Uterine Myomas in MRI.

Haixia Pan, Meng Zhang, Wenpei Bai

Pageof 1

Frequent Collaborators

2 joint publications

Bin Li

1 joint publications

Zi Wang