Jayadev Misra

7.8k total citations · 3 hit papers
85 papers, 4.6k citations indexed

About

Jayadev Misra is a scholar working on Computer Networks and Communications, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Jayadev Misra has authored 85 papers receiving a total of 4.6k indexed citations (citations by other indexed papers that have themselves been cited), including 44 papers in Computer Networks and Communications, 33 papers in Computational Theory and Mathematics and 27 papers in Artificial Intelligence. Recurrent topics in Jayadev Misra's work include Distributed systems and fault tolerance (29 papers), Formal Methods in Verification (19 papers) and Logic, programming, and type systems (18 papers). Jayadev Misra is often cited by papers focused on Distributed systems and fault tolerance (29 papers), Formal Methods in Verification (19 papers) and Logic, programming, and type systems (18 papers). Jayadev Misra collaborates with scholars based in United States, Canada and United Kingdom. Jayadev Misra's co-authors include K. Mani Chandy, David Gries, Laura M. Haas, William R. Cook, Sukhamay Kundu, Mani Chandy, Sanat Kumar Basu, Rajive Bagrodia, Thomas A. Smith and Robert E. Tarjan and has published in prestigious journals such as Circulation, Communications of the ACM and ACM Computing Surveys.

In The Last Decade

Jayadev Misra

80 papers receiving 4.1k citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

1979 739 citations K. Mani Chandy, Jayadev Misra IEEE Transactions on Software Engineering profile →
Distributed discrete-event simulation

1986 698 citations Jayadev Misra profile →
Asynchronous distributed simulation via a sequence of parallel computations

1981 504 citations K. Mani Chandy, Jayadev Misra Communications of the ACM profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Jayadev Misra United States	28	3.1k	1.8k	1.3k	1.2k	987	85	4.6k
Richard M. Fujimoto United States	32	3.4k 1.1×	3.4k 1.9×	1.1k 0.9×	484 0.4×	184 0.2×	126	4.7k
Krzysztof R. Apt Netherlands	29	1.4k 0.5×	356 0.2×	415 0.3×	2.5k 2.1×	3.4k 3.5×	136	5.2k
Nikhil Bansal United States	27	2.2k 0.7×	441 0.2×	445 0.4×	684 0.6×	616 0.6×	148	3.7k
Yossi Azar Israel	34	3.0k 1.0×	972 0.5×	172 0.1×	990 0.8×	626 0.6×	152	4.2k
John Zahorjan United States	35	6.1k 2.0×	277 0.2×	1.6k 1.2×	243 0.2×	665 0.7×	89	6.9k
Robert E. Shostak United States	11	4.2k 1.4×	156 0.1×	833 0.7×	813 0.7×	1.8k 1.8×	21	5.5k
Kenneth C. Sevcik Canada	19	2.2k 0.7×	216 0.1×	500 0.4×	210 0.2×	714 0.7×	58	3.1k
Jane Hillston United Kingdom	21	662 0.2×	292 0.2×	247 0.2×	1.1k 0.9×	572 0.6×	140	2.3k
Sanjeev Khanna United States	37	2.9k 0.9×	453 0.3×	166 0.1×	1.7k 1.4×	1.2k 1.2×	180	4.8k
S. S. Lavenberg United States	19	989 0.3×	655 0.4×	258 0.2×	359 0.3×	118 0.1×	37	2.2k

Countries citing papers authored by Jayadev Misra

Since Specialization

Citations

This map shows the geographic impact of Jayadev Misra's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jayadev Misra with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jayadev Misra more than expected).

Fields of papers citing papers by Jayadev Misra

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jayadev Misra. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jayadev Misra. The network helps show where Jayadev Misra may publish in the future.

Co-authorship network of co-authors of Jayadev Misra

This figure shows the co-authorship network connecting the top 25 collaborators of Jayadev Misra. A scholar is included among the top collaborators of Jayadev Misra based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jayadev Misra. Jayadev Misra is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Kitchin, David, et al.. (2008). A timed semantics of Orc. Theoretical Computer Science. 402(2-3). 234–248. 19 indexed citations

2.

Misra, Jayadev, Tobias Nipkow, & Emil Sekerinski. (2006). FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations

3.

Misra, Jayadev, Tobias Nipkow, & Emil Sekerinski. (2006). FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science). Formal Methods. 1 indexed citations

4.

Misra, Jayadev & William R. Cook. (2006). Computation Orchestration. Software & Systems Modeling. 6(1). 83–110. 95 indexed citations

5.

Chandy, K. Mani & Jayadev Misra. (2005). A nontrivial example of concurrent processing: Distributed simulation. 822–826. 1 indexed citations

6.

Li, Xiaozhou, Jayadev Misra, & C. Greg Plaxton. (2004). Brief announcement. 376–376. 4 indexed citations

7.

Misra, Jayadev. (2001). A discipline of multiprogramming: programming theory for distributed applications. Springer eBooks. 44 indexed citations

8.

Dijkstra, Edsger W. & Jayadev Misra. (2001). Designing a Calculational Proof of Cantor's Theorem. American Mathematical Monthly. 108(5). 440–443.

9.

Misra, Jayadev, et al.. (1999). On the Impossibility of Robust Solutions for Fair Resource Allocation. 2 indexed citations

10.

Chandy, K. Mani & Jayadev Misra. (1991). Proof of distributed algorithms: an exercise. Addison-Wesley Longman Publishing Co., Inc. eBooks. 305–332. 4 indexed citations

11.

Misra, Jayadev. (1990). Equational reasoning about nondeterministic processes. Formal Aspects of Computing. 2(1). 167–195. 2 indexed citations

12.

Misra, Jayadev. (1986). Axioms for memory access in asynchronous hardware systems. ACM Transactions on Programming Languages and Systems. 8(1). 142–153. 74 indexed citations

13.

Kameda, Tiko, et al.. (1984). Proceedings of the third annual ACM symposium on Principles of distributed computing. 19 indexed citations

14.

Misra, Jayadev & David Gries. (1982). Finding repeated elements. Science of Computer Programming. 2(2). 143–152. 263 indexed citations

15.

Agerwala, Tilak & Jayadev Misra. (1978). Assertion Graphs for Verifying and Synthesizing Programs. Circulation. 129(18). 1813–20. 7 indexed citations

16.

Gries, David & Jayadev Misra. (1978). A linear sieve algorithm for finding prime numbers. Communications of the ACM. 21(12). 999–1003. 30 indexed citations

17.

Misra, Jayadev, et al.. (1976). Some classes of naturally provable programs. International Conference on Software Engineering. 400–406. 12 indexed citations

18.

Basu, Sanat Kumar & Jayadev Misra. (1975). Proving loop programs. IEEE Transactions on Software Engineering. SE-1(1). 76–86. 34 indexed citations

19.

Misra, Jayadev. (1975). Remark on algorithm 246. ACM Transactions on Mathematical Software. 1(3). 285–285. 9 indexed citations

20.

Misra, Jayadev & Robert E. Tarjan. (1975). Optimal chain partitions of trees. Information Processing Letters. 4(1). 24–26. 18 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact