R. Govind

Orcid: 0000-0002-1634-5893

Affiliations:

Indian Institute of Technology Bombay, Mumbai, India
Chennai Mathematical Institute, India (former)
University of Bordeaux, LaBRI, France (former)

According to our database¹, R. Govind authored at least 7 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

[BibT_eX]

[DOI]

Luc Dartois

Paul Gastin

R. Govind

Shankara Narayanan Krishna

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Simulations for Event-Clock Automata.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Reversible Regular Languages: Logical and Algebraic Characterisations.

[BibT_eX]

[DOI]

Paul Gastin

Amaldev Manuel

R. Govind

Fundam. Informaticae, 2021

2019

Logics for Reversible Regular Languages and Semigroups with Involution.

[BibT_eX]

[DOI]

Paul Gastin

Amaldev Manuel

R. Govind

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Revisiting Local Time Semantics for Networks of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Concurrency Theory, 2019

R. Govind

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...