K. Narayan Kumar

Identifiers

• name variant K. Narayan Kumar 0.60 · backfill

Papers (3)

1. The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering cs.LO · 2019 · author #4
2. Infinite-State Energy Games cs.GT · 2014 · author #5
3. Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard cs.LO · 2012 · author #3

Mentions

• 1205.6928 #3 · backfill · confidence 0.70 K. Narayan Kumar

Frequent Coauthors

• Mohamed Faouzi Atig 2 shared papers
• Ahmed Bouajjani 1 shared papers
• Jean Goubault-Larrecq 1 shared papers
• Parosh Aziz Abdulla 1 shared papers
• Patrick Totzke 1 shared papers
• Philippe Schnoebelen 1 shared papers
• Piotr Hofman 1 shared papers
• Prakash Saivasan 1 shared papers
• Prateek Karandikar 1 shared papers
• Richard Mayr 1 shared papers
• Simon Halfon 1 shared papers