Kshitij Bansal (1)

Identifiers

• name variant Kshitij Bansal (1) 0.60 · backfill

Papers (1)

1. A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems cs.LO · 2012 · author #1

Mentions

• 1212.1485 #1 · backfill · confidence 0.70 Kshitij Bansal (1)

Frequent Coauthors

• 2) ((1) New York University 1 shared papers
• (2) LSV 1 shared papers
• CNRS 1 shared papers
• France) 1 shared papers
• St\'ephane Demri (1 1 shared papers
• USA 1 shared papers