| 1 | |
| Researcher: | Venkatesh, Prabha |
| Guide: | Prasad, C R |
| University: | Bangalore University |
| Language: | English |
| 2 | Verification of digital systems using linear time temporal logic |
| Researcher: | Gangadharan, Venkatesh |
| Guide: | Shyamsundar, R K |
| University: | Tata Institute of Fundamental Research |
| Language: | English |