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

FO-Definable Transformations of Infinite Strings. - Vrunda Dave; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FSTTCS, 2016)

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

Deciding the Computability of Regular Functions over Infinite Words. - Vrunda Dave; Emmanuel Filiot; Shankara Narayanan Krishna; Nathan Lhote (CoRR, 2019)

MSO-Definable Regular Model Checking. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (CoRR, 2019)

On the Separability Problem of String Constraints. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Vrunda Dave; Shankara Narayanan Krishna (CONCUR, 2020)

Regular Model Checking with Regular Relations. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FCT, 2021)

Optimal Repair for Omega-Regular Properties. - Vrunda Dave; Shankara Narayanan Krishna; Vishnu Murali; Ashutosh Trivedi 001 (ATVA, 2022)

Regular transducer expressions for regular transformations. - Vrunda Dave; Paul Gastin; Shankara Narayanan Krishna (Inf. Comput., 2022)

Synthesis of Computable Regular Functions of Infinite Words. - Vrunda Dave; Emmanuel Filiot; Shankara Narayanan Krishna; Nathan Lhote (Log. Methods Comput. Sci., 2022)