×

zbMATH — the first resource for mathematics

Verma, Rakesh M.

Compute Distance To:
Author ID: verma.rakesh-m Recent zbMATH articles by "Verma, Rakesh M."
Published as: Verma, R.; Verma, R. M.; Verma, Rakesh; Verma, Rakesh M.
Documents Indexed: 39 Publications since 1986, including 1 Book

Publications by Year

Citations contained in zbMATH

31 Publications have been cited 104 times in 74 Documents Cited by Year
Text compression using two-dimensional cellular automata. Zbl 0938.68726
Khan, A. R.; Choudhury, P. P.; Dihidar, K.; Verma, R.
15
1999
Fuzzy programming technique to solve multi-objective transportation problems with some nonlinear membership functions. Zbl 0917.90287
Verma, Rakesh; Biswal, M. P.; Biswas, A.
13
1997
Algorithms and reductions for rewriting problems. Zbl 0989.03036
Verma, Rakesh M.; Rusinowitch, Michael; Lugiez, Denis
11
2001
On the confluence of linear shallow term rewrite systems. Zbl 1035.68058
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
9
2003
An analysis of a good algorithm for the subtree problem, corrected. Zbl 0677.68059
Verma, Rakesh M.; Reyner, Steven W.
6
1989
Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
4
2004
Term matching on parallel computers. Zbl 0685.68037
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
4
1989
A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Zbl 1211.68227
Zinn, Julian; Verma, Rakesh M.
3
2010
Complexity of normal form properties and reductions for term rewriting problems. Zbl 1175.68237
Verma, Rakesh
3
2009
A new decidability technique for ground term rewriting systems with applications. Zbl 1367.68156
Verma, Rakesh; Hayrapetyan, Ara
3
2005
Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
3
2004
RPO constraint solving is in NP. Zbl 0940.68070
Narendran, Paliath; Rusinowitch, Michael; Verma, Rakesh
3
1999
A general method and a master theorem for divide-and-conquer recurrences with applications. Zbl 0820.68055
Verma, Rakesh M.
3
1994
Term matching on parallel computers. Zbl 0642.68070
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
3
1987
A note on solving multicriteria transportation-location problems by fuzzy programming. Zbl 1042.90655
Ehrgott, Matthias; Verma, Rakesh
2
2001
General techniques for analyzing recursive algorithms with applications. Zbl 0874.68141
Verma, Rakesh M.
2
1997
A new combinatorial approach to optimal embeddings of rectangles. Zbl 0854.68067
Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M.
2
1996
An efficient parallel algorithm for term matching. Zbl 0623.68038
Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V.
2
1986
New undecidability results for properties of term rewrite systems. Zbl 1291.68222
Verma, Rakesh
1
2012
Uniqueness of normal forms is decidable for shallow term rewrite systems. Zbl 1245.68114
Radcliffe, Nicholas; Verma, Rakesh M.
1
2010
Selection of vendor using analytical hierarchy process based on fuzzy preference programming. Zbl 1230.90111
Kaur, Prabjot; Verma, Rakesh; Mahanti, N. C.
1
2010
Algorithms and reductions for rewriting problems. II. Zbl 1042.68051
Verma, Rakesh
1
2002
Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh
1
2001
Fuzzy programming technique to solve a non-linear multi-objective transportation problem. Zbl 0956.90065
Biswal, M. P.; Verma, Rakesh
1
1999
On embedding rectangular meshes into rectangular meshes of smaller aspect ratio. Zbl 1337.68025
Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M.
1
1997
Fuzzy programming approach to probabilistic multiobjective transportation problem with Pareto optimum solution. Zbl 0857.90141
Verma, Rakesh; Biswal, M. P.; Biswas, A.
1
1996
A theory of using history for equational systems with applications. Zbl 0885.68128
Verma, Rakesh M.
1
1995
Transformations and confluence for rewrite systems. Zbl 0872.68078
Verma, Rakesh M.
1
1995
Tight complexity bounds for term matching problems. Zbl 0759.68040
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1992
Strings, trees, and patterns. Zbl 0742.68025
Verma, Rakesh M.
1
1992
Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1990
New undecidability results for properties of term rewrite systems. Zbl 1291.68222
Verma, Rakesh
1
2012
A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Zbl 1211.68227
Zinn, Julian; Verma, Rakesh M.
3
2010
Uniqueness of normal forms is decidable for shallow term rewrite systems. Zbl 1245.68114
Radcliffe, Nicholas; Verma, Rakesh M.
1
2010
Selection of vendor using analytical hierarchy process based on fuzzy preference programming. Zbl 1230.90111
Kaur, Prabjot; Verma, Rakesh; Mahanti, N. C.
1
2010
Complexity of normal form properties and reductions for term rewriting problems. Zbl 1175.68237
Verma, Rakesh
3
2009
A new decidability technique for ground term rewriting systems with applications. Zbl 1367.68156
Verma, Rakesh; Hayrapetyan, Ara
3
2005
Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
4
2004
Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
3
2004
On the confluence of linear shallow term rewrite systems. Zbl 1035.68058
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
9
2003
Algorithms and reductions for rewriting problems. II. Zbl 1042.68051
Verma, Rakesh
1
2002
Algorithms and reductions for rewriting problems. Zbl 0989.03036
Verma, Rakesh M.; Rusinowitch, Michael; Lugiez, Denis
11
2001
A note on solving multicriteria transportation-location problems by fuzzy programming. Zbl 1042.90655
Ehrgott, Matthias; Verma, Rakesh
2
2001
Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh
1
2001
Text compression using two-dimensional cellular automata. Zbl 0938.68726
Khan, A. R.; Choudhury, P. P.; Dihidar, K.; Verma, R.
15
1999
RPO constraint solving is in NP. Zbl 0940.68070
Narendran, Paliath; Rusinowitch, Michael; Verma, Rakesh
3
1999
Fuzzy programming technique to solve a non-linear multi-objective transportation problem. Zbl 0956.90065
Biswal, M. P.; Verma, Rakesh
1
1999
Fuzzy programming technique to solve multi-objective transportation problems with some nonlinear membership functions. Zbl 0917.90287
Verma, Rakesh; Biswal, M. P.; Biswas, A.
13
1997
General techniques for analyzing recursive algorithms with applications. Zbl 0874.68141
Verma, Rakesh M.
2
1997
On embedding rectangular meshes into rectangular meshes of smaller aspect ratio. Zbl 1337.68025
Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M.
1
1997
A new combinatorial approach to optimal embeddings of rectangles. Zbl 0854.68067
Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M.
2
1996
Fuzzy programming approach to probabilistic multiobjective transportation problem with Pareto optimum solution. Zbl 0857.90141
Verma, Rakesh; Biswal, M. P.; Biswas, A.
1
1996
A theory of using history for equational systems with applications. Zbl 0885.68128
Verma, Rakesh M.
1
1995
Transformations and confluence for rewrite systems. Zbl 0872.68078
Verma, Rakesh M.
1
1995
A general method and a master theorem for divide-and-conquer recurrences with applications. Zbl 0820.68055
Verma, Rakesh M.
3
1994
Tight complexity bounds for term matching problems. Zbl 0759.68040
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1992
Strings, trees, and patterns. Zbl 0742.68025
Verma, Rakesh M.
1
1992
Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1990
An analysis of a good algorithm for the subtree problem, corrected. Zbl 0677.68059
Verma, Rakesh M.; Reyner, Steven W.
6
1989
Term matching on parallel computers. Zbl 0685.68037
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
4
1989
Term matching on parallel computers. Zbl 0642.68070
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
3
1987
An efficient parallel algorithm for term matching. Zbl 0623.68038
Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V.
2
1986
all top 5

