Concepedia

Author

Jayadev Misra

The University of Texas at Austin

Also Known As

Bouquet, Fabrice, J Misra, J. Misra, J.C. Misra, JAYADEV MISRA, Jayadev Misra, Misra, Jayadev

167

Publications

8K

Citations

37

H-Index

75

Concepts

All Affiliations

The University of Texas at Austin
JM

About

Jayadev Misra is an author at The University of Texas at Austin specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

23

33

3.2K

2

Education

4

4

534

3

Social Sciences

2

2

324

4

Cognitive Science

2

2

324

5

Language Studies

1

1

44

Jayadev Misra

×

47

Publications

6K

Citations

29

H-Index

YearCitations

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

K. Mani Chandy, Jayadev Misra

IEEE Transactions on Software Engineering

1979

1K

Asynchronous distributed simulation via a sequence of parallel computations

K. Mani Chandy, Jayadev Misra

Communications of the ACM

1981

718

Finding repeated elements

Jayadev Misra, David Gries

Science of Computer Programming

1982

517

Proofs of Networks of Processes

Jayadev Misra, K. Mani Chandy

IEEE Transactions on Software Engineering

1981

497

Distributed deadlock detection

K. Mani Chandy, Jayadev Misra, Laura M. Haas

ACM Transactions on Computer Systems

1983

393

The drinking philosophers problem

K. Mani Chandy, Jayadev Misra

ACM Transactions on Programming Languages and Systems

1984

387

How processes learn

K. Mani Chandy, Jayadev Misra

Distributed Computing

1986

223

Computation Orchestration

Jayadev Misra, William R. Cook

Software & Systems Modeling

2006

216

Distributed computation on graphs

K. Mani Chandy, Jayadev Misra

Communications of the ACM

1982

184

A constructive proof of Vizing's theorem

Jayadev Misra, David Gries

Information Processing Letters

1992

178

Page 1