×

zbMATH — the first resource for mathematics

Kumar, K. Narayan

Compute Distance To:
Author ID: kumar.k-narayan Recent zbMATH articles by "Kumar, K. Narayan"
Published as: Kumar, K.; Kumar, K. Narayan; Narayan Kumar, K.
Documents Indexed: 61 Publications since 1959, including 2 Books

Publications by Year

Citations contained in zbMATH

40 Publications have been cited 156 times in 112 Documents Cited by Year
A theory of regular MSC languages. Zbl 1101.68656
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Sohoni, Milind; Thiagarajan, P. S.
22
2005
MSO decidability of multi-pushdown systems via split-width. Zbl 1364.68280
Cyriac, Aiswarya; Gastin, Paul; Kumar, K. Narayan
10
2012
Synthesizing distributed finite-state systems from MSCs. Zbl 0999.68114
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
8
2000
On message sequence graphs and finitely generated regular MSC languages. Zbl 0973.68042
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
7
2000
Buoyancy-driven nonlinear convection in a square cavity in the presence of a magnetic field. Zbl 0943.76074
Kandaswamy, P.; Kumar, K.
7
1999
Adjacent ordered multi-pushdown systems. Zbl 1309.68128
Atig, Mohamed Faouzi; Kumar, K. Narayan; Saivasan, Prakash
6
2014
Contact stresses in multilayered strands under tension and torsion. Zbl 1110.74522
Kumar, K.; Botsis, J.
6
2001
Visibility graphs of staircase polygons and the weak Bruhat order. I: From visibility graphs to maximal chains. Zbl 0835.05065
Abello, J.; Egecioglu, O.; Kumar, K.
6
1995
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
5
2014
Verifying communicating multi-pushdown systems via split-width. Zbl 1448.68283
Aiswarya, C.; Gastin, Paul; Narayan Kumar, K.
5
2014
Linear-time model-checking for multithreaded programs under scope-bounding. Zbl 1375.68076
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan Kumar, K.; Saivasan, Prakash
5
2012
Model checking languages of data words. Zbl 1352.68145
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Narayan Kumar, K.
5
2012
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. Zbl 1066.68016
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.
5
2002
Perturbation of operators and approximation of spectrum. Zbl 1417.47003
Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
4
2013
On \(I\) and \(I^*\)-Cauchy sequences in probabilistic normed spaces. Zbl 1206.54029
Kumar, V.; Kumar, K.
4
2008
Regular collections of message sequence charts (extended abstract). Zbl 0996.68506
Henriksen, Jesper G.; Mukund, Madhavan; Narayan Kumar, K.; Thiagarajan, P. S.
4
2000
A parameterized unfold/fold transformation framework for definite logic programs. Zbl 0953.68031
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.
4
1999
A note on a discrete version of Borg’s theorem via Toeplitz-Laurent operators with matrix-valued symbols. Zbl 1277.47041
Golinskii, L.; Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
3
2013
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Local LTL with past constants is expressively complete for Mazurkiewicz traces. Zbl 1124.68391
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2003
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
Truncation method for random bounded self-adjoint operators. Zbl 06430446
Kumar, K.
2
2015
Controllers for the verification of communicating multi-pushdown systems. Zbl 1417.68111
Aiswarya, C.; Gastin, Paul; Narayan Kumar, K.
2
2014
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Preconditioners and Korovkin-type theorems for infinite-dimensional bounded linear operators via completely positive maps. Zbl 1284.41016
Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
2
2013
Reachability and boundedness in time-constrained MSC graphs. Zbl 1193.68048
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2009
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
Investigation of two-dimensional channel flow with a partially compliant wall using finite volume-finite difference approach. Zbl 1075.76045
Zhang, Xing; Ajaykumar, R.; Sudharsan, N. M.; Kumar, K.
2
2005
Bounded time-stamping in message-passing systems. Zbl 1018.68003
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
2
2003
Separation dynamics of strap-on boosters in the atmosphere. Zbl 0900.70118
Lochan, Rajeev; Adimurthy, V.; Kumar, K.
2
1997
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
1
2014
The theory of message sequence charts. Zbl 1256.68118
Kumar, K. Narayan
1
2012
Causal closure for MSC languages. Zbl 1172.68420
Adsul, Bharat; Mukund, Madhavan; Kumar, K. Narayan; Narayanan, Vasumathi
1
2005
Netcharts: bridging the gap between HMSCs and executable specifications. Zbl 1274.68198
Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
1
2003
Some new neural network architectures with improved learning schemes. Zbl 1031.68571
Sinha, M.; Kumar, K.; Kalra, P. K.
1
2000
Verification of parameterized systems using logic program transformations. Zbl 0964.68018
Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.
1
2000
Effect of magnetic field on the liquid-gas interfacial deformation in thermocapillary convection problem. Zbl 0974.76096
Sundaravadivelu, K.; Kandaswamy, P.; Kumar, K.
1
2000
Strategies for three-dimensional deployment of tethered satellites. Zbl 0941.70518
Kumar, K.; Pradeep, S.
1
1998
Infinitary parallelism without unbounded nondeterminism in CSP. Zbl 0790.68040
Kumar, K. Narayan; Pandya, Paritosh K.
1
1993
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
Truncation method for random bounded self-adjoint operators. Zbl 06430446
Kumar, K.
2
2015
Adjacent ordered multi-pushdown systems. Zbl 1309.68128
Atig, Mohamed Faouzi; Kumar, K. Narayan; Saivasan, Prakash
6
2014
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
5
2014
Verifying communicating multi-pushdown systems via split-width. Zbl 1448.68283
Aiswarya, C.; Gastin, Paul; Narayan Kumar, K.
5
2014
Controllers for the verification of communicating multi-pushdown systems. Zbl 1417.68111
Aiswarya, C.; Gastin, Paul; Narayan Kumar, K.
2
2014
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
1
2014
Perturbation of operators and approximation of spectrum. Zbl 1417.47003
Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
4
2013
A note on a discrete version of Borg’s theorem via Toeplitz-Laurent operators with matrix-valued symbols. Zbl 1277.47041
Golinskii, L.; Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
3
2013
Preconditioners and Korovkin-type theorems for infinite-dimensional bounded linear operators via completely positive maps. Zbl 1284.41016
Kumar, K.; Namboodiri, M. N. N.; Serra-Capizzano, S.
2
2013
MSO decidability of multi-pushdown systems via split-width. Zbl 1364.68280
Cyriac, Aiswarya; Gastin, Paul; Kumar, K. Narayan
10
2012
Linear-time model-checking for multithreaded programs under scope-bounding. Zbl 1375.68076
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan Kumar, K.; Saivasan, Prakash
5
2012
Model checking languages of data words. Zbl 1352.68145
Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Narayan Kumar, K.
5
2012
The theory of message sequence charts. Zbl 1256.68118
Kumar, K. Narayan
1
2012
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Reachability and boundedness in time-constrained MSC graphs. Zbl 1193.68048
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2009
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
On \(I\) and \(I^*\)-Cauchy sequences in probabilistic normed spaces. Zbl 1206.54029
Kumar, V.; Kumar, K.
4
2008
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
A theory of regular MSC languages. Zbl 1101.68656
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Sohoni, Milind; Thiagarajan, P. S.
22
2005
Investigation of two-dimensional channel flow with a partially compliant wall using finite volume-finite difference approach. Zbl 1075.76045
Zhang, Xing; Ajaykumar, R.; Sudharsan, N. M.; Kumar, K.
2
2005
Causal closure for MSC languages. Zbl 1172.68420
Adsul, Bharat; Mukund, Madhavan; Kumar, K. Narayan; Narayanan, Vasumathi
1
2005
Local LTL with past constants is expressively complete for Mazurkiewicz traces. Zbl 1124.68391
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2003
Bounded time-stamping in message-passing systems. Zbl 1018.68003
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
2
2003
Netcharts: bridging the gap between HMSCs and executable specifications. Zbl 1274.68198
Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
1
2003
Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. Zbl 1066.68016
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.
5
2002
Contact stresses in multilayered strands under tension and torsion. Zbl 1110.74522
Kumar, K.; Botsis, J.
6
2001
Synthesizing distributed finite-state systems from MSCs. Zbl 0999.68114
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
8
2000
On message sequence graphs and finitely generated regular MSC languages. Zbl 0973.68042
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
7
2000
Regular collections of message sequence charts (extended abstract). Zbl 0996.68506
Henriksen, Jesper G.; Mukund, Madhavan; Narayan Kumar, K.; Thiagarajan, P. S.
4
2000
Some new neural network architectures with improved learning schemes. Zbl 1031.68571
Sinha, M.; Kumar, K.; Kalra, P. K.
1
2000
Verification of parameterized systems using logic program transformations. Zbl 0964.68018
Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.
1
2000
Effect of magnetic field on the liquid-gas interfacial deformation in thermocapillary convection problem. Zbl 0974.76096
Sundaravadivelu, K.; Kandaswamy, P.; Kumar, K.
1
2000
Buoyancy-driven nonlinear convection in a square cavity in the presence of a magnetic field. Zbl 0943.76074
Kandaswamy, P.; Kumar, K.
7
1999
A parameterized unfold/fold transformation framework for definite logic programs. Zbl 0953.68031
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.
4
1999
Strategies for three-dimensional deployment of tethered satellites. Zbl 0941.70518
Kumar, K.; Pradeep, S.
1
1998
Separation dynamics of strap-on boosters in the atmosphere. Zbl 0900.70118
Lochan, Rajeev; Adimurthy, V.; Kumar, K.
2
1997
Visibility graphs of staircase polygons and the weak Bruhat order. I: From visibility graphs to maximal chains. Zbl 0835.05065
Abello, J.; Egecioglu, O.; Kumar, K.
6
1995
Infinitary parallelism without unbounded nondeterminism in CSP. Zbl 0790.68040
Kumar, K. Narayan; Pandya, Paritosh K.
1
1993
all top 5

