| 2017 | WSC | Parallel discrete event simulation: The making of a field. | Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger |
| 2014 | PLDI | A personal perspective on concurrency. | Jayadev Misra |
| 2011 | ICTAC | Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). | Jayadev Misra |
| 2009 | FORTE | The Orc Programming Language. | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
| 2008 | FM | Simulation, Orchestration and Logical Clocks. | David Kitchin, Evan Powell, Jayadev Misra |
| 2006 | CONCUR | A Language for Task Orchestration and Its Semantic Properties. | David Kitchin, William R. Cook, Jayadev Misra |
| 2006 | Coordination | Workflow Patterns in Orc. | William R. Cook, Sourabh Patwardhan, Jayadev Misra |
| 2004 | PODC | Brief announcement: concurrent maintenance of rings. | Xiaozhou Li, Jayadev Misra, C. Greg Plaxton |
| 2004 | SEFM | A Programming Model for the Orchestration of Web Services. | Jayadev Misra |
| 2003 | EuroPar | Topic Introduction. | Jayadev Misra, Wolfgang Reisig, Michael Schttner, Laurent Lefvre |
| 2002 | EuroPar | Orchestrating Computations on the World-Wide Web. | Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin |
| 2002 | ICSR | The Case against a Grand Unification Theory. | Jayadev Misra |
| 2001 | APSEC | Orchestrating Computations on the World-Wide Web. | Jayadev Misra, Harrick M. Vin |
| 2001 | FM | A Programming Model for Wide-Area Computing. | Jayadev Misra |
| 2000 | PODC | Toward a theory of maximally concurrent programs (shortened version). | Rajeev Joshi, Jayadev Misra |
| 1989 | MPC | Specifications of Concurrently Accessed Data. | Jayadev Misra |
| 1989 | PODC | Equational Reasoning About Nondeterministic Processes. | Jayadev Misra |
| 1985 | PODC | How Processes Learn. | K. Mani Chandy, Jayadev Misra |
| 1984 | CONCUR | Axioms for Memory Access in Asynchronous Hardware Systems. | Jayadev Misra |
| 1983 | PODC | Detecting Termination of Distributed Computations Using Markers. | Jayadev Misra |
| 1982 | PODC | A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. | K. Mani Chandy, Jayadev Misra |
| 1982 | PODC | Proving Safety and Liveness of Communicating Processes with Examples. | Jayadev Misra, K. Mani Chandy, Todd Smith |
| 1978 | COMPSAC | A nontrivial example of concurrent processing: Distributed simulation. | K. Mani Chandy, Jayadev Misra |
| 1976 | DAC | A principle of algorithm design on limited problem domain. | Jayadev Misra |
| 1976 | ICSE | Some Classes of Naturally Provable Programs. | Sanat K. Basu, Jayadev Misra |