Conference Papers

• Kapoor Hemangee K Computer-aided verification of delay-insensitive processes presented at the Poster and Tool demo at 25 Years of CSP London, July, 2004.
• Josephs Mark B, Kapoor Hemangee K Decomposing specifications to resolve state coding conflicts in asynchronous logic synthesisin Proceedings of 4th Acid-WG Workshop, Turku, Finland, June, 2004, pp. 830-833.
• Josephs Mark B, Kapoor Hemangee K Decomposing Specifications with concurrent outputs to resolve state coding conflicts in asynchronous... Proceedings of 41st Design Automation Conference, USA, 2004, pp. 830-833.
• Jonathan P, Kalpesh and Bowen, Kapoor Ordering mutants to minimize test effort in mutation testingin Proceedings of 4th International Workshop on Formal Approaches to Software Testing (FATES 2004), Linz, Austria, Sep. 21, 2004, pp. 195-209.
• Maitra Anutosh, Singh Vivek kumar A feature drift model for tracking concept driftin Proceedings of 12th International Conference on Advanced Computing and Communications, Ahmedabad, Dec. 2004.
• Jadia Pawan, Anish Mathuria Efficient secure aggregation in sensor networksin Proceedings of 11th Annual International Conference on High Performance Computing (HiPC 2004), [LNCS, vol. 3296], Dec., 2004, pp. 40-49.
• Mitra Suman K. A study on the application of color transfer technique for video compressionin Proceedings of Indian Conference on Vision, Graphics and Image Processing, Kolkata, 2004, pp. 628-631.
• Mitra Suman K., Rao K. Madhusudhana Color transfer technique for video compressionin Proceedings of the 12th International Conference on Advanced Computing and Communication, Ahmedabad, 2004, pp. 450-453.
• Mishra Mayank, Sanjay Chaudhary Architecture for locating mobile CORBA objects in wireless mobile environmentin Proceedings Third International School and Symposium on advanced distributed systems (ISSADS 2004), Guadalajara, Mexico, Jan. 2004, pp. 207-218.
• Banerjee Asim, Londhe Tushar, Mitra Suman K. Face image segmentation using fractal techniquein Proceedings of the 12th International Conference on Advanced Computing and Communication, Ahmedabad, Dec., 2004, pp. 643-646.