Cited by 120 Authors

10 Akin, Hasan
8 Verma, Rakesh M.
7 Siap, Irfan
7 Uǧuz, Selman
5 Godoy, Guillem
3 Ramakrishnan, I. V.
3 Sahin, Uḡur
2 Acar, Ecem
2 Chang, Chih-Hung
2 Choudhury, Pabitra Pal
2 Dihidar, Kajal
2 Jacquemard, Florent
2 Palem, Krishna V.
2 Şah, Ferhat
2 Tiwari, Ashish Kumar
2 Verma, Rakesh Kumar
2 Zantema, Hans
1 Ammar, Elsaid Ebrahim
1 Barreto, Sérgio
1 Biswal, Mahendra Prasad
1 Biswal, N. P.
1 Borges Lopes, Rui
1 Cetin, Nurdan
1 Chattopadhyay, Pratik
1 Creus, Carles
1 Delcher, Arthur L.
1 Deng, Peimin
1 Droschinsky, Andre
1 Durand, Irène A.
1 Endrullis, Jörg
1 Felgenhauer, Bertram
1 Ferreira, Carlos Cesar Teixeira
1 Fu, Qingxiang
1 Geser, Alfons
1 Geuvers, Jan Herman
1 Ghiyasvand, Mehdi
1 Guo, Haifeng
1 Gupta, Pankaj
1 Hernández, Hugo
1 Hristova, Diana
1 Huang, Hejiao
1 Huang, Shou-Hsuan Stephen
1 Islam, Sahidul
1 Jana, Dipak Kumar
1 Kahraman, Cengiz
1 Kanellakis, Paris Christos
1 Kao, Chiang
1 Kasif, Simon
1 Kaur, Manjot
1 Kaur, Prabjot
1 Kedem, Zvi Meir
1 Kirchner, Hélène
1 Köroğlu, Mehmet Emin
1 Korovin, Konstantin
1 Kriege, Nils M.
1 Kulak, Osman
1 Kumar Roy, Tapan
1 Kumar, Amit
1 Kumari, Saru
1 Kuper, Gabriel M.
1 Li, Duan
1 Li, Hongfei
1 Liang, Tien-Fu
1 Lingas, Andrzej
1 Liu, Miao
1 Liu, Shiangtai
1 Lohrey, Markus
1 Luttik, Bas
1 Maiti, Manoranjan
1 Maleki, Hamid Reza
1 Massanes, Francesc
1 McAloon, Kenneth
1 Mehlawat, Mukesh Kumar
1 Middeldorp, Aart
1 Mitsuhashi, Ichiro
1 Moraes, Luis F. T.
1 Mutzel, Petra
1 Nieuwenhuis, Robert
1 Ohlebusch, Enno
1 Oyamaguchi, Michio
1 Perry, Kenneth J.
1 Piskac, Ruzica
1 Pramanik, Sutapa
1 Radcliffe, Nicholas R.
1 Ramakrishnan, C. R.
1 Ramesh, Ramya
1 Redjepov, Shovkat
1 Rejpedov, Shovkat
1 Revesz, Peter Z.
1 Rivero, José Miguel
1 Rodenburg, Piet H.
1 Roop, Partha S.
1 Röttger, Markus
1 Roura, Salvador
1 Sakai, Masahiko
1 Santos, Beatriz Sousa
1 Schroeder, Ulf-Peter
1 Schryen, Guido
1 Sénizergues, Géraud
1 Simonsen, Jakob Grue
...and 20 more Authors

Citations by Year