Edit Profile Verma, Rakesh M. Compute Distance To: Compute Author ID: verma.rakesh-m Published as: Verma, R.; Verma, R. M.; Verma, Rakesh; Verma, Rakesh M. Documents Indexed: 39 Publications since 1986, including 1 Book all top 5 Co-Authors 6 single-authored 7 Ramakrishnan, I. V. 3 Godoy, Guillem 3 Krishnaprasad, T. 3 Tiwari, Ashish Kumar 2 Huang, Shou-Hsuan Stephen 2 Li, Hongfei 2 Radcliffe, Nicholas R. 2 Ramesh, Rakul Bharatwaj 2 Rusinowitch, Michaël 1 Basu, Samik 1 Hwang, Sarah B. 1 Lugiez, Denis 1 Moraes, Luis F. T. 1 Mukund, Madhavan 1 Narendran, Paliath 1 Ramakrishnan, C. R. 1 Reyner, Steven W. 1 Zinn, Julian all top 5 Serials 3 Information Processing Letters 2 SIAM Journal on Computing 2 Applicable Algebra in Engineering, Communication and Computing 1 Journal of the Association for Computing Machinery 1 Theoretical Computer Science 1 Journal of Algorithms 1 Annals of Pure and Applied Logic 1 The Journal of Logic Programming 1 Algorithmica 1 Information and Computation 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Fields 25 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications 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.68726Khan, 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.90287Verma, Rakesh; Biswal, M. P.; Biswas, A. 13 1997 Algorithms and reductions for rewriting problems. Zbl 0989.03036Verma, Rakesh M.; Rusinowitch, Michael; Lugiez, Denis 11 2001 On the confluence of linear shallow term rewrite systems. Zbl 1035.68058Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 9 2003 An analysis of a good algorithm for the subtree problem, corrected. Zbl 0677.68059Verma, Rakesh M.; Reyner, Steven W. 6 1989 Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 4 2004 Term matching on parallel computers. Zbl 0685.68037Ramesh, 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.68227Zinn, Julian; Verma, Rakesh M. 3 2010 Complexity of normal form properties and reductions for term rewriting problems. Zbl 1175.68237Verma, Rakesh 3 2009 A new decidability technique for ground term rewriting systems with applications. Zbl 1367.68156Verma, Rakesh; Hayrapetyan, Ara 3 2005 Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 3 2004 RPO constraint solving is in NP. Zbl 0940.68070Narendran, Paliath; Rusinowitch, Michael; Verma, Rakesh 3 1999 A general method and a master theorem for divide-and-conquer recurrences with applications. Zbl 0820.68055Verma, Rakesh M. 3 1994 Term matching on parallel computers. Zbl 0642.68070Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 3 1987 A note on solving multicriteria transportation-location problems by fuzzy programming. Zbl 1042.90655Ehrgott, Matthias; Verma, Rakesh 2 2001 General techniques for analyzing recursive algorithms with applications. Zbl 0874.68141Verma, Rakesh M. 2 1997 A new combinatorial approach to optimal embeddings of rectangles. Zbl 0854.68067Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M. 2 1996 An efficient parallel algorithm for term matching. Zbl 0623.68038Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V. 2 1986 New undecidability results for properties of term rewrite systems. Zbl 1291.68222Verma, Rakesh 1 2012 Uniqueness of normal forms is decidable for shallow term rewrite systems. Zbl 1245.68114Radcliffe, Nicholas; Verma, Rakesh M. 1 2010 Selection of vendor using analytical hierarchy process based on fuzzy preference programming. Zbl 1230.90111Kaur, Prabjot; Verma, Rakesh; Mahanti, N. C. 1 2010 Algorithms and reductions for rewriting problems. II. Zbl 1042.68051Verma, Rakesh 1 2002 Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582Basu, 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.90065Biswal, M. P.; Verma, Rakesh 1 1999 On embedding rectangular meshes into rectangular meshes of smaller aspect ratio. Zbl 1337.68025Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M. 1 1997 Fuzzy programming approach to probabilistic multiobjective transportation problem with Pareto optimum solution. Zbl 0857.90141Verma, Rakesh; Biswal, M. P.; Biswas, A. 1 1996 A theory of using history for equational systems with applications. Zbl 0885.68128Verma, Rakesh M. 1 1995 Transformations and confluence for rewrite systems. Zbl 0872.68078Verma, Rakesh M. 1 1995 Tight complexity bounds for term matching problems. Zbl 0759.68040Verma, Rakesh M.; Ramakrishnan, I. V. 1 1992 Strings, trees, and patterns. Zbl 0742.68025Verma, Rakesh M. 1 1992 Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067Verma, Rakesh M.; Ramakrishnan, I. V. 1 1990 New undecidability results for properties of term rewrite systems. Zbl 1291.68222Verma, Rakesh 1 2012 A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Zbl 1211.68227Zinn, Julian; Verma, Rakesh M. 3 2010 Uniqueness of normal forms is decidable for shallow term rewrite systems. Zbl 1245.68114Radcliffe, Nicholas; Verma, Rakesh M. 1 2010 Selection of vendor using analytical hierarchy process based on fuzzy preference programming. Zbl 1230.90111Kaur, Prabjot; Verma, Rakesh; Mahanti, N. C. 1 2010 Complexity of normal form properties and reductions for term rewriting problems. Zbl 1175.68237Verma, Rakesh 3 2009 A new decidability technique for ground term rewriting systems with applications. Zbl 1367.68156Verma, Rakesh; Hayrapetyan, Ara 3 2005 Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 4 2004 Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 3 2004 On the confluence of linear shallow term rewrite systems. Zbl 1035.68058Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 9 2003 Algorithms and reductions for rewriting problems. II. Zbl 1042.68051Verma, Rakesh 1 2002 Algorithms and reductions for rewriting problems. Zbl 0989.03036Verma, Rakesh M.; Rusinowitch, Michael; Lugiez, Denis 11 2001 A note on solving multicriteria transportation-location problems by fuzzy programming. Zbl 1042.90655Ehrgott, Matthias; Verma, Rakesh 2 2001 Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh 1 2001 Text compression using two-dimensional cellular automata. Zbl 0938.68726Khan, A. R.; Choudhury, P. P.; Dihidar, K.; Verma, R. 15 1999 RPO constraint solving is in NP. Zbl 0940.68070Narendran, Paliath; Rusinowitch, Michael; Verma, Rakesh 3 1999 Fuzzy programming technique to solve a non-linear multi-objective transportation problem. Zbl 0956.90065Biswal, M. P.; Verma, Rakesh 1 1999 Fuzzy programming technique to solve multi-objective transportation problems with some nonlinear membership functions. Zbl 0917.90287Verma, Rakesh; Biswal, M. P.; Biswas, A. 13 1997 General techniques for analyzing recursive algorithms with applications. Zbl 0874.68141Verma, Rakesh M. 2 1997 On embedding rectangular meshes into rectangular meshes of smaller aspect ratio. Zbl 1337.68025Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M. 1 1997 A new combinatorial approach to optimal embeddings of rectangles. Zbl 0854.68067Huang, Shou-Hsuan S.; Liu, Hongfei; Verma, Rakesh M. 2 1996 Fuzzy programming approach to probabilistic multiobjective transportation problem with Pareto optimum solution. Zbl 0857.90141Verma, Rakesh; Biswal, M. P.; Biswas, A. 1 1996 A theory of using history for equational systems with applications. Zbl 0885.68128Verma, Rakesh M. 1 1995 Transformations and confluence for rewrite systems. Zbl 0872.68078Verma, Rakesh M. 1 1995 A general method and a master theorem for divide-and-conquer recurrences with applications. Zbl 0820.68055Verma, Rakesh M. 3 1994 Tight complexity bounds for term matching problems. Zbl 0759.68040Verma, Rakesh M.; Ramakrishnan, I. V. 1 1992 Strings, trees, and patterns. Zbl 0742.68025Verma, Rakesh M. 1 1992 Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067Verma, Rakesh M.; Ramakrishnan, I. V. 1 1990 An analysis of a good algorithm for the subtree problem, corrected. Zbl 0677.68059Verma, Rakesh M.; Reyner, Steven W. 6 1989 Term matching on parallel computers. Zbl 0685.68037Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 4 1989 Term matching on parallel computers. Zbl 0642.68070Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 3 1987 An efficient parallel algorithm for term matching. Zbl 0623.68038Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V. 2 1986 all cited Publications top 5 cited Publications 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 all top 5 Cited in 35 Serials 7 Information Processing Letters 7 Information and Computation 6 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 4 Information Sciences 3 Theoretical Computer Science 3 Journal of Symbolic Computation 3 Journal of Automated Reasoning 3 European Journal of Operational Research 3 Applicable Algebra in Engineering, Communication and Computing 2 Computers & Mathematics with Applications 2 Fuzzy Sets and Systems 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Journal of the Franklin Institute 1 Applied Mathematics and Computation 1 Mathematics and Computers in Simulation 1 Annals of Pure and Applied Logic 1 Algorithmica 1 Applied Mathematical Modelling 1 Turkish Journal of Mathematics 1 International Transactions in Operational Research 1 Mathematical Problems in Engineering 1 Taiwanese Journal of Mathematics 1 Journal of Graph Algorithms and Applications 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Sādhanā 1 OR Spectrum 1 Journal of Applied Mathematics and Computing 1 Journal of Intelligent and Fuzzy Systems 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Advances in Operations Research 1 International Journal of Applied and Computational Mathematics all top 5 Cited in 9 Fields 50 Computer science (68-XX) 17 Operations research, mathematical programming (90-XX) 11 Dynamical systems and ergodic theory (37-XX) 10 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year