| 1 | Autonomous robot motion in complex environments: Specification and verification | |
| Researcher: | Sowmya, A | |
| Guide: | Ramesh, S | |
| University: | Indian Institute of Technology-Bombay | |
| Language: | English | |
| 2 | ||
| Researcher: | Kabat, Manas | |
| Guide: | Tripathy, C R | |
| University: | Sambalpur University | |
| Language: | English | |
| Shodhganga | ||
| 3 | Real time constraint notation (RTCN) in model refinement process | |
| Researcher: | Singh, Vivek Kumar | |
| Guide: | Agrawal, Rajendra P | |
| University: | Shobhit University | |
| Language: | English | |
| 4 | ||
| Researcher: | Kumar, Arun S. | |
| Guide: | Anbarasi, M. S | |
| University: | Pondicherry University, Puducherry | |
| Language: | English | |
| Shodhganga | ||
| 5 | Financial time series prediction using soft computing hybrids | |
| Researcher: | Dadabada, Pradeep Kumar | |
| Guide: | Vadlamani, Ravi | |
| University: | University of Hyderabad, Hyderabad | |
| Language: | English | |
| Shodhganga | ||
| 6 | ||
| Researcher: | Parameswaran, R | |
| Guide: | Jathavedan, M | |
| University: | Cochin University of Science & Technology, Cochin | |
| Language: | English | |
| Shodhganga | ||