Conference Papers

• Kapoor, Hemangee K Computer-aided verification of delay-insensitive processes presented at the Poster and Tool demo at 25 Years of CSP
• Kapoor, Hemangee K. and Josephs, Mark B Decomposing specifications to resolve state coding conflicts in asynchronous logic synthesisin Proceedings of 4th Acid-WG Workshop,
• Kapoor, Hemangee K. and Josephs, Mark B Decomposing Specifications with concurrent outputs to resolve state coding conflicts in asynchronous... Proceedings of 41st Design Automation Conference,
• Bhatt, Amit and Desai, Meghana Reconfiguration in SOC with programmable interconnect presented at the VLSI Design and Test, 2003.
• Chaudhary, Sanjay; Patel, Ashok and Buddhadeve, B V Krushimantra: A decision support system for Indian farmersin Proceedings of International Conference on Agricultural Policies and Strategies for Profitable Farming,
• Sharma, Ashish Kumar and Gupta, Sanjeev. Integrated CMOS transceiver front-end for CDMA-based mobile communication applicationsin Proceedings of 1st International Conference on Microwaves, Antenna, Propagation and Remote Sensing (ICMARS-2003),
• Oza, Hiral, D. and Gupta, Sanjeev. Computer aided design of microstrip array antenna for beam scanning applicationsin Proceedings of 1st International Conference on Microwaves, Antenna, Propagation and Remote Sensing (ICMARS-2003),
• Jotwani, Naresh. and Jadhav, Ashish. Examination reforms in engineering and technology programmesin UGC Golden Jubilee National Seminar: 2002-2003 on Examination Reforms,
• Boyd, Colin and Mathuria, Anish. Two undetectable on-line guessing attacks revisitedin Proceedings of the National Workshop on Cryptology-2003,
• Mitra, Suman K Application of Bayesian network for sequential diagnosis of diseases from retinal imagesin Proceedings of the International Conference on Advances in Pattern Recognition (ICAPR'03)