Jayadev Misra | Academic Influence

Jayadev Misra's AcademicInfluence.com Rankings

Jayadev Misra

Computer Science

#2167

World Rank

#2253

Historical Rank

Database

#1042

World Rank

#1096

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Jayadev Misra's Degrees

PhD Computer Science University of Pennsylvania
Masters Computer Science University of Pennsylvania

Similar Degrees You Can Earn

Why Is Jayadev Misra Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative .

(See a Problem?)

Jayadev Misra's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Parallel program design - a foundation (1988) (2150)
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (1979) (1093)
Distributed discrete-event simulation (1986) (1021)
Asynchronous distributed simulation via a sequence of parallel computations (1981) (728)
Proofs of Networks of Processes (1981) (589)
Finding Repeated Elements (1982) (515)
Distributed deadlock detection (1983) (451)
The drinking philosophers problem (1984) (426)
How processes learn (1985) (307)
Distributed computation on graphs: shortest path algorithms (1982) (204)
Computation Orchestration : A Basis for Wide-Area Computing (2005) (188)
Axioms for memory access in asynchronous hardware systems (1984) (173)
A Constructive Proof of Vizing's Theorem (1992) (169)
Detecting termination of distributed computations using markers (1983) (147)
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (2006) (147)
The Orc Programming Language (2009) (135)
A distributed algorithm for detecting resource deadlocks in distributed systems (1982) (133)
Computation Orchestration (2007) (125)
Powerlist: a structure for parallel recursion (1994) (117)
A Linear Tree Partitioning Algorithm (1977) (116)
A Language for Task Orchestration and Its Semantic Properties (2006) (105)
Beauty Is Our Business: A Birthday Salute to Edsger W.Dijkstra (1990) (103)
Phase Synchronization (1991) (99)
Termination Detection of Diffusing Computations in Communicating Sequential Processes (1982) (96)
An example of stepwise refinement of distributed programs: quiescence detection (1986) (84)
The verified software initiative: A manifesto (2009) (83)
A discipline of multiprogramming: programming theory for distributed applications (2001) (79)
Active and Concurrent Topology Maintenance (2004) (77)
A Distributed Graph Algorithm: Knot Detection (1982) (75)
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project (2005) (67)
A discipline of multiprogramming (1996) (65)
Workflow Patterns in Orc (2006) (65)
Distributed Simulation of Networks (1979) (65)
A Message-Based Approach to Discrete-Event Simulation (1987) (65)
A timed semantics of Orc (2008) (53)
Proving loop programs (1975) (52)
Proving safety and liveness of communicating processes with examples (1982) (45)
A linear sieve algorithm for finding prime numbers (1978) (41)
Deadlock Absence Proofs for Networks of Communicating Processes (1979) (38)
A Tree Semantics of an Orchestration Language (2005) (37)
A programming model for the orchestration of Web services (2004) (35)
Beauty Is Our Business (1990) (33)
A Logic for Concurrent Programming: Safety (2003) (32)
A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation (2001) (31)
Concurrent Maintenance of Rings (2006) (27)
Optimal Chain Partitions of Trees (1975) (26)
A Paradigm for Detecting Quiescent Properties in Distributed Computations (1989) (25)
Loosely-coupled processes (1991) (23)
A nontrivial example of concurrent processing: Distributed simulation (1978) (22)
Parallel discrete event simulation: The making of a field (2017) (20)
A Foundation of Parallel Programming (1989) (20)
Some Aspects of the Verification of Loop Computations (1978) (19)
Some classes of naturally provable programs (1976) (19)
A Logic for Concurrent Programming (1994) (19)
Data structures for parallel recursion (1997) (18)
Conditional Knowledge as a Basis for Distributed Simulation (1987) (17)
Brief announcement: concurrent maintenance of rings (2004) (15)
Assertion Graphs for Verifying and Synthesizing Programs (1978) (14)
Soundness of the Substitution Axiom (1990) (14)
Specifying Concurrent Objects as Communicating Processes (1990) (13)
An Axiomatic Proof Technique for Networks of Communicating Processes (1979) (12)
Remark on algorithm 246: Graycode [Z] (1975) (12)
A Technique of Algorithm Construction on Sequences (1978) (12)
Derivation of a parallel string matching algorithm (2003) (11)
A Structured Orchestration Language (2005) (10)
Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures (2010) (10)
Interactive verification exploiting program design knowledge: a model-checker for unity (1996) (9)
Prospects and Limitations of Automatic Assertion Generation for Loop Programs (1977) (9)
Simulation Using Orchestration (2008) (9)
Proof of distributed algorithms: an exercise (1991) (9)
Preface to special issue on software verification (2009) (9)
Maximally Concurrent Programs (1999) (8)
A Family of 2-process Mutual Exclusion Algorithms (1990) (8)
The use of performance models in systematic design (1982) (8)
Systolic algorithms as programs (1986) (8)
Orchestrating computations on the world-wide web (2001) (8)
SIMULATION TOOLS IN PERFORMANCE EVALUATION. (1981) (7)
Asynchronous Simulation via a Sequence of Parallel Computations (1981) (7)
A Simple, Object-Based View of Multiprogramming (2002) (6)
An Approach to Formal Definitions and Proofs of Programming Principles (1978) (6)
Maintaining the Ranch topology (2010) (6)
An Exercise in Program Explanation (1981) (6)
A reduction theorem for concurrent object-oriented programs (2003) (6)
Proof of a Real-Time Mutual-Exclusion Algorithm (1996) (6)
Structured Interacting Computations (2008) (5)
Toward a theory of maximally concurrent programs (shortened version) (2000) (5)
Another view on “fairness” (1988) (5)
Ranking in distributed systems (1989) (5)
Designing a Calculational Proof of Cantor's Theorem (2001) (4)
A Distributed Deadlock Detection Algorithm and Its Correctness Proof. (1982) (4)
General Conjunction and Disjunction Rules for unless (1988) (4)
Specifications of Concurrently Accessed Data (1989) (4)
Space-Time Trade Off in Implementing Certain Set Operations (1979) (4)
Seuss: what the doctor ordered (1997) (4)
Toward a theory of maximally concurrent programs (2000) (4)
A Simple Proof of a Simple Consensus Algorithm (1989) (3)
A simple model of distributed programs based on implementation-hiding and process autonomy (1980) (3)
On the Impossibility of Robust Solutions for Fair Resource Allocation (1999) (3)
An Object Model for Multiprogramming (1998) (3)
A Basis for Wide-Area Computing (2006) (3)
More on Strengthening the Guard (1990) (2)
Strategies to Combat Software Piracy (1999) (2)
Parallelism and Programming: A Perspective (1987) (2)
Immediacy: a technique for reasoning about asynchrony (1999) (2)
Equational reasoning about nondeterministic processes (1990) (2)
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract) (2011) (2)
A Perspective on Parallel Program Design (1991) (2)
Phase Synchronization Notes on UNITY : 1290 (1990) (1)
Theory in Programming Practice (2012) (1)
Specification, Synthesis, Verification and Performance Analysis ofDistributed Programs (1978) (1)
Generating-Functions of Interconnection Networks (2000) (1)
A principle of algorithm design on limited problem domain (1976) (1)
A Denotational Semantic Theory of Concurrent Systems (2015) (1)
Bilateral Proofs of Safety and Progress Properties of Concurrent Programs (2017) (1)
A Theory of Hints in Model Checking (2002) (1)
FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science) (2006) (1)
Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma (2015) (1)
Inaugural Lecture for the Schlumberger Centennial Chair (1)
Proving Progress for Program Sequencing (1990) (0)
MAY: A MESSAGE BASED SIMULATION LANGUAGE FOR SMALL COMPUTERS. (1984) (0)
Structured Interacting Computations (A Position Paper) (2008) (0)
The Verified Software Initiative: A Manifesto (2021) (0)
A Message-BasedApproachtoDiscrete-Event Simulation (1987) (0)
Predefined Height Measurement of the Slab in Plate Mill (2018) (0)
Preface to Special Issue on Software Verification (2021) (0)
Decision Support Systems: A Preliminary Study (1977) (0)
Active and Concurrent Maintenance of a Structured Peer-to-Peer Network Topology (0)
Modular Multiprogramming∗ (1998) (0)
A Deadlock Absence Proof Technique Applied to a Multiple Copy ConsistencyProtocol (1980) (0)
Simulation, Orchestration and Logical Clocks (2008) (0)
Topic 9 Distributed Algorithms (2003) (0)
A Programming Model for Wide-Area Computing (2001) (0)
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984 (1984) (0)
A Discipline of Multiprogramming 1 (1999) (0)
A Note on Subgoal Induction (1979) (0)
A Discipline of Multiprogramming (preliminary Draft) (1994) (0)
Object-oriented programming for wide-area computing (invited speaker) (2000) (0)
Specification Structuring (2003) (0)
A Visionary Decision (1989) (0)
Proceedings of the 14th international conference on Formal Methods (2006) (0)
A personal perspective on concurrency (2014) (0)
A Year of Programming. (1987) (0)
Generating-functions of Interconnection (2007) (0)
Finding Effective Abstractions (2021) (0)
A Logic for Seuss (2001) (0)
An Exercise in Program (1981) (0)
Preface (2021) (0)
A Computer Modeling System Based on a User-Extensible Modeling Library (1981) (0)
Orchestration in Orc : A Deterministic Distributed Programming Model (2005) (0)
Parallel processing and simulation: a panel discussion (1982) (0)
Assigning Coordinates to Events: Solving Combinatorial problems using Discrete Event Simulation (2011) (0)
Research to Study Specific, Important Problems in Distributed Systems and Propose Solutions for Them. (1985) (0)
Size:m*n Original Timing Mapped Timings Mapped Timings Speedup Original Vp Ratio Reduced Vp Ratio (1991) (0)
An Homage to the Beautiful Mathematical EWDs (2022) (0)
Topic Introduction (2003) (0)
A secure voting scheme based on rational self-interest (2012) (0)
The Case against a Grand Unification Theory (2002) (0)
A Vision of Large-scale Software Design Speech delivered at Ecole Normale Supérieure, Cachan On the occasion of Doctor Honoris Causa ceremony (2010) (0)
A Computability Theory for Distributed Systems. (1986) (0)
Notes on Sequential Program Verification (2013) (0)
A logic for the design of multiprogramming systems (1998) (0)
A Generalization of Termination Detection for Diffusing Computations (1979) (0)
Effective Theories in Programming Practice (2023) (0)
Theory and Practice of Fault Tolerance in Distributed Systems. (1987) (0)
Year of programming. Final technical report (1987) (0)
A Proof of a Heavy Hitters Algorithm (2018) (0)
Conditional and Closure Properties (2001) (0)
Air Force scientific report for AFOSR Grant AFOSR-85-0252. Final report, 15 June 1985-14 October 1986 (1987) (0)
Synthesizing Programs over Recursive Data Structures (2003) (0)
An Object-Oriented View of Action Systems (2001) (0)
Preserving Progress Under Program Composition Notes on UNITY: 17-90 (2004) (0)
Object-Oriented Programming for Wide-Area Computing (2000) (0)
CV (2021) (0)
Corrigenda: Phase Synchronization (1992) (0)
Preserving Asymmetry by Symmetric Processes and Distributed Fair Conflict Resolution. (1983) (0)
Methodologies for Concurrent Programming. (1987) (0)
Locating the Center of a Set of Points on a Curve (2004) (0)
Computing with Distributed Resources (2003) (0)

This paper list is powered by the following services:

Other Resources About Jayadev Misra

en.wikipedia.org

What Schools Are Affiliated With Jayadev Misra?

Jayadev Misra is affiliated with the following schools: