Concepedia

Lihui Lei

LL

5

Publications

123

Citations

5

H-Index

2006

Active since

Affiliations

Shaanxi Normal University(Current)

Lihui Lei is an author at Shaanxi Normal University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationTechnologyData ScienceVerificationEdge ComputingMobile ComputingInternet Of Things

Publications per year

2006–2020

5

Publications

5

Model checking of linear-time properties in multi-valued systems

Yongming Li, Manfred Droste, Lihui Lei · Information Sciences · 2016 · 39 citations

Engineering, Verification, Formal Methods +5

Computation tree logic model checking based on multi-valued possibility measures

Yongming Li, Lihui Lei, Sanjiang Li · Information Sciences · 2019 · 32 citations

Decision Procedure, Fuzzy Logic, Engineering +12

Big Data Sensing and Service: A Tutorial

Jerry Gao, Lihui Lei, Shui Yu · 2015 · 20 citations

Sensor Networks, Iot Data Analytics, Big Data Acquisition +15

Quality of Experience and Quality of Service of Gaming Services in Fog Computing

Hina Madiha, Lihui Lei, Asif Ali Laghari et al. · 2020 · 17 citations

Fog Networks, Qoe Guarantees, Gaming Services +13

Transforming OWL-S Process Model into EDFA for Service Discovery

Lihui Lei, Zhenhua Duan · 2006 · 15 citations

Web Service Specification, Engineering, Semantic Matching +20

Rows per page

1–5 of 5