AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Gopal N Rai

Gopal N Rai

Institute for Development & Research in Banking Technology - Hyderabad / India
Others
AD Scientific Index ID: 4783412
बैंकिंग प्रौद्योगिकी विकास एवं अनुसन्धान संस्थान
person_outline Gopal N Rai's MOST POPULAR ARTICLES
1-) Algebraic modeling and verification of web service composition Procedia computer science 52, 675-679, 2015
2-) Web service interaction modeling and verification using recursive composition algebra IEEE Transactions on Services Computing 14 (1), 300-314, 2018
3-) Model Checking Based Web Service Verification: A Systematic Literature Review IEEE Transactions on Services Computing, 2018
4-) Set partition and trace based verification of web service composition Procedia Computer Science 52, 278-285, 2015
5-) A Proximity-based Measure for Quantifying the Risk of Vulnerabilities International Symposium on Security in Computing and Communications, 2019