Tanmay Haldankar

Identifiers

• name variant Tanmay Haldankar 0.60 · backfill

Papers (1)

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

Mentions

• 1505.07916 #5 · backfill · confidence 0.70 Tanmay Haldankar

Frequent Coauthors

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