| 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 | |
| Researcher: | Srikant, Y N |
| Guide: | Shankar, Priti |
| University: | Indian Institute of Science |
| Language: | English |
| 3 | Dependency lattices acyclic hypergraphs and relation database scheme design |
| Researcher: | Lakshmanan, V S |
| Guide: | Veni, C Emadhavan |
| University: | Indian Institute of Science |
| Language: | English |
| 4 | Petri-net-based techaniques for modeling analysis and performance evalution |
| Researcher: | Narhari, Y |
| Guide: | Viswanadham, N |
| University: | Indian Institute of Science |
| Language: | English |
| 5 | broadcast cube-based multipocesor architecture for solving partial differential equations |
| Researcher: | Ram Murty, C Siva |
| Guide: | Rajaraman, V |
| University: | Indian Institute of Science |
| Language: | English |
| 6 | |
| Researcher: | Unnikrishanan |
| Guide: | Venkatesh, Y V VShankar, Priti |
| University: | Indian Institute of Science |
| Language: | English |
| 7 | Membership algorithms for dependencies in relational databases |
| Researcher: | Ramanan, I V |
| Guide: | Biswas, N N |
| University: | Indian Institute of Science |
| Language: | English |