Lihui Lei

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 7

Top Topics

Computation Tree Logic

Top Venues

Publications

Kai Yang, Lihui Lei, Chang Lu
Long-Term Traffic Flow Prediction Based on DiGCN-based Multi-head Spatiotemporal Attention Convolutional Network. ICMLC (2023)
Dongliang Zhou, Lihui Lei
A Novel Method for Signal Sequence Classification Based on Markov Reward Models. NCTCS (2023)
Hina Madiha, Lihui Lei, Asif Ali Laghari, Sajida Karim
Quality of Experience and Quality of Service of Gaming Services in Fog Computing. ICMSS (2020)
Yongming Li, Lihui Lei, Sanjiang Li
Computation tree logic model checking based on multi-valued possibility measures. Inf. Sci. 485 (2019)
Lihui Lei, Jing Wang
可能性测度下的LTL模型检测并行化研究 (Parallelization of LTL Model Checking Based on Possibility Measure). 计算机科学 45 (4) (2018)
Yongming Li, Manfred Droste, Lihui Lei
Model checking of linear-time properties in multi-valued systems. Inf. Sci. 377 (2017)
Lihui Lei, Yuan Cai
A Dietary Nutrition Analysis Method Leveraging Big Data Processing and Fuzzy Clustering. HIS (2016)
Lihui Lei, Sabyasachi Sengupta, Tarini Pattanaik, Jerry Gao
MCloudDB: A Mobile Cloud Database Service Framework. MobileCloud (2015)
Jerry Gao, Lihui Lei, Shui Yu
Big Data Sensing and Service: A Tutorial. BigDataService (2015)
Yongming Li, Lihui Lei
Model-Checking of Linear-Time Properties in Multi-Valued Systems CoRR (2012)
Lihui Lei
Formal Verification of a solution for Green Computing. QLSC (2012)
Lihui Lei
A service selection method for improving integrated business processes. APSCC (2009)
Lihui Lei, Zhenhua Duan
Automating Web Service Composition for Collaborative Business Processes. CSCWD (2007)
Lihui Lei, Zhenhua Duan
Integrating AJAX and Web Services for Cooperative Image Editing. IT Prof. 9 (3) (2007)
Lihui Lei, Zhenhua Duan
Transforming OWL-S Process Model into EDFA for Service Discovery. ICWS (2006)
Lihui Lei, Zhenhua Duan, Bin Yu
Semantic Matching of Web Services Based on Choreographies. CSCWD (2006)
Lihui Lei, Zhenhua Duan, Bin Yu
Semantic Matching of Web Services for Collaborative Business Processes. CSCWD (Selected Papers) (2006)