Jayadev Misra
About
Jayadev Misra has authored 61 papers that have received a total of 2.7k indexed citations.
This includes 33 papers in Computer Networks and Communications, 22 papers in Computational Theory and Mathematics and 20 papers in Artificial Intelligence. The topics of these papers are Distributed systems and fault tolerance (22 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (12 papers). Jayadev Misra is often cited by papers focused on Distributed systems and fault tolerance (22 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in United States, Canada and India. Jayadev Misra's co-authors include K. Mani Chandy, Rajive Bagrodia, David Gries, Randal E. Bryant and William R. Cook and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Michael Helewa are about Top journals papers by Hubert J. A. Schouten are published in Top fields papers by Christopher B. Marshall are about Top fields papers by Kory Johnson are about Top countries impacted by papers by L. Alleman Top countries impacted by papers by Richard M. Smith Top journals papers by H. M. Tsuchiya are published in Top authors papers by John R. Forder are co-authored with