dblp.uni-trier.dewww.uni-trier.de

Anup Kumar Bandyopadhyay

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

2009
12EEAnup Kumar Bandyopadhyay: Fairness and conspiracy concepts in concurrent systems. ACM SIGSOFT Software Engineering Notes 34(2): 1-8 (2009)
11EEMalay Bhattacharyya, Anup Kumar Bandyopadhyay: Comparative Study of Some Solution Methods for Traveling Salesman Problem Using Genetic Algorithms. Cybernetics and Systems 40(1): 1-24 (2009)
2008
10EEAnup Kumar Bandyopadhyay: Weakest precondition based verification tool that models spatial ordering. ACM SIGSOFT Software Engineering Notes 33(2): (2008)
9EEMalay Bhattacharyya, Anup Kumar Bandyopadhyay: On single courier problem. Optimization Letters 2(4): 535-541 (2008)
2007
8EEJayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem. ACM SIGSOFT Software Engineering Notes 32(4): (2007)
7EEJayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Ordering of events in two-process concurrent system. ACM SIGSOFT Software Engineering Notes 32(4): (2007)
6EEAnup Kumar Bandyopadhyay: Modeling fairness and starvation in concurrent systems. ACM SIGSOFT Software Engineering Notes 32(6): (2007)
5EEJayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: On the correctness issues in two-process mutual exclusion algorithms. ACM SIGSOFT Software Engineering Notes 32(6): (2007)
4EEJayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal: Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. SIGPLAN Notices 42(5): 10-15 (2007)
2005
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)
2004
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

1Jayasri Banerjee [4] [5] [7] [8]
2Malay Bhattacharyya [9] [11]
3Umesh Ghanekar [3]
4Ajit Kumar Mandal [4] [5] [7] [8]
5Awadhesh Kumar Singh [1] [2] [3]

Colors in the list of coauthors

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