| 581 | Verification of digital systems using linear time temporal logic |
| Researcher: | Gangadharan, Venkatesh |
| Guide: | Shyamsundar, R K |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 582 | |
| Researcher: | Ghosh, Subir Kumar |
| Guide: | Shyamsundar, R K |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 583 | |
| Researcher: | Lodaya, Kamal Dhanji |
| Guide: | Mathai Joseph |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 584 | |
| Researcher: | Pandya, Paritosh Kulin |
| Guide: | Mathai Joseph |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 585 | |
| Researcher: | Ramanujam, R |
| Guide: | Shyamsundar, R K |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 586 | Computer methods and models to administer selection of candidates for proffesional courses |
| Researcher: | Chellappan, C |
| Guide: | Natesan, T R |
| University: | Anna University |
| Language: | English |
| 587 | |
| Researcher: | Murthy, Bhaskara Bhanu |
| Guide: | Rangachari, S |
| University: | Indian School of Mines |
| Language: | English |
| 588 | |
| Researcher: | Apparao, Allam |
| Guide: | Radhakrishna Murty, V |
| University: | Andhra University |
| Language: | English |
| 589 | Optional synthesis of packet switched computer communication net works |
| Researcher: | Narasimha Raju, Kosuri |
| Guide: | Radhakrishnamurthy, V |
| University: | Andhra University |
| Language: | English |
| 590 | On query transactions in distributed relational database management systems |
| Researcher: | Mathur, Jyoti |
| Guide: | Dhyani, Praveen |
| University: | Birla Institute of Technology and Science |
| Language: | English |
| 591 | |
| Researcher: | Ajit, G M |
| Guide: | Sridhar, G MSridhar, C S |
| University: | Cochin University of Science and Technology |
| Language: | English |
| 592 | |
| Researcher: | Varanasi, Purushottam |
| Guide: | Dutta Roy, S C |
| University: | Indian Institute of Technology-delhi |
| Language: | English |
| 593 | study of somehigh frequency braodband matching schemes for resonant loads |
| Researcher: | Borgaonkar, S R |
| Guide: | Rao, S N |
| University: | Indian Institute of Science |
| Language: | English |
| 594 | |
| Researcher: | Sharma, Arvind Kumar |
| Guide: | Bhatt, B |
| University: | Indian Institute of Technology-delhi |
| Language: | English |
| 595 | Studies on open-ended circular waveguide radiators with modified aperture-ends |
| Researcher: | Neelakantaswamy, P S |
| Guide: | Banerjee, D K |
| University: | Indian Institute of Technology-madras |
| Language: | English |
| 596 | Studies on methods of optimum design of waveguide fed slot arrays |
| Researcher: | Sinha, Mahabir |
| Guide: | Das, B NSayal, G S |
| University: | Indian Institute of Technology |
| Language: | English |
| 597 | Synthesis of multifunction active RC filters using grounded capacitors |
| Researcher: | Ranjit Singh |
| Guide: | Venkateswaran, S |
| University: | Indian Institute of Technology Kanpur |
| Language: | English |
| 598 | |
| Researcher: | Srinivasan, S |
| Guide: | Radhakrishna Rao, KAchuthan, M K |
| University: | Indian Institute of Technology-madras |
| Language: | English |
| 599 | |
| Researcher: | Balakrishnan, P |
| Guide: | Rajaappan, K P |
| University: | Indian Institute of Technology-madras |
| Language: | English |
| 600 | |
| Researcher: | Janakiraman, P A |
| Guide: | Venkata Rao, P |
| University: | Indian Institute of Technology-madras |
| Language: | English |