Concepedia

Haiyu Pan

HP

10

Publications

340

Citations

10

H-Index

2013

Active since

Affiliations

Peking University(Current)

Shaanxi Normal University

Institute of Software

Taizhou University

Guilin University of Electronic Technology

Haiyu Pan is an author at Peking University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationPhysicsFuzzy LogicVerificationNatural SciencesNumerical Analysis

Publications per year

2013–2023

10

Publications

10

A hierarchical gravitational search algorithm with an effective gravitational constant

Yirui Wang, Yang Yu, Shangce Gao et al. · Swarm and Evolutionary Computation · 2019 · 131 citations

Numerical Analysis, Mathematical Programming, Computational Science +11

Model checking fuzzy computation tree logic

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

Fuzzy Logic, Engineering, Automated Reasoning +7

Nondeterministic fuzzy automata with membership values in complete residuated lattices

Haiyu Pan, Yongming Li, Yongzhi Cao et al. · International Journal of Approximate Reasoning · 2016 · 37 citations

Fuzzy Logic, Engineering, Fuzzy Computing +8

Lattice-valued simulations for quantitative transition systems

Haiyu Pan, Yongming Li, Yongzhi Cao · International Journal of Approximate Reasoning · 2014 · 36 citations

Quantum Lattice System, Physics, Natural Sciences +4

Simulation for lattice-valued doubly labeled transition systems

Haiyu Pan, Yongzhi Cao, Min Zhang et al. · International Journal of Approximate Reasoning · 2013 · 35 citations

Rows per page

1–5 of 10