by D'Souza, Deepak, Narayan Kumar, K
Year of Publication 2017

by Akshay, S., Gastin, Paul, Mukund, Madhavan, Narayan Kumar, K.
Published in Theoretical computer science (23.08.2015)

by Adsul, Bharat, Mukund, Madhavan, Kumar, K. Narayan, Narayanan, Vasumathi
Published in FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005)

by Akshay, S., Bollig, Benedikt, Gastin, Paul, Mukund, Madhavan, Kumar, K. Narayan
Published in Fundamenta informaticae (01.01.2014)

by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Narayan Kumar, K., Saivasan, Prakash
Published in Networked Systems (2022)

by Atig, Mohamed Faouzi, Narayan Kumar, K., Saivasan, Prakash
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Henriksen, Jesper G., Mukund, Madhavan, Kumar, K. Narayan, Sohoni, Milind, Thiagarajan, P.S.
Published in Information and computation (10.10.2005)

by Atig, Mohamed Faouzi, Bouajjani, Ahmed, Narayan Kumar, K., Saivasan, Prakash
Published in Automated Technology for Verification and Analysis (2012)

by Atig, Mohamed Faouzi, Narayan Kumar, K., Saivasan, Prakash
Published in Developments in Language Theory (2013)

by Aiswarya, C., Gastin, Paul, Narayan Kumar, K.
Published in Automated Technology for Verification and Analysis (2014)

by Atig, Mohamed Faouzi, Bouajjani, Ahmed, Narayan Kumar, K., Saivasan, Prakash
Published in Networked Systems (2017)

by Chakraborty, Joy, D’Souza, Deepak, Narayan Kumar, K.
Published in Leveraging Applications of Formal Methods, Verification, and Validation (2010)

by Bollig, Benedikt, Cyriac, Aiswarya, Gastin, Paul, Narayan Kumar, K.
Published in Foundations of Software Science and Computational Structures (2012)

by Mukund, Madhavan, Narayan Kumar, K., Sohoni, Milind
Published in Theoretical computer science (2003)

by Akshay, S., Bollig, Benedikt, Gastin, Paul, Mukund, Madhavan, Narayan Kumar, K.
Published in CONCUR 2008 (2008)

by Abdulla, Parosh, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Kumar, K. Narayan, Saivasan, Prakash
Published in Proceedings of ACM on programming languages (20.06.2024)

by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Kumar, K. Narayan, Saivasan, Prakash
Published in Proceedings of ACM on programming languages (01.01.2021)

by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Jonsson, Bengt, Kumar, K. Narayan, Saivasan, Prakash
Published in Principles of Systems Design (2022)

by Bhateja, Puneet, Gastin, Paul, Mukund, Madhavan, Kumar, K. Narayan
Published in Fundamentals of Computation Theory (2007)

Year of Publication 2017