Cited by 192 Authors

12 Bollig, Benedikt
10 Gastin, Paul
7 Muscholl, Anca
6 Kandaswamy, Palani G.
5 Akshay, S.
5 Genest, Blaise
5 Kuske, Dietrich
4 Atig, Mohamed Faouzi
4 Habermehl, Peter
4 Kumar, K. Narayan
4 Morin, Rémi
4 Pettorossi, Alberto
4 Proietti, Maurizio
3 Baudru, Nicolas
3 Czerwiński, Wojciech
3 Kumar, V. B. Kiran
3 Meyer, Roland
3 Mukund, Madhavan
3 Nithyadevi, Nagarajan
3 Parlato, Gennaro
3 Saivasan, Prakash
3 Senni, Valerio
2 Abdulla, Parosh Aziz
2 Aiswarya, Cyriac
2 Chini, Peter
2 Chistikov, Dmitry V.
2 Eswaramurthi, M.
2 Fortin, Marie-Josée
2 Grindei, Manuela-Lidia
2 Hazarika, Bipan
2 Hélouët, Loïc
2 Hofman, Piotr
2 Krishna, Shankara Narayanan
2 La Torre, Salvatore
2 Lohrey, Markus
2 Nagashima, Masanori
2 Namboodiri, M. N. N.
2 Napoli, Margherita
2 Pilipczuk, Michał
2 Quaas, Karin
2 Ramanujam, Rohit Sunkam
2 Sakai, Masahiko
2 Sangnier, Arnaud
2 Sohoni, Milind A.
2 Sundari, S. Malliga
2 Thiagarajan, Pazhamaneri Subramaniam
2 Wehar, Michael
2 Yang, Shaofa
2 Yoshida, Nobuko
2 Zeitoun, Marc
1 Abello, James M.
1 Abriola, Sergio
1 Alur, Rajeev
1 Argatov, Ivan I.
1 Avellaneda, Florent
1 Bakery, Awad A.
1 Balaguer, Sandie
1 Baresi, Luciano
1 Ben-Artzi, Jonathan
1 Biswas, Kanad Kishore
1 Bocchi, Laura
1 Boiret, Adrien
1 Carbone, Marco
1 Carotenuto, Dario
1 Chatain, Thomas
1 Choi, Hyoung Gwon
1 Choi, Seung-Hak
1 Chwa, Kyungyong
1 Colley, Paul
1 Cyriac, Aiswarya
1 Deepesh, K. P.
1 Degano, Pierpaolo
1 Diekert, Volker
1 Dima, Cătălin
1 Dingel, Juergen
1 Egecioglu, Omer
1 Enea, Constantin
1 Etessami, Kousha
1 Fabian, Martin
1 Fahland, Dirk
1 Fanchon, Jean
1 Fedorko, G.
1 Ferrari, Gian Luigi
1 Figueira, Diego
1 Figueira, Santiago
1 Fioravanti, Fabio
1 Fratani, Séverine
1 Gao, Ke
1 Gazagnaire, Thomas
1 Ghosh, Subir Kumar
1 Gnanavel, B. K.
1 Haar, Stefan
1 Hague, Matthew
1 Henriksen, Jesper G.
1 Henshall, John L.
1 Holding, Thomas
1 Honda, Kohei
1 Huang, Panfeng
1 Hugot, Vincent
1 Inverso, Omar
...and 92 more Authors
all top 5

