Author

Sanjiva Prasad

OpenAlex ID: A5109883707
1998 · Roberto M. Amadio, Sanjiva Prasad · Lecture notes in computer science · 19
2015 · Rajesh Kumar Pal, Ierum Shanaya, et al. · Future Generation Computer Systems · 9
2012 · Rajesh Kumar Pal, Kolin Paul, et al. · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 9
1996 · Sanjiva Prasad · ACM Computing Surveys · 9
2015 · Nikolaj Bjørner, Sanjiva Prasad, et al. · Lecture notes in computer science · 8
2000 · Roberto M. Amadio, Sanjiva Prasad · Formal Methods in System Design · 7
2014 · Rajesh Kumar Pal, Kolin Paul, et al. · Journal of Parallel and Distributed Computing · 3
2018 · Sanjiva Prasad · Journal of Logical and Algebraic Methods in Programming · 2
2014 · Ashish Suri, Payal Jotwani, et al. · Journal of Neurological Surgery Part B Skull Base · 1
2020 · S. V. Raghavan, Navakanta Bhat, et al. · CSI Transactions on ICT
Works count: 12
Citation count: 95
H-index: 7
I10-index: 2
Year
Topic
Type