| 2026 | FM | Complexity of Consistency Testing for the Release-Acquire Semantics. | R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan |
| 2026 | IJCAR | Program Synthesis for Non-linear Real Arithmetic: Going Beyond Realizability. | S. Akshay, Supratik Chakraborty, R. Govind, Aniruddha R. Joshi |
| 2026 | TACAS | TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics. | S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan |
| 2025 | APLAS | Checking Consistency of Event-Driven Traces. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2024 | CONCUR | MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. | S. Akshay, Paul Gastin, R. Govind, B. Srivathsan |
| 2024 | CONCUR | Reversible Transducers over Infinite Words. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2024 | FM | Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | LPAR | Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2023 | CAV | A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. | S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan |
| 2022 | CONCUR | Simulations for Event-Clock Automata. | S. Akshay, Paul Gastin, R. Govind, B. Srivathsan |
| 2022 | LICS | Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2022 | LICS | Efficient Construction of Reversible Transducers from Regular Transducer Expressions. | Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna |
| 2019 | CONCUR | Revisiting Local Time Semantics for Networks of Timed Automata. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2019 | DLT | Logics for Reversible Regular Languages and Semigroups with Involution. | Paul Gastin, Amaldev Manuel, R. Govind |
| 1990 | IJCNN | Neural network applications in synthetic organic chemistry. I. A hybrid system which performs retrosynthetic analysis. | H. H. Luce, R. Govind |