Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model checking of linear-time properties in multi-valued systems., , and . Inf. Sci., (2017)A Novel Method for Signal Sequence Classification Based on Markov Reward Models., and . NCTCS, volume 1944 of Communications in Computer and Information Science, page 65-81. Springer, (2023)Computation tree logic model checking based on multi-valued possibility measures., , and . Inf. Sci., (2019)A service selection method for improving integrated business processes.. APSCC, page 332-339. IEEE, (2009)MCloudDB: A Mobile Cloud Database Service Framework., , , and . MobileCloud, page 6-15. IEEE Computer Society, (2015)Formal Verification of a solution for Green Computing.. QLSC, volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)A Dietary Nutrition Analysis Method Leveraging Big Data Processing and Fuzzy Clustering., and . HIS, volume 10038 of Lecture Notes in Computer Science, page 129-135. (2016)Model-Checking of Linear-Time Properties in Multi-Valued Systems, and . CoRR, (2012)可能性测度下的LTL模型检测并行化研究 (Parallelization of LTL Model Checking Based on Possibility Measure)., and . 计算机科学, 45 (4): 71-75 (2018)Long-Term Traffic Flow Prediction Based on DiGCN-based Multi-head Spatiotemporal Attention Convolutional Network., , and . ICMLC, page 562-567. ACM, (2023)