Indranil Saha

Identifiers

• name variant Indranil Saha 0.60 · backfill

Papers (2)

1. Synthesis of Minimal Error Control Software cs.SY · 2012 · author #2
2. A Simplification of a Real-Time Verification Problem cs.LO · 2010 · author #1

Mentions

• 1204.2857 #2 · arxiv_oai · confidence 0.70 Indranil Saha
• 1204.2857 #2 · backfill · confidence 0.70 Indranil Saha
• 1008.1417 #1 · backfill · confidence 0.70 Indranil Saha

Frequent Coauthors

• Janardan Misra 1 shared papers
• Majid Zamani 1 shared papers
• Rupak Majumdar 1 shared papers
• Suman Roy 1 shared papers