Devendra Bhave

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Language Independent

Top Venues

Publications

Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-Bounded Context-Sensitive Languages. DLT (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-bounded Context-sensitive Languages. CoRR (2019)
Devendra Bhave, Shibashis Guha
Adding Dense-Timed Stack to Integer Reset Timed Automata. RP (2017)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Perfect Class of Context-Sensitive Timed Languages. DLT (2016)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA (2016)
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
On Nonlinear Prices in Timed Automata. V2CPS@IFM (2016)
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
Bounded-rate multi-mode systems based motion planning. HSCC (2015)
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR (2014)