| 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 |
| On nonlinear prices in timed automata D Bhave, SN Krishna, A Trivedi arXiv preprint arXiv:1612.04976, 2016 | 8 | 2016 |
| 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 |
| Bounded-rate multi-mode systems based motion planning D Bhave, S Jha, SN Krishna, S Schewe, A Trivedi Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 7 | 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 |
| Adding dense-timed stack to integer reset timed automata D Bhave, S Guha International Workshop on Reachability Problems, 9-25, 2017 | 2 | 2017 |
| Software Verification of Timed Systems D Bhave | | 2013 |
| Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata D Bhave, R Phawade | | |
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
