Jayadev Misra
According to our database^{1},
Jayadev Misra
authored at least 94 papers
between 1975 and 2017.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1992, "For contributions to the algorithms and theory of distributed computing.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on id.loc.gov

on dl.acm.org
On csauthors.net:
Bibliography
2017
CoRR, 2017
Proceedings of the 2017 Winter Simulation Conference, 2017
2015
Inf. Process. Lett., 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
2013
Proceedings of the Formal Aspects of Component Software  10th International Symposium, 2013
2012
Formal Aspects Comput., 2012
2011
Proceedings of the Theoretical Aspects of Computing  ICTAC 2011  8th International Colloquium, Johannesburg, South Africa, August 31, 2011
2010
J. Parallel Distributed Comput., 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
ACM Comput. Surv., 2009
ACM Comput. Surv., 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Proceedings of the SoftwareIntensive Systems and New Computing Paradigms, 2008
Theor. Comput. Sci., 2008
Proceedings of the FM 2008: Formal Methods, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Softw. Syst. Model., 2007
2006
Distributed Comput., 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
Proceedings of the CONCUR 2006  Concurrency Theory, 17th International Conference, 2006
2005
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.
Proceedings of the Verified Software: Theories, 2005
2004
Proceedings of the Distributed Computing, 18th International Conference, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the TwentyThird Annual ACM Symposium on Principles of Distributed Computing, 2004
2003
Inf. Process. Lett., 2003
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003
Proceedings of the EuroPar 2003. Parallel Processing, 2003
2002
Formal Methods Syst. Des., 2002
Commun. ACM, 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Software Reuse: Methods, 2002
Proceedings of the EuroPar 2002, 2002
2001
A Discipline of Multiprogramming  Programming Theory for Distributed Applications
Monographs in Computer Science, Springer, ISBN: 9781441985286, 2001
Am. Math. Mon., 2001
A walk over the shortest path: Dijkstra's Algorithm viewed as fixedpoint computation.
Inf. Process. Lett., 2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
2000
Formal Aspects Comput., 2000
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000
Proceedings of the Formal Methods for Open ObjectBased Distributed Systems IV, 2000
1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
1997
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997
1996
Parallel Process. Lett., 1996
ACM Comput. Surv., 1996
1994
ACM Trans. Program. Lang. Syst., 1994
1992
Inf. Process. Lett., 1992
Corrigenda: Phase Synchronization.
Inf. Process. Lett., 1992
Future Gener. Comput. Syst., 1992
1991
Inf. Process. Lett., 1991
Proceedings of the Research Directions in HighLevel Parallel Programming Languages, 1991
1990
Sci. Comput. Program., 1990
Formal Aspects Comput., 1990
1989
Inf. Process. Lett., 1989
Proceedings of the Mathematics of Program Construction, 1989
Parallel program design  a foundation.
AddisonWesley, ISBN: 9780201058666, 1989
1987
IEEE Trans. Software Eng., 1987
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
1986
ACM Trans. Program. Lang. Syst., 1986
ACM Trans. Program. Lang. Syst., 1986
Distributed Comput., 1986
Distributed Comput., 1986
ACM Comput. Surv., 1986
1984
ACM Trans. Program. Lang. Syst., 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
1983
ACM Trans. Comput. Syst., 1983
Proceedings of the Second Annual ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1983
1982
ACM Trans. Program. Lang. Syst., 1982
Termination Detection of Diffusing Computations in Communicating Sequential Processes.
ACM Trans. Program. Lang. Syst., 1982
Sci. Comput. Program., 1982
Commun. ACM, 1982
Proceedings of the ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1982
Proceedings of the ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1982
Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982
1981
IEEE Trans. Software Eng., 1981
ACM Trans. Program. Lang. Syst., 1981
Commun. ACM, 1981
Proceedings of the Seventh International Computer Measurement Group Conference, 1981
1979
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs.
IEEE Trans. Software Eng., 1979
Inf. Process. Lett., 1979
Inf. Process. Lett., 1979
Comput. Networks, 1979
1978
IEEE Trans. Software Eng., 1978
IEEE Trans. Software Eng., 1978
IEEE Trans. Software Eng., 1978
Commun. ACM, 1978
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978
1977
SIAM J. Comput., 1977
SIAM J. Comput., 1977
1976
Proceedings of the 2nd International Conference on Software Engineering, 1976
Proceedings of the 13th Design Automation Conference, 1976
1975
IEEE Trans. Software Eng., 1975
ACM Trans. Math. Softw., 1975
Inf. Process. Lett., 1975