Haiyu Pan - Publications, H-index & Citations

Haiyu Pan

Guilin University of Electronic Technology

10H指数

33论文数

390被引数

收录论文 10

发表时间

Incremental model checking for fuzzy computation tree logic

FUZZY SETS AND SYSTEMS

IF2.7

2025-01-01

PREAI

Pan, Haiyu; Zhou, Jie; Lin, Yuming; Cao, Yongzhi

Analyses of the gut microbial composition of domestic pig louse Haematopinus suis

MICROBIAL PATHOGENESIS

IF3.5

2024-12-01

PREAI

Deng, Yuan-Ping; Yao, Chaoqun; Fu, Yi-Tian; Zhuo, Yu; Zou, Jian-Lei; Pan, Hai-Yu; Peng, Yan-Yan; Liu, Guo-Hua

Approximate Safety Properties in Metric Transition Systems

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2022-03-01

PREAI

Qian, Junyan; Shi, Fan; Cai, Yong; Pan, Haiyu

Fuzzy Alternating Refinement Relations Under the Godel Semantics

IEEE TRANSACTIONS ON FUZZY SYSTEMS

IF11.9

2021-05-01

PREAI

Pan, Haiyu; Cao, Yongzhi; Chang, Liang; Qian, Junyan; Lin, Yuming

A hierarchical gravitational search algorithm with an effective gravitational constant

SWARM AND EVOLUTIONARY COMPUTATION

IF8.5

2019-05-01

101

PREAI

Wang, Yirui; Yu, Yang; Gao, Shangce; Pan, Haiyu; Yang, Gang

Fuzzy Pushdown Termination Games

IEEE TRANSACTIONS ON FUZZY SYSTEMS

IF11.9

2019-04-01

PREAI

Pan, Haiyu; Song, Fu; Cao, Yongzhi; Qian, Junyan

Reachability in Fuzzy Game Graphs

IEEE TRANSACTIONS ON FUZZY SYSTEMS

IF11.9

2017-08-01

PREAI

Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao

Nondeterministic fuzzy automata with membership values in complete residuated lattices 在完整剩余格中具有隶属度值的非确定性模糊自动机

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2017-03-01

OAAI

Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Ping

Lattice-valued simulations for quantitative transition systems

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2015-01-01

OAAI

Pan, Haiyu; Li, Yongming; Cao, Yongzhi

Simulation for lattice-valued doubly labeled transition systems

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2014-03-01

OAAI

Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang

研究方向