Cited in 50 Serials

11 Theoretical Computer Science
10 Information and Computation
4 Formal Methods in System Design
4 Logical Methods in Computer Science
3 International Journal of Heat and Mass Transfer
3 Journal of Computer and System Sciences
3 International Journal of Foundations of Computer Science
2 Acta Informatica
2 Discrete & Computational Geometry
2 Formal Aspects of Computing
2 Applied Mathematical Modelling
2 Archive of Applied Mechanics
2 Theory of Computing Systems
2 European Journal of Mechanics. A. Solids
1 Acta Mechanica
1 Communications in Mathematical Physics
1 Discrete Mathematics
1 International Journal of Solids and Structures
1 Information Processing Letters
1 Linear and Multilinear Algebra
1 Applied Mathematics and Computation
1 International Journal for Numerical Methods in Engineering
1 Meccanica
1 Applied Mathematics and Mechanics. (English Edition)
1 Journal of Computer Science and Technology
1 Algorithmica
1 Journal of Automated Reasoning
1 Mathematical and Computer Modelling
1 Neural Computation
1 International Journal of Computational Geometry & Applications
1 Computational Geometry
1 Linear Algebra and its Applications
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Distributed Computing
1 Advances in Engineering Software
1 Physics of Fluids
1 Nonlinear Dynamics
1 Abstract and Applied Analysis
1 Journal of Graph Algorithms and Applications
1 Higher-Order and Symbolic Computation
1 Acta Mathematica Sinica. English Series
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Journal of Function Spaces and Applications
1 Complex Analysis and Operator Theory
1 International Journal for Computational Methods in Engineering Science and Mechanics
1 Advances in Mathematical Physics
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year