The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jayadev Misra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. K. Mani Chandy, Jayadev Misra, Laura M. Haas
    Distributed Deadlock Detection [Citation Graph (13, 0)][DBLP]
    ACM Trans. Comput. Syst., 1983, v:1, n:2, pp:144-156 [Journal]
  2. K. Mani Chandy, Jayadev Misra
    A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. [Citation Graph (9, 0)][DBLP]
    PODC, 1982, pp:157-164 [Conf]
  3. K. Mani Chandy, Jayadev Misra
    An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. [Citation Graph (4, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:326-343 [Journal]
  4. Jayadev Misra, K. Mani Chandy
    Termination Detection of Diffusing Computations in Communicating Sequential Processes. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:1, pp:37-43 [Journal]
  5. Jayadev Misra
    Detecting Termination of Distributed Computations Using Markers. [Citation Graph (2, 0)][DBLP]
    PODC, 1983, pp:290-294 [Conf]
  6. Jayadev Misra, K. Mani Chandy
    A Distributed Graph Algorithm: Knot Detection. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:678-686 [Journal]
  7. K. Mani Chandy, Jayadev Misra
    Asynchronous Distributed Simulation via a Sequence of Parallel Computations. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1981, v:24, n:4, pp:198-206 [Journal]
  8. K. Mani Chandy, Jayadev Misra
    Distributed Computation on Graphs: Shortest Path Algorithms. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:11, pp:833-837 [Journal]
  9. K. Mani Chandy, Jayadev Misra
    How Processes Learn. [Citation Graph (1, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:1, pp:40-52 [Journal]
  10. Jayadev Misra
    A Technique of Algorithm Construction on Sequences. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:1, pp:65-69 [Journal]
  11. Jayadev Misra, K. Mani Chandy
    Proofs of Networks of Processes. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:4, pp:417-426 [Journal]
  12. Jayadev Misra, Harrick M. Vin
    Orchestrating Computations on the World-Wide Web. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:305-0 [Conf]
  13. Doug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry
    A Computer Modeling System Based on a User-Extensible Modeling Library. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1981, pp:127-129 [Conf]
  14. David Kitchin, William R. Cook, Jayadev Misra
    A Language for Task Orchestration and Its Semantic Properties. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:477-491 [Conf]
  15. Jayadev Misra
    Axioms for Memory Access in Asynchronous Hardware Systems. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:96-110 [Conf]
  16. William R. Cook, Sourabh Patwardhan, Jayadev Misra
    Workflow Patterns in Orc. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:82-96 [Conf]
  17. Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin
    Orchestrating Computations on the World-Wide Web. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:1-20 [Conf]
  18. Jayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre
    Topic Introduction. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:623- [Conf]
  19. Jayadev Misra
    A Programming Model for Wide-Area Computing. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:222- [Conf]
  20. Jayadev Misra
    Object-Oriented Programming for Wide-Area Computing. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:209-0 [Conf]
  21. K. Mani Chandy, Jayadev Misra
    Parallelism and Programming: A Perspective. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:173-194 [Conf]
  22. Jayadev Misra
    A Perspective on Parallel Program Design. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:2-5 [Conf]
  23. Sanat K. Basu, Jayadev Misra
    Some Classes of Naturally Provable Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:400-406 [Conf]
  24. Jayadev Misra
    The Case against a Grand Unification Theory. [Citation Graph (0, 0)][DBLP]
    ICSR, 2002, pp:328- [Conf]
  25. Jayadev Misra
    An Object Model for Multiprogramming. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1998, pp:881-889 [Conf]
  26. Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin
    Computing with Distributed Resources. [Citation Graph (0, 0)][DBLP]
    JMLC, 2003, pp:23-24 [Conf]
  27. Jayadev Misra
    Specifications of Concurrently Accessed Data. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:91-114 [Conf]
  28. Jayadev Misra
    Loosely-Coupled Processes. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:1-26 [Conf]
  29. K. Mani Chandy, Jayadev Misra
    How Processes Learn. [Citation Graph (0, 0)][DBLP]
    PODC, 1985, pp:204-214 [Conf]
  30. Rajeev Joshi, Jayadev Misra
    Toward a theory of maximally concurrent programs (shortened version). [Citation Graph (0, 0)][DBLP]
    PODC, 2000, pp:319-328 [Conf]
  31. Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
    Brief announcement: concurrent maintenance of rings. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:376- [Conf]
  32. Jayadev Misra
    Equational Reasoning About Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:29-44 [Conf]
  33. Jayadev Misra, K. Mani Chandy, Todd Smith
    Proving Safety and Liveness of Communicating Processes with Examples. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:201-208 [Conf]
  34. Jayadev Misra
    A Programming Model for the Orchestration of Web Services. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:2-11 [Conf]
  35. Markus Kaltenbach, Jayadev Misra
    A Theory of Hints in Model Checking. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:423-438 [Conf]
  36. Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
    Active and Concurrent Topology Maintenance. [Citation Graph (0, 0)][DBLP]
    DISC, 2004, pp:320-334 [Conf]
  37. Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
    In memoriam: Edsger W. Dijkstra 1930-2002. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:10, pp:21-22 [Journal]
  38. David Gries, Jayadev Misra
    A Linear Sieve Algorithm for Finding Prime Numbers. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1978, v:21, n:12, pp:999-1003 [Journal]
  39. K. Mani Chandy, Victor Holmes, Jayadev Misra
    Distributed Simulation of Networks. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1979, v:3, n:, pp:105-113 [Journal]
  40. Jayadev Misra
    Distributed Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1986, v:18, n:1, pp:39-65 [Journal]
  41. Jayadev Misra
    A Discipline of Multiprogramming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:49- [Journal]
  42. K. Mani Chandy, Jayadev Misra
    Systolic Algorithms as Programs. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:3, pp:177-183 [Journal]
  43. Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
    Concurrent Maintenance of Rings. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2006, v:19, n:2, pp:126-148 [Journal]
  44. Rajeev Joshi, Jayadev Misra
    Maximally Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:2, pp:100-119 [Journal]
  45. Jayadev Misra
    Equational Reasoning About Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:2, pp:167-195 [Journal]
  46. Jayadev Misra
    A Simple, Object-Based View of Multiprogramming. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:1, pp:23-45 [Journal]
  47. K. Mani Chandy, Jayadev Misra
    Deadlock Absence Proofs for Networks of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:4, pp:185-189 [Journal]
  48. Jayadev Misra
    A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:2-4, pp:197-200 [Journal]
  49. Jayadev Misra
    Derivation of a parallel string matching algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:85, n:5, pp:255-260 [Journal]
  50. Jayadev Misra
    Space-Time Trade Off in Implementing Certain Set Operations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:2, pp:81-85 [Journal]
  51. Jayadev Misra
    A Simple Proof of a Simple Consensus Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:33, n:1, pp:21-24 [Journal]
  52. Jayadev Misra
    Phase Synchronization. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:38, n:2, pp:101-105 [Journal]
  53. Jayadev Misra
    Corrigenda: Phase Synchronization. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:41, n:1, pp:59- [Journal]
  54. Jayadev Misra, David Gries
    A Constructive Proof of Vizing's Theorem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:41, n:3, pp:131-133 [Journal]
  55. Jayadev Misra, Robert Endre Tarjan
    Optimal Chain Partitions of Trees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1975, v:4, n:1, pp:24-26 [Journal]
  56. Jayadev Misra
    Specifying Concurrent Objects as Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:159-184 [Journal]
  57. Jayadev Misra, David Gries
    Finding Repeated Elements. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:2, pp:143-152 [Journal]
  58. Sukhamay Kundu, Jayadev Misra
    A Linear Tree Partitioning Algorithm. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:1, pp:151-154 [Journal]
  59. Jayadev Misra
    Prospects and Limitations of Automatic Assertion Generation for Loop Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:4, pp:718-729 [Journal]
  60. Jayadev Misra
    Remark on "Algorithm 246: Graycode [Z]". [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1975, v:1, n:3, pp:285- [Journal]
  61. K. Mani Chandy, Jayadev Misra
    The Drinking Philosopher's Problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:4, pp:632-646 [Journal]
  62. Jayadev Misra
    An Exercise in Program Explanation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1981, v:3, n:1, pp:104-109 [Journal]
  63. Jayadev Misra
    Axioms for Memory Access in Asynchronous Hardware Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:1, pp:142-153 [Journal]
  64. Jayadev Misra
    Powerlist: A Structure for Parallel Recursion. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1737-1767 [Journal]
  65. Rajive Bagrodia, K. Mani Chandy, Jayadev Misra
    A Message-Based Approach to Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:654-665 [Journal]
  66. Sanat K. Basu, Jayadev Misra
    Proving Loop Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:1, pp:76-86 [Journal]
  67. K. Mani Chandy, Jayadev Misra
    Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:5, pp:440-452 [Journal]
  68. Jayadev Misra
    An Approach to Formal Definitions and Proofs of Programming Principles. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:5, pp:410-413 [Journal]
  69. Jayadev Misra
    Some Aspects of the Verification of Loop Computations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:6, pp:478-486 [Journal]

  70. The use of performance models in systematic design. [Citation Graph (, )][DBLP]


  71. Simulation Using Orchestration. [Citation Graph (, )][DBLP]


  72. Simulation, Orchestration and Logical Clocks. [Citation Graph (, )][DBLP]


  73. The Orc Programming Language. [Citation Graph (, )][DBLP]


  74. Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. [Citation Graph (, )][DBLP]


  75. Preface to special issue on software verification. [Citation Graph (, )][DBLP]


  76. The verified software initiative: A manifesto. [Citation Graph (, )][DBLP]


Search in 0.342secs, Finished in 0.348secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002