R Venkatesh

Identifiers

No identifiers captured yet.

Papers (4)

1. Deterministic Suffix-reading Automata cs.FL · 2025 · author #3
2. Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors cs.SE · 2018 · author #3
3. Scaling Bounded Model Checking By Transforming Programs With Arrays cs.PL · 2016 · author #4
4. Scaling Bounded Model Checking By Transforming Programs With Arrays cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Advaita Datar 2 shared papers
• Anushri Jana 2 shared papers
• C Niyas 2 shared papers
• Uday P. Khedker 2 shared papers
• B Srivathsan 1 shared papers
• Martin Becker 1 shared papers
• Ravindra Metta 1 shared papers
• R Keerthan 1 shared papers
• Sagar Verma 1 shared papers
• Samarjt Chakraborty 1 shared papers