| 1 | Formal tools for specification driven protocol design of distributed computing systems |
| Researcher: | Agrawal, V K |
| Guide: | Patnaik, L M |
| University: | Indian Institute of Science |
| Language: | English |
| 2 | Linear sequential systems over residue class polynomial rings: Theory and applications |
| Researcher: | Bhat, Hari K N |
| Guide: | Siddiqui, M U |
| University: | Indian Institute of Technology-Kanpur |
| Language: | English |