logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
H

Haiyu Pan

Guilin University of Electronic Technology

10H-index
33Paper Count
390Citation Count
Published Papers 10
Publication Date
logo
Incremental model checking for fuzzy computation tree logic
errFUZZY SETS AND SYSTEMS
IF2.7
err2025-01-01
err0
PREAI
errPan, Haiyu; Zhou, Jie; Lin, Yuming; Cao, Yongzhi
errShare
errSave
Analyses of the gut microbial composition of domestic pig louse Haematopinus suis
errMICROBIAL PATHOGENESIS
IF3.5
err2024-12-01
err0
PREAI
errDeng, Yuan-Ping; Yao, Chaoqun; Fu, Yi-Tian; Zhuo, Yu; Zou, Jian-Lei; Pan, Hai-Yu; Peng, Yan-Yan; Liu, Guo-Hua
errShare
errSave
Approximate Safety Properties in Metric Transition Systems
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2022-03-01
err3
PREAI
errQian, Junyan; Shi, Fan; Cai, Yong; Pan, Haiyu
errShare
errSave
Fuzzy Alternating Refinement Relations Under the Godel Semantics
errIEEE TRANSACTIONS ON FUZZY SYSTEMS
IF11.9
err2021-05-01
err5
PREAI
errPan, Haiyu; Cao, Yongzhi; Chang, Liang; Qian, Junyan; Lin, Yuming
errShare
errSave
A hierarchical gravitational search algorithm with an effective gravitational constant
errSWARM AND EVOLUTIONARY COMPUTATION
IF8.5
err2019-05-01
err101
PREAI
errWang, Yirui; Yu, Yang; Gao, Shangce; Pan, Haiyu; Yang, Gang
errShare
errSave
Fuzzy Pushdown Termination Games
errIEEE TRANSACTIONS ON FUZZY SYSTEMS
IF11.9
err2019-04-01
err6
PREAI
errPan, Haiyu; Song, Fu; Cao, Yongzhi; Qian, Junyan
errShare
errSave
Reachability in Fuzzy Game Graphs
errIEEE TRANSACTIONS ON FUZZY SYSTEMS
IF11.9
err2017-08-01
err13
PREAI
errPan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
errShare
errSave
Nondeterministic fuzzy automata with membership values in complete residuated lattices
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2017-03-01
err30
errOAAI
errPan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Ping
errShare
errSave
Lattice-valued simulations for quantitative transition systems
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2015-01-01
err36
errOAAI
errPan, Haiyu; Li, Yongming; Cao, Yongzhi
errShare
errSave
Simulation for lattice-valued doubly labeled transition systems
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2014-03-01
err38
errOAAI
errPan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Shangce Gao
H-index: 49 · Papers: 417
G
Guo‐Hua Liu
H-index: 39 · Papers: 292
李永明 cover
李永明 (Yongming Li)
H-index: 35 · Papers: 471
Y
Yirui Wang
H-index: 34 · Papers: 218
常亮 cover
常亮 (Liang Chang)
H-index: 29 · Papers: 344
View more