Jayadev Misra Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. A. R. Hoare, Jayadev Misra: Preface to special issue on software verification. ACM Comput. Surv. 41(4): (2009)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4): (2009)
2008
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, Evan Powell, Jayadev Misra: Simulation Using Orchestration. AMAST 2008: 2-15
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, Evan Powell, Jayadev Misra: Simulation, Orchestration and Logical Clocks. FM 2008: 34
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008)
2007
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, William R. Cook: Computation Orchestration. Software and System Modeling 6(1): 83-110 (2007)
2006
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, Tobias Nipkow, Emil Sekerinski: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Springer 2006
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaozhou Li, Jayadev Misra, C. Greg Plaxton: Concurrent Maintenance of Rings. Distributed Computing 19(2): 126-148 (2006)
2005
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTony Hoare, Jayadev Misra: Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. VSTTE 2005: 1-18
2004
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaozhou Li, Jayadev Misra, C. Greg Plaxton: Active and Concurrent Topology Maintenance. DISC 2004: 320-334
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaozhou Li, Jayadev Misra, C. Greg Plaxton: Brief announcement: concurrent maintenance of rings. PODC 2004: 376
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Programming Model for the Orchestration of Web Services. SEFM 2004: 2-11
2003
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre: Topic Introduction. Euro-Par 2003: 623
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin: Computing with Distributed Resources. JMLC 2003: 23-24
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Derivation of a parallel string matching algorithm. Inf. Process. Lett. 85(5): 255-260 (2003)
2002
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Kaltenbach, Jayadev Misra: A Theory of Hints in Model Checking. 10th Anniversary Colloquium of UNU/IIST 2002: 423-438
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin: Orchestrating Computations on the World-Wide Web. Euro-Par 2002: 1-20
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: The Case against a Grand Unification Theory. ICSR 2002: 328
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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. Commun. ACM 45(10): 21-22 (2002)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Simple, Object-Based View of Multiprogramming. Formal Methods in System Design 20(1): 23-45 (2002)
2001
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, Harrick M. Vin: Orchestrating Computations on the World-Wide Web. APSEC 2001: 305-
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Programming Model for Wide-Area Computing. FME 2001: 222
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation. Inf. Process. Lett. 77(2-4): 197-200 (2001)
2000
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Object-Oriented Programming for Wide-Area Computing. FMOODS 2000: 209-
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Joshi, Jayadev Misra: Toward a theory of maximally concurrent programs (shortened version). PODC 2000: 319-328
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Joshi, Jayadev Misra: Maximally Concurrent Programs. Formal Asp. Comput. 12(2): 100-119 (2000)
1998
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: An Object Model for Multiprogramming. IPPS/SPDP Workshops 1998: 881-889
1996
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Discipline of Multiprogramming. ACM Comput. Surv. 28(4es): 49 (1996)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Allen Carruth, Jayadev Misra: Proof of a Real-Time Mutual-Exclusion Algorithm. Parallel Processing Letters 6(2): 251-257 (1996)
1994
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Powerlist: A Structure for Parallel Recursion. ACM Trans. Program. Lang. Syst. 16(6): 1737-1767 (1994)
1992
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Corrigenda: Phase Synchronization. Inf. Process. Lett. 41(1): 59 (1992)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, David Gries: A Constructive Proof of Vizing's Theorem. Inf. Process. Lett. 41(3): 131-133 (1992)
1991
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Loosely-Coupled Processes. PARLE (2) 1991: 1-26
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Perspective on Parallel Program Design. Research Directions in High-Level Parallel Programming Languages 1991: 2-5
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Phase Synchronization. Inf. Process. Lett. 38(2): 101-105 (1991)
1990
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Equational Reasoning About Nondeterministic Processes. Formal Asp. Comput. 2(2): 167-195 (1990)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Specifying Concurrent Objects as Communicating Processes. Sci. Comput. Program. 14(2-3): 159-184 (1990)
1989
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Specifications of Concurrently Accessed Data. MPC 1989: 91-114
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Equational Reasoning About Nondeterministic Processes. PODC 1989: 29-44
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Simple Proof of a Simple Consensus Algorithm. Inf. Process. Lett. 33(1): 21-24 (1989)
1987
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy, Jayadev Misra: A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987)
1986
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Distributed Discrete-Event Simulation. ACM Comput. Surv. 18(1): 39-65 (1986)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Axioms for Memory Access in Asynchronous Hardware Systems. ACM Trans. Program. Lang. Syst. 8(1): 142-153 (1986)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8(3): 326-343 (1986)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. Distributed Computing 1(1): 40-52 (1986)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Systolic Algorithms as Programs. Distributed Computing 1(3): 177-183 (1986)
1985
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. PODC 1985: 204-214
1984
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Axioms for Memory Access in Asynchronous Hardware Systems. Seminar on Concurrency 1984: 96-110
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984)
1983
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Detecting Termination of Distributed Computations Using Markers. PODC 1983: 290-294
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection ACM Trans. Comput. Syst. 1(2): 144-156 (1983)
1982
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, David Gries: Finding Repeated Elements. Sci. Comput. Program. 2(2): 143-152 (1982)
1981
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry: A Computer Modeling System Based on a User-Extensible Modeling Library. Int. CMG Conference 1981: 127-129
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: An Exercise in Program Explanation. ACM Trans. Program. Lang. Syst. 3(1): 104-109 (1981)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981)
1979
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Victor Holmes, Jayadev Misra: Distributed Simulation of Networks. Computer Networks 3: 105-113 (1979)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Trans. Software Eng. 5(5): 440-452 (1979)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Space-Time Trade Off in Implementing Certain Set Operations. Inf. Process. Lett. 8(2): 81-85 (1979)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979)
1978
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gries, Jayadev Misra: A Linear Sieve Algorithm for Finding Prime Numbers. Commun. ACM 21(12): 999-1003 (1978)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: A Technique of Algorithm Construction on Sequences. IEEE Trans. Software Eng. 4(1): 65-69 (1978)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: An Approach to Formal Definitions and Proofs of Programming Principles. IEEE Trans. Software Eng. 4(5): 410-413 (1978)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Some Aspects of the Verification of Loop Computations. IEEE Trans. Software Eng. 4(6): 478-486 (1978)
1977
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSukhamay Kundu, Jayadev Misra: A Linear Tree Partitioning Algorithm. SIAM J. Comput. 6(1): 151-154 (1977)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Prospects and Limitations of Automatic Assertion Generation for Loop Programs. SIAM J. Comput. 6(4): 718-729 (1977)
1976
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanat K. Basu, Jayadev Misra: Some Classes of Naturally Provable Programs. ICSE 1976: 400-406
1975
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra: Remark on "Algorithm 246: Graycode [Z]". ACM Trans. Math. Softw. 1(3): 285 (1975)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanat K. Basu, Jayadev Misra: Proving Loop Programs. IEEE Trans. Software Eng. 1(1): 76-86 (1975)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, Robert Endre Tarjan: Optimal Chain Partitions of Trees. Inf. Process. Lett. 4(1): 24-26 (1975)

