| Revisiting local time semantics for networks of timed automata R Govind, F Herbreteau, B Srivathsan, I Walukiewicz arXiv preprint arXiv:1907.02296, 2019 | 19 | 2019 |
| Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods R Govind, F Herbreteau, Srivathsan, I Walukiewicz Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 10 | 2022 |
| Simulations for event-clock automata S Akshay, P Gastin, R Govind, B Srivathsan arXiv preprint arXiv:2207.02633, 2022 | 7 | 2022 |
| Efficient construction of reversible transducers from regular transducer expressions L Dartois, P Gastin, Govind, Krishna Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 3 | 2022 |
| Automated Synthesis of Decision Lists for Polynomial Specifications over Integers S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ... Conference on Logic for Programming, Artificial Intelligence and Reasoning …, 2024 | 2 | 2024 |
| A unified model for real-time systems: Symbolic techniques and implementation S Akshay, P Gastin, R Govind, AR Joshi, B Srivathsan International Conference on Computer Aided Verification, 266-288, 2023 | 2 | 2023 |
| Logics for reversible regular languages and semigroups with involution P Gastin, A Manuel, R Govind Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019 | 2 | 2019 |
| MITL model checking via generalized timed automata and a new liveness algorithm S Akshay, P Gastin, R Govind, B Srivathsan arXiv preprint arXiv:2407.08452, 2024 | 1 | 2024 |
| Practical approximate quantifier elimination for non-linear real arithmetic (long version) S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ... | 1 | 2024 |
| Reversible regular languages: Logical and algebraic characterisations P Gastin, A Manuel, R Govind Fundamenta Informaticae 180 (4), 333-350, 2021 | 1 | 2021 |
| Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ... International Symposium on Formal Methods, 111-130, 2024 | | 2024 |
| Reversible Transducers over Infinite Words L Dartois, P Gastin, LG Guizouarn, R Govind, S Krishna arXiv preprint arXiv:2406.11488, 2024 | | 2024 |
| LIPIcs, Volume 311, CONCUR 2024, Complete Volume}} R Majumdar, A Silva, A Gurfinkel, A Raad, T Wies, L Aceto, A Achilleos, ... 35th International Conference on Concurrency Theory (CONCUR 2024) 311, 9, 2024 | | 2024 |
| 30th International Conference on Concurrency Theory (CONCUR 2019) WJ Fokkink, RJ van Glabbeek 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | | 2019 |
| On the expressiveness of hyperlogics A Achilleos, E Anastasiadi, R Govind, J Wagemaker | | |
