Concepedia

Zhanyou Ma

ZM

Statistics

Publications

4

Citations

172

H-Index

4

Active since

2014

Affiliations

Shaanxi Normal University(Current)

Institute of Software

Peking University

Zhanyou Ma is an author at Shaanxi Normal University specializing in computing, model checking, and computation tree logic.

ORCID

Publications per year

2014–2015

4

Publications

4

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

Yongming Li, Zhanyou Ma · IEEE Transactions on Fuzzy Systems · 2015 · 56 citations

, , +13

Computation tree logic model checking based on possibility measures

Yongming Li, Yali Li, Zhanyou Ma · Fuzzy Sets and Systems · 2014 · 54 citations

, , +10

Model checking fuzzy computation tree logic

Haiyu Pan, Yongming Li, Yongzhi Cao et al. · Fuzzy Sets and Systems · 2014 · 42 citations

, , +12

Model checking computation tree logic over finite lattices

Haiyu Pan, Yongming Li, Yongzhi Cao et al. · Theoretical Computer Science · 2015 · 20 citations

, , +11

1–4 of 4