Concepedia

Xingmin Cui

XC

Statistics

Publications

1

Citations

26

H-Index

1

Active since

2015

Affiliations

University of Hong Kong(Current)

Xingmin Cui is an author at University of Hong Kong specializing in data security, formal verification, and software analysis.

Top concepts

Publications per year

2015–2015

1

Publications

1

WeChecker

Xingmin Cui, Jingxuan Wang, Lucas C. K. Hui et al. · 2015 · 26 citations

, , +14

1–1 of 1