Coauthor Index

1Rajive Bagrodia [36]
2Sanat K. Basu [2] [4]
3R. Berry [18] [25]
4Robert S. Boyer [59]
5J. Allen Carruth [49]
6K. Mani Chandy [11] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [26] [28] [30] [31] [32] [33] [36] [37]
7Young-ri Choi [61] [64]
8William R. Cook [71] [72] [74] [75] [76] [81]
9W. H. J. Feijen [59]
10Amit Garg [61]
11David Gries [10] [19] [46] [59]
12Laura M. Haas [26]
13C. A. R. Hoare (Tony Hoare) [59] [69] [79] [80]
14Victor Holmes [14]
15Rajeev Joshi [52] [53]
16Markus Kaltenbach [62]
17David Kitchin [72] [75] [77] [78] [81]
18Vinay Sampath Kumar [64]
19Sukhamay Kundu [6]
20Gary T. Leavens [79]
21Laurent Lefèvre [65]
22Xiaozhou Li (Xiaozhou (Steve) Li) [67] [68] [70]
23J. Moore [59]
24Doug Neuse [18] [25]
25Tobias Nipkow [73]
26Sourabh Patwardhan [71]
27C. Greg Plaxton [67] [68] [70]
28Evan Powell [77] [78]
29Adrian Quark [81]
30Siddhartha Rai [61] [64]
31Wolfgang Reisig [65]
32H. Richards [59]
33Michael Schöttner (Michael Schoettner) [65]
34Emil Sekerinski [73]
35Natarajan Shankar [79]
36Todd Smith [23]
37Robert Endre Tarjan [1]
38Harrick M. Vin [57] [61] [64]
39Ian Wehrman [75]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)