| |
| 2009 | ||
|---|---|---|
| 5 | EE | Awadhesh Kumar Singh, Rohit Bhat, Anshul Kumar: An Index-Based Mobile Checkpointing and Recovery Algorithm. ICDCN 2009: 200-205 |
| 4 | EE | Abhishek Swaroop, Awadhesh Kumar Singh: A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems. ICDCN 2009: 462-467 |
| 2005 | ||
| 3 | EE | Awadhesh 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) |
| 2004 | ||
| 2 | EE | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. J. Comput. Sci. Technol. 19(6): 795-802 (2004) |
| 1 | EE | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Adding the leads-to operator to Dijkstra's calculus. SIGPLAN Notices 39(2): 12-17 (2004) |
| 1 | Anup Kumar Bandyopadhyay | [1] [2] [3] |
| 2 | Rohit Bhat | [5] |
| 3 | Umesh Ghanekar | [3] |
| 4 | Anshul Kumar | [5] |
| 5 | Abhishek Swaroop | [4] |