Devendra Bhave

2016201720182019202020215 5 6 8 3 5

Public access

1 article

0 articles

available

not available

Based on funding mandates

Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Ramchandra PhawadeAssistant Professor, Dept of Computer Science and Engineering, IIT DharwadVerified email at iitdh.ac.in
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk

Devendra Bhave

Verified email at cse.iitb.ac.in - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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, 89-101, 2016	13	2016
A perfect class of context-sensitive timed languages D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi International Conference on Developments in Language Theory, 38-50, 2016	8	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	4	2015
On nonlinear prices in timed automata D Bhave, SN Krishna, A Trivedi arXiv preprint arXiv:1612.04976, 2016	3	2016
On timed scope-bounded context-sensitive languages D Bhave, SN Krishna, R Phawade, A Trivedi International Conference on Developments in Language Theory, 168-181, 2019	2	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
On Nonlinear Prices in Timed Automata A Trivedi, SN Krishna, D Bhave
The Multiple Dimensions of Mean-Payoff Games (Extended Abstract)...... L Doyen, D Bhave, S Guha, F Bruse, M Lange, E Lozes, F Cassez, ...
Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata D Bhave, R Phawade

The system can't perform the operation now. Try again later.

Articles 1–10

Citations per year