On the Partitioning of Syntax and Semantics For Hybrid Systems Tools. - Jonathan Sprinkle; Aaron D. Ames; Alessandro Pinto; Haiyang Zheng; S. Shankar Sastry (CDC/ECC, 2005)

Operational Semantics of Hybrid Systems. - Edward A. Lee; Haiyang Zheng (HSCC, 2005)

Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. - Edward A. Lee; Haiyang Zheng (ADHS, 2006)

Is there life after Zeno? Taking executions past the breaking (Zeno) point. - Aaron D. Ames; Haiyang Zheng; Robert D. Gregg; Shankar Sastry 001 (ACC, 2006)

Beyond Zeno: Get on with It! - Haiyang Zheng; Edward A. Lee; Aaron D. Ames (HSCC, 2006)

Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. - Edward A. Lee; Haiyang Zheng (EMSOFT, 2007)

On the Access Time in Mobile Hybrid Networks. - Haiyang Zheng; Wenye Wang (GLOBECOM, 2011)

Analysis and Research on the Mechanical Characteristics of Bus Frontal Impact Based on Simulation Analysis Method. - Linsen Du; Haiyang Zheng (ICITEE, 2020)

Hashing Linearity Enables Relative Path Control in Data Centers. - Zhehui Zhang; Haiyang Zheng; Jiayao Hu; Xiangning Yu; Chenchen Qi; Xuemei Shi; Guohui Wang (USENIX ATC, 2021)

CNMBI: Determining the Number of Clusters Using Center Pairwise Matching and Boundary Filtering. - Ruilin Zhang; Haiyang Zheng; Hongpeng Wang (ADMA (5), 2023)

TDEC: Deep Embedded Image Clustering with Transformer and Distribution Information. - Ruilin Zhang; Haiyang Zheng; Hongpeng Wang (ICMR, 2023)

Shape Discrimination of Individual Aerosol Particles Using Light Scattering. - Yan Han; Lei Ding; Yingping Wang; Haiyang Zheng; Li Fang (Sensors, 2023)

Cloud Edge Collaborative Service Composition Optimization for Intelligent Manufacturing. - Chunhe Song; Haiyang Zheng; Guangjie Han; Peng Zeng 001; Li Liu 022 (IEEE Trans. Ind. Informatics, 2023)

The application of HMM algorithm based music note feature recognition teaching in universities. - Yunli Chen; Haiyang Zheng (Intell. Syst. Appl., 2023)

Textual Knowledge Matters: Cross-Modality Co-teaching for Generalized Visual Class Discovery. - Haiyang Zheng; Nan Pu; Wenjing Li 005; Nicu Sebe; Zhun Zhong (ECCV (52), 2024)

Deep Image Clustering Based on Curriculum Learning and Density Information. - Haiyang Zheng; Ruilin Zhang; Hongpeng Wang (ICMR, 2024)

Prototypical Hash Encoding for On-the-Fly Fine-Grained Category Discovery. - Haiyang Zheng; Nan Pu; Wenjing Li 005; Nicu Sebe; Zhun Zhong (NeurIPS, 2024)

A Cascade U-Net With Transformer for Retinal Multi-Lesion Segmentation. - Haiyang Zheng; Feng Liu (Int. J. Imaging Syst. Technol., 2024)

A hybrid prognosis method based on health indicator and wiener process: The case of multi-sensor monitored aero-engine. - Xueqi Yang; Xinqin Gao; Haiyang Zheng; Mingshun Yang; Yong Liu (Eng. Appl. Artif. Intell., 2025)

Complex product quality prediction method based on an improved light gradient boosting machine. - Haiyang Zheng; Xinqin Gao; Mingshun Yang; Xueqi Yang; Yan Li; Yongming Ding (Appl. Intell., 2025)

Generate, Refine, and Encode: Leveraging Synthesized Novel Samples for On-the-Fly Fine-Grained Category Discovery. - Xiao Liu; Nan Pu; Haiyang Zheng; Wenjing Li 005; Nicu Sebe; Zhun Zhong (CoRR, 2025)