| A logical characterization for dense-time visibly pushdown automata D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi Language and Automata Theory and Applications: 10th International Conference …, 2016 | 11 | 2016 |
| Kleene theorems for product systems K Lodaya, M Mukund, R Phawade International Workshop on Descriptional Complexity of Formal Systems, 235-247, 2011 | 10 | 2011 |
| A perfect class of context-sensitive timed languages D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi Developments in Language Theory: 20th International Conference, DLT 2016 …, 2016 | 7 | 2016 |
| Kleene Theorems for Labelled Free Choice Nets. R Phawade, K Lodaya PNSE@ Petri Nets, 75-89, 2014 | 7 | 2014 |
| Combining free choice and time in Petri nets S Akshay, L Hélouët, R Phawade Journal of Logical and Algebraic Methods in Programming 110, 100426, 2020 | 6 | 2020 |
| Kleene theorems for synchronous products with matching R Phawade, K Lodaya Transactions on Petri nets and other models of concurrency X, 84-108, 2015 | 6 | 2015 |
| Labelled free choice nets, finite product automata, and expressions R Phawade Ph. D. thesis, Homi Bhabha National Institute, 2015 | 5 | 2015 |
| On timed scope-bounded context-sensitive languages D Bhave, SN Krishna, R Phawade, A Trivedi Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019 | 4 | 2019 |
| Kleene Theorem for Labelled Free Choice Nets without Distributed Choice. R Phawade PNSE@ Petri Nets, 132-152, 2016 | 3 | 2016 |
| Bounded model checking for unbounded client server systems R Phawade, T Prince, S Sheerazuddin arXiv preprint arXiv:2209.05879, 2022 | 1 | 2022 |
| Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets R Phawade arXiv preprint arXiv:1907.01168, 2019 | 1 | 2019 |
| Kleene theorems for free choice automata over distributed alphabets R Phawade Transactions on Petri Nets and Other Models of Concurrency XIV, 146-171, 2019 | 1 | 2019 |
| Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata D Bhave, R Phawade | | |
| Kleene Theorems for Labelled Free Choice Nets without product acceptance condition R Phawade | | |
Devendra BhaveIIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
