Ramchandra Phawade

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 11

Top Topics

Regular Expressions

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE @ Petri Nets

Publications

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded Model Checking for Unbounded Client Server Systems. CoRR (2022)
S. Akshay, Loïc Hélouët, Ramchandra Phawade
Combining free choice and time in Petri nets. J. Log. Algebraic Methods Program. 110 (2020)
Ramchandra Phawade
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. CoRR (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-Bounded Context-Sensitive Languages. DLT (2019)
Ramchandra Phawade
Kleene Theorems for Free Choice Automata over Distributed Alphabets. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
On Timed Scope-bounded Context-sensitive Languages. CoRR (2019)
Ramchandra Phawade
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. PNSE@Petri Nets/ACSD (2018)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Perfect Class of Context-Sensitive Timed Languages. DLT (2016)
S. Akshay, Loïc Hélouët, Ramchandra Phawade
Combining Free Choice and Time in Petri Nets. TIME (2016)
Ramchandra Phawade
Kleene Theorem for Labelled Free Choice Nets without Distributed Choice. PNSE @ Petri Nets (2016)
Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
A Logical Characterization for Dense-Time Visibly Pushdown Automata. LATA (2016)
Ramchandra Phawade, Kamal Lodaya
Kleene Theorems for Synchronous Products with Matching. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Ramchandra Phawade, Kamal Lodaya
Kleene Theorems for Labelled Free Choice Nets. PNSE @ Petri Nets (2014)
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
Kleene Theorems for Product Systems. DCFS (2011)