Awadhesh Kumar Singh

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EEAwadhesh Kumar Singh, Rohit Bhat, Anshul Kumar: An Index-Based Mobile Checkpointing and Recovery Algorithm. ICDCN 2009: 200-205
4EEAbhishek Swaroop, Awadhesh Kumar Singh: A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems. ICDCN 2009: 462-467
3EEAwadhesh Kumar Singh, Umesh Ghanekar, Anup Kumar Bandyopadhyay: Specifying Mobile Network using a wp-like Formal Approach. Revista Comlombiana de Computación 6(2): 59-77 (2005)
2EEAwadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. J. Comput. Sci. Technol. 19(6): 795-802 (2004)
1EEAwadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Adding the leads-to operator to Dijkstra's calculus. SIGPLAN Notices 39(2): 12-17 (2004)

Coauthor Index

1Anup Kumar Bandyopadhyay [1] [2] [3]
2Rohit Bhat [5]
3Umesh Ghanekar [3]
4Anshul Kumar [5]
5Abhishek Swaroop [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)