Zining Cao - Publications, H-index & Citations

Back

曹

曹子宁 (Zining Cao)

Nanjing University of Aeronautics and Astronautics

7H-index

93Paper Count

187Citation Count

Published Papers 7

Publication Date

A framework for mining CPS specification based on neural hybrid automata

Knowledge-Based Systems

IF7.6

2025-12-11

PREAI

Chao Xing; Zining Cao; Zhen Li

Save

Modeling and Controlling Cyber-Physical Systems Based on Hybrid Turing Machine and Reinforcement Learning

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

IF0.6

2025-11-01

PREAI

Xing, Chao; Cao, Zining; Li, Zhen

Save

From stomatal lineage to totipotent embryo: a direct path revealed by LEC2- induced reprogramming

SEED BIOLOGY

IF0

2025-09-19

PREAI

Cao, Zining; Jiao, Yuling

Save

A security type verifier for smart contracts

COMPUTERS & SECURITY

IF5.4

2021-09-01

PREAI

Hu, Xinwen; Zhuang, Yi; Lin, Shang-Wei; Zhang, Fuyuan; Kan, Shuanglong; Cao, Zining

Save

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

IEEE ACCESS

IF3.6

2020-01-01

OAAI

Wang, Fujun; Cao, Zining; Tan, Lixing; Zong, Hui

Save

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Ma, Yan; Cao, Zining; Liu, Yang

Save

Modeling Dependability Features for Real-Time Embedded Systems

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2015-03-01

PREAI

Ni, Siru; Zhuang, Yi; Cao, Zining; Kong, Xiangying

Save

Research Directions