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.
• Bhatt Amit, Desai Meghana Reconfiguration in SOC with programmable interconnect presented at the VLSI Design and Test, 2003.
• Ashok Patel, Buddhadeve B V, Chaudhary Sanjay Krushimantra: A decision support system for Indian farmersin Proceedings of International Conference on Agricultural Policies and Strategies for Profitable Farming, GAU, Anand, 2003.
• 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), Jodhpur, 2003.
• Oza Hiral D, Sanjeev Gupta 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), Jodhpur, 2003.
• Jadhav Ashish, Jotwani Naresh Examination reforms in engineering and technology programmesin UGC Golden Jubilee National Seminar: 2002-2003 on Examination Reforms, 2003, pp. 99-104.
• Anish Mathuria, Boyd, Colin and Mathuria Two undetectable on-line guessing attacks revisitedin Proceedings of the National Workshop on Cryptology-2003, Anna University, pp. II-16.1-16.5.
• 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) Kolkata, 2003, pp. 219-222.