Concepedia

Shipei Zhang

SZ

Statistics

Publications

3

Citations

64

H-Index

3

Active since

1992

Affiliations

State University of New York(Current)

Shipei Zhang is an author at State University of New York specializing in engineering, verification, and formal methods.

Top concepts

Publications per year

1992–2022

3

Publications

3

Impact of weakly charged insoluble karaya gum on zein nanoparticle and mechanism for stabilizing Pickering emulsions

Baoguang Wu, Shipei Zhang, Xiaofen Jiang et al. · International Journal of Biological Macromolecules · 2022 · 37 citations

, , +8

On the parallel complexity of model checking in the modal mu-calculus

Shipei Zhang, Oleg Sokolsky, Scott A. Smolka · 2002 · 17 citations

, , +15

Towards efficient parallelization of equivalence checking algorithms

Shipei Zhang, Scott A. Smolka · Formal Techniques for (Networked and) Distributed Systems · 1992 · 10 citations

, , +10

1–3 of 3