Kleene Theorems for Product Systems. - Kamal Lodaya; Madhavan Mukund; Ramchandra Phawade (DCFS, 2011)

Kleene Theorems for Labelled Free Choice Nets. - Ramchandra Phawade; Kamal Lodaya (PNSE @ Petri Nets, 2014)

Kleene Theorems for Synchronous Products with Matching. - Ramchandra Phawade; Kamal Lodaya (Trans. Petri Nets Other Model. Concurr., 2015)

Kleene Theorem for Labelled Free Choice Nets without Distributed Choice. - Ramchandra Phawade (PNSE @ Petri Nets, 2016)

A Perfect Class of Context-Sensitive Timed Languages. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2016)

A Logical Characterization for Dense-Time Visibly Pushdown Automata. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (LATA, 2016)

Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. - Ramchandra Phawade (PNSE@Petri Nets/ACSD, 2018)

On Timed Scope-Bounded Context-Sensitive Languages. - Devendra Bhave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2019)

Kleene Theorems for Free Choice Automata over Distributed Alphabets. - Ramchandra Phawade (Trans. Petri Nets Other Model. Concurr., 2019)

Combining free choice and time in Petri nets. - S. Akshay 001; Loïc Hélouët; Ramchandra Phawade (J. Log. Algebraic Methods Program., 2020)

Bounded Model Checking for Unbounded Client Server Systems. - Ramchandra Phawade; Tephilla Prince; S. Sheerazuddin (CoRR, 2022)

faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties. - Amrutha Benny; Sandeep Chandran; Rajshekar Kalayappan; Ramchandra Phawade; Piyush P. Kurur (RV, 2024)