Hai Liu is an author at Xidian University specializing in data privacy, formal verification, and data security.
Top concepts
EngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsData ManagementComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2005–2017
2
2
Maximal lifetime scheduling in sensor surveillance networks
Hai Liu, Peng‐Jun Wan, Chih‐Wei Yi et al. · 2005 · 124 citations
Rows per page
1–2 of 2