R. Govind

Identifiers

• name variant R. Govind 0.60 · backfill

Papers (6)

1. Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability cs.PL · 2026 · author #3
2. Verifying Sequential Consistency under Bounded Preemptions cs.PL · 2026 · author #1
3. Complexity of Consistency Testing for the Release-Acquire Semantics cs.CC · 2026 · author #1
4. TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics cs.FL · 2025 · author #4
5. Revisiting local time semantics for networks of timed automata cs.LO · 2019 · author #1
6. Logics for Reversible Regular Languages and Semigroups with Involution cs.FL · 2019 · author #3

Mentions

• 2605.24263 #3 · arxiv_oai · confidence 0.70 R. Govind
• 2510.14699 #4 · arxiv_oai · confidence 0.70 R. Govind

Frequent Coauthors

• B. Srivathsan 4 shared papers
• Paul Gastin 2 shared papers
• S. Akshay 2 shared papers
• Sanchari Sil 2 shared papers
• S. Krishna 2 shared papers
• Amaldev Manuel 1 shared papers
• Aniruddha R. Joshi 1 shared papers
• Fr\'ed\'eric Herbreteau 1 shared papers
• Igor Walukiewicz 1 shared papers
• Prerak Contractor 1 shared papers
• Supratik Chakraborty 1 shared papers