| 1 | Parameterized complexity of some problems in concurrency and verification | |
| Researcher: | Praveen, M | |
| Guide: | Lodaya, Kamal | |
| University: | Homi Bhabha National Institute | |
| Language: | English | |
| Shodhganga | ||
| 2 | ||
| Researcher: | Aailawalia, Praveen | |
| University: | Kurukshetra University | |
| Language: | English | |