| 1 | A compiler technology based approach to simulation of basic forms of automata | |
| Researcher: | Chakraborty, Pinaki | |
| Guide: | Katti, C. P.Saxena, P C | |
| University: | Jawaharlal Nehru University, New Delhi | |
| Language: | English | |
| 2 | ||
| Researcher: | Garhwal, Sunita | |
| Guide: | Jiwari, Ram | |
| University: | Thapar University, Patiala | |
| Language: | English | |
| 3 | Automata based formal approach for verification of web services composition | |
| Researcher: | Danapaquiame, N. | |
| Guide: | Ilavarasan, E. | |
| University: | Pondicherry University, Puducherry | |
| Language: | English | |
| Shodhganga | ||