K. Narayan Kumar

发表

Madhavan Mukund, P. S. Thiagarajan, Jesper G. Henriksen, 2000, ICALP.
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, 1995, STRICT.
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2012, ArXiv.
Madhavan Mukund, K. Narayan Kumar, S. Akshay, 2007, CONCUR.
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999, PPDP.
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, 2000, CONCUR.
Madhavan Mukund, Scott A. Smolka, K. Narayan Kumar, 1999, ASIAN.
C. R. Ramakrishnan, Samik Basu, K. Narayan Kumar, 2002, TACAS.
Jaikumar Radhakrishnan, Madhavan Mukund, K. Narayan Kumar, 1998, ICALP.
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, 2003, Theor. Comput. Sci..
K. Narayan Kumar, K. Kumar, K. Narayan Kumar, 2012, Modern Applications of Automata Theory.
Paul Gastin, Madhavan Mukund, K. Narayan Kumar, 2010, FSTTCS.
Benedikt Bollig, Paul Gastin, Madhavan Mukund, 2014, Fundam. Informaticae.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Richard Mayr, 2014, CSL-LICS.
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2017, NETYS.
Madhavan Mukund, P. S. Thiagarajan, Jesper G. Henriksen, 2000, MFCS.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan, 2013, Int. J. Found. Comput. Sci..
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2017, FSTTCS.
Madhavan Mukund, P. S. Thiagarajan, K. Narayan Kumar, 2003, CONCUR.
Rance Cleaveland, Scott A. Smolka, K. Narayan Kumar, 1998, FSTTCS.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2021, Proc. ACM Program. Lang..
Paul Gastin, Madhavan Mukund, K. Narayan Kumar, 2007, FCT.
K. Narayan Kumar, Paritosh K. Pandya, 1993, FSTTCS.
K. Narayan Kumar, Paritosh K. Pandya, P. Pandya, 1993, Acta Informatica.
Madhavan Mukund, P. S. Thiagarajan, Jesper G. Henriksen, 1999 .
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan, 2016, TACAS.
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2018, CONCUR.
Paul Gastin, Madhavan Mukund, K. Narayan Kumar, 2003, MFCS.
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan, 2014, Int. J. Found. Comput. Sci..
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, TACAS.
Philippe Schnoebelen, Jean Goubault-Larrecq, K. Narayan Kumar, 2019, Trends in Logic.
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 2004, TOPL.
K. Narayan Kumar, 1996 .
Madhavan Mukund, K. Narayan Kumar, Bharat Adsul, 2005, FSTTCS.
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999, ASIAN.
I. V. Ramakrishnan, K. Narayan Kumar, Abhik Roychoudhury, 1999, ICLP.
Madhavan Mukund, P. S. Thiagarajan, Shaofa Yang, 2007, Formal Models, Languages and Applications.
K. Narayan Kumar, Paritosh K. Pandya, 1994, FSTTCS.
C. R. Ramakrishnan, Scott A. Smolka, K. Narayan Kumar, 2001, ICLP.
Paul Gastin, Madhavan Mukund, K. Narayan Kumar, 2009 .
Benedikt Bollig, Paul Gastin, Madhavan Mukund, 2008, CONCUR.
Madhavan Mukund, P. S. Thiagarajan, Jesper G. Henriksen, 2005, Inf. Comput..
C. Aiswarya, Benedikt Bollig, Paul Gastin, 2012, FoSSaCS.
K. Narayan Kumar, Deepak D'Souza, 2017, Lecture Notes in Computer Science.
C. Aiswarya, Paul Gastin, K. Narayan Kumar, 2012, CONCUR.
Mohamed Faouzi Atig, Georg Zetzsche, K. Narayan Kumar, 2016, ArXiv.
Jaikumar Radhakrishnan, Madhavan Mukund, K. Narayan Kumar, 1998, ASIAN.
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 2002, Int. J. Found. Comput. Sci..
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2012, ATVA.
C. Aiswarya, Paul Gastin, K. Narayan Kumar, 2014, CONCUR.
Paul Gastin, Madhavan Mukund, K. Narayan Kumar, 2015, Theor. Comput. Sci..
C. Aiswarya, Paul Gastin, K. Narayan Kumar, 2014, ATVA.
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, 2014, FSTTCS.
Deepak D'Souza, K. Narayan Kumar, Joy Chakraborty, 2010, ISoLA.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, 2021, Proc. ACM Program. Lang..
K. Narayan Kumar, V. C.R.RamakrishnanI., RamakrishnanDepartment, 1998 .
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999 .
Paul Gastin, K. Narayan Kumar, Aiswarya Cyriac, 2014, ATVA.