K Narayan Kumar

Identifiers

No identifiers captured yet.

Papers (2)

1. Regular Separability of Well Structured Transition Systems cs.FL · 2017 · author #5
2. Complexity of regular abstractions of one-counter languages cs.FL · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Prakash Saivasan 2 shared papers
• Dmitry Chistikov 1 shared papers
• Georg Zetzsche 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Piotr Hofman 1 shared papers
• Roland Meyer 1 shared papers
• Sebastian Muskalla 1 shared papers
• S{\l}awomir Lasota 1 shared papers
• Wojciech Czerwi\'nski 1 shared papers