Author of the publication

Formal modeling and verification of cloud-based web service composition.

, , , , and . Concurr. Comput. Pract. Exp., (2020)

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

Toward Scalable Replication Systems with Predictable Tails Using Programmable Data Planes., , , , and . APNet, page 78-84. ACM, (2019)The case for an intermediate representation for programmable data planes., and . SOSR, page 3:1-3:6. ACM, (2015)The Case for a Network Fast Path to the CPU., , and . HotNets, page 52-59. ACM, (2019)Context Based Positive and Negative Spatio-Temporal Association Rule Mining., , and . Knowl. Based Syst., (2013)Metabolic Syndrome and Development of Diabetes Mellitus: Predictive Modeling Based on Machine Learning Techniques., , , and . IEEE Access, (2019)Investigating the adoption of big data analytics in healthcare: the moderating role of resistance to change., , , , and . J. Big Data, (2019)Chopping off the Tail: Bounded Non-Determinism for Real-Time Accelerators., , and . IEEE Comput. Archit. Lett., 20 (2): 110-113 (2021)Operational aspect of the policy coordination for financial stability: role of Jeffreys-Lindley's paradox in operations research., , and . Ann. Oper. Res., 306 (1): 57-81 (2021)Financial modelling, risk management of energy instruments and the role of cryptocurrencies., , , and . Ann. Oper. Res., 313 (1): 47-75 (2022)Consumers' purchase intention and decision-making process through social networking sites: a social commerce construct., , , , , and . Behav. Inf. Technol., 40 (1): 99-115 (2021)