Jayadev Misra

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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page