Author of the publication

Formal Approaches to SMS Service Based on Pi Calculus.

, , , and . FCST, page 692-697. IEEE Computer Society, (2009)

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

A Sound Dynamic Resource-Constrained Scheduling Scheme., and . CIS (1), page 311-314. IEEE Computer Society, (2009)Distributed Scheduling Extension on Hadoop., , and . CloudCom, volume 5931 of Lecture Notes in Computer Science, page 687-693. Springer, (2009)SEGBFT: A Scalable Consensus Protocol for Consortium Blockchain., and . ICBCT, page 15-21. ACM, (2022)A New Parallel Approach for Reachability Analysis of Pushdown Models., , , , and . ICMSS, page 113-118. ACM, (2017)A New Model of Software Network for Object-Oriented Software System., , , and . SMC, page 516-522. IEEE, (2021)DAPR-Net: Domain Adaptive Predicting-Refinement Network for Retinal Vessel Segmentation., , , and . DART/DCL@MICCAI, volume 12444 of Lecture Notes in Computer Science, page 13-22. Springer, (2020)A New Indoor Location Method Based on Real-Time Motion and Sectional Compressive Sensing., and . ICIC (3), volume 10363 of Lecture Notes in Computer Science, page 143-155. Springer, (2017)Refactoring of Object-oriented Package Structure Based on Complex Network., , , , and . SEKE, page 73-78. KSI Research Inc., (2022)Formal Modeling and Verification of Microservice-Based Cyber-Physical System., , and . SOFL+MSVL, volume 12723 of Lecture Notes in Computer Science, page 34-53. Springer, (2020)A New Model on the School-Enterprise Cooperation Curriculum Construction., , , and . CSEE&T, page 115-119. IEEE Computer Society, (2012)