Rajkumar Gajavelly

Identifiers

• name variant Rajkumar Gajavelly 0.60 · backfill

Papers (1)

1. Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #4

Mentions

• 1505.07916 #4 · backfill · confidence 0.70 Rajkumar Gajavelly

Frequent Coauthors

• Carl-Johan H. Seger 1 shared papers
• Dinesh Chhatani 1 shared papers
• Rakesh Mistry 1 shared papers
• Supratik Chakraborty 1 shared papers
• Tanmay Haldankar 1 shared papers
• Zurab Khasidashvili 1 shared papers