Edit Profile Ramakrishnan, I. V. Compute Distance To: Compute Author ID: ramakrishnan.i-v Published as: Ramakrishnan, I. V. External Links: MGP · Wikidata Documents Indexed: 52 Publications since 1983 all top 5 Co-Authors 0 single-authored 15 Ramakrishnan, C. R. 7 Ramesh, Ramya 7 Sekar, R. Chandra Guru 7 Varman, Peter J. 7 Verma, Rakesh M. 6 Roychoudhury, Abhik 4 Kumar, K. Narayan 4 Smolka, Scott A. 3 Fussell, Donald S. 3 Guo, Haifeng 3 Krishnaprasad, T. 3 Pawagi, Shaunak R. 3 Rao, Prasad M. S. V. 3 Warren, David Scott 2 Bachmair, Leo 2 Dong, Yifei 2 Gopalakrishnan, P. S. 2 Pemmasani, Giridhar 2 Ramesh, Radhakrishnan 2 Ramesh, Rakul Bharatwaj 2 Tiwari, Ashish Kumar 1 Basu, Samik 1 Browne, James C. 1 Davulcu, Hasan 1 Du, Xiaoqun 1 Entcheva, Emilia 1 Grosu, Radu 1 Islam, Muhammad Asiful 1 Johnson, Ernie 1 Kanal, Laveen N. 1 Kifer, Michael 1 Liu, Miao 1 Mishra, Pramod Kumar 1 Mitra, Sayan 1 Mukund, Madhavan 1 Roop, Partha S. 1 Sagonas, Konstantinos 1 Sherlekar, Deepak D. 1 Silberschatz, Abraham 1 Singh, Gurdip 1 Swift, Terrance 1 Venkatakrishnan, V. N. 1 Vigneron, Laurent 1 Voronkov, Andrei 1 Yang, Guizhen 1 Ye, Ping all top 5 Serials 5 IEEE Transactions on Computers 3 The Journal of Logic Programming 3 Information and Computation 2 Information Processing Letters 1 Journal of the Association for Computing Machinery 1 SIAM Journal on Computing 1 Theoretical Computer Science 1 Circuits, Systems, and Signal Processing 1 Journal of Symbolic Computation 1 International Journal of Foundations of Computer Science 1 IEEE Transactions on Software Engineering 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic all top 5 Fields 52 Computer science (68-XX) 3 Numerical analysis (65-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 36 Publications have been cited 128 times in 110 Documents Cited by ▼ Year ▼ Term indexing. Zbl 0992.68189Sekar, R.; Ramakrishnan, I. V.; Voronkov, Andrei 17 2001 Programming in equational logic: Beyond strong sequentiality. Zbl 0803.68060Sekar, R. C.; Ramakrishnan, I. V. 15 1993 Efficient access mechanisms for tabled logic programs. Zbl 0911.68033Ramakrishnan, I. V.; Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S. 12 1999 An O(log n) algorithm for parallel update of minimum spanning trees. Zbl 0592.68061Pawagi, Shaunak; Ramakrishnan, I. V. 7 1986 Mapping homogeneous graphs on linear arrays. Zbl 0585.68060Ramakrishnan, I. V.; Fussell, D. S.; Silberschatz, Abraham 6 1986 Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. Zbl 1066.68016Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. 5 2002 Modular matrix multiplication on a linear array. Zbl 0544.68029Ramakrishnan, I. V.; Varman, Peter J. 5 1984 A parameterized unfold/fold transformation framework for definite logic programs. Zbl 0953.68031Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. 4 1999 Nonlinear pattern matching in trees. Zbl 0799.68103Ramesh, R.; Ramakrishnan, I. V. 4 1992 Term matching on parallel computers. Zbl 0685.68037Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 4 1989 On mapping cube graphs onto VLSI arrays. Zbl 0574.68023Ramakrishnan, I. V.; Varman, P. J. 4 1984 Online justification for tabled logic programs. Zbl 1122.68386Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V. 3 2004 Congruence closure modulo associativity and commutativity. Zbl 0962.68085Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L. 3 2000 Adaptive pattern matching. Zbl 0845.68017Sekar, R. C.; Ramesh, R.; Ramakrishnan, I. V. 3 1995 Term matching on parallel computers. Zbl 0642.68070Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 3 1987 Synthesis of an optimal family of matrix multiplication algorithms on linear arrays. Zbl 0621.68025Varman, P. J.; Ramakrishnan, I. V. 3 1986 On matrix multiplication using array processors. Zbl 0571.68032Varman, P. J.; Ramakrishnan, I. V. 3 1985 Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V. 2 2012 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 Efficient real-time model checking using tabled logic programming and constraints. Zbl 1045.68520Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V. 2 2002 Automated inductive verification of parameterized protocols. Zbl 0991.68555Roychoudhury, Abhik; Ramakrishnan, I. V. 2 2001 XMC: A logic-programming-based verification toolset. Zbl 0974.68571Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.; Dong, Yifei; Du, Xiaoqun; Roychoudhury, Abhik; Venkatakrishnan, V. N. 2 2000 Automata-driven indexing of Prolog clauses. Zbl 0863.68036Ramesh, R.; Ramakrishnan, I. V.; Warren, D. S. 2 1995 Computing dominators in parallel. Zbl 0653.68067Pawagi, Shaunak R.; Gopalakrishnan, P. S.; Ramakrishnan, I. V. 2 1987 An efficient parallel algorithm for term matching. Zbl 0623.68038Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V. 2 1986 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 Automata-driven efficient subterm unification. Zbl 0972.68103Ramesh, R.; Ramakrishnan, I. V.; Sekar, R. C. 1 2001 Verification of parameterized systems using logic program transformations. Zbl 0964.68018Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. 1 2000 Normalization via rewrite closures. Zbl 0943.68090Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A. 1 1999 Tight complexity bounds for term matching problems. Zbl 0759.68040Verma, Rakesh M.; Ramakrishnan, I. V. 1 1992 Approximate algorithms for the Knapsack problem on parallel computers. Zbl 0723.68042Gopalakrishnan, P. S.; Ramakrishnan, I. V.; Kanal, L. N. 1 1991 Parallel tree pattern matching. Zbl 0698.68033Ramesh, R.; Ramakrishnan, I. V. 1 1990 Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067Verma, Rakesh M.; Ramakrishnan, I. V. 1 1990 Nonlinear pattern matching in trees. Zbl 0649.68062Ramesh, R.; Ramakrishnan, I. V. 1 1988 Optimal speedups for parallel pattern matching in trees. Zbl 0638.68037Ramesh, R.; Ramakrishnan, I. V. 1 1987 O(1) parallel time incremental graph algorithms. Zbl 0598.68049Sherlekar, Deepak D.; Pawagi, Shaunak; Ramakrishnan, I. V. 1 1985 Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V. 2 2012 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 Online justification for tabled logic programs. Zbl 1122.68386Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V. 3 2004 Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. Zbl 1066.68016Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. 5 2002 Efficient real-time model checking using tabled logic programming and constraints. Zbl 1045.68520Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V. 2 2002 Term indexing. Zbl 0992.68189Sekar, R.; Ramakrishnan, I. V.; Voronkov, Andrei 17 2001 Automated inductive verification of parameterized protocols. Zbl 0991.68555Roychoudhury, Abhik; Ramakrishnan, I. V. 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 Automata-driven efficient subterm unification. Zbl 0972.68103Ramesh, R.; Ramakrishnan, I. V.; Sekar, R. C. 1 2001 Congruence closure modulo associativity and commutativity. Zbl 0962.68085Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L. 3 2000 XMC: A logic-programming-based verification toolset. Zbl 0974.68571Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.; Dong, Yifei; Du, Xiaoqun; Roychoudhury, Abhik; Venkatakrishnan, V. N. 2 2000 Verification of parameterized systems using logic program transformations. Zbl 0964.68018Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. 1 2000 Efficient access mechanisms for tabled logic programs. Zbl 0911.68033Ramakrishnan, I. V.; Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S. 12 1999 A parameterized unfold/fold transformation framework for definite logic programs. Zbl 0953.68031Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. 4 1999 Normalization via rewrite closures. Zbl 0943.68090Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A. 1 1999 Adaptive pattern matching. Zbl 0845.68017Sekar, R. C.; Ramesh, R.; Ramakrishnan, I. V. 3 1995 Automata-driven indexing of Prolog clauses. Zbl 0863.68036Ramesh, R.; Ramakrishnan, I. V.; Warren, D. S. 2 1995 Programming in equational logic: Beyond strong sequentiality. Zbl 0803.68060Sekar, R. C.; Ramakrishnan, I. V. 15 1993 Nonlinear pattern matching in trees. Zbl 0799.68103Ramesh, R.; Ramakrishnan, I. V. 4 1992 Tight complexity bounds for term matching problems. Zbl 0759.68040Verma, Rakesh M.; Ramakrishnan, I. V. 1 1992 Approximate algorithms for the Knapsack problem on parallel computers. Zbl 0723.68042Gopalakrishnan, P. S.; Ramakrishnan, I. V.; Kanal, L. N. 1 1991 Parallel tree pattern matching. Zbl 0698.68033Ramesh, R.; Ramakrishnan, I. V. 1 1990 Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067Verma, Rakesh M.; Ramakrishnan, I. V. 1 1990 Term matching on parallel computers. Zbl 0685.68037Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 4 1989 Nonlinear pattern matching in trees. Zbl 0649.68062Ramesh, R.; Ramakrishnan, I. V. 1 1988 Term matching on parallel computers. Zbl 0642.68070Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V. 3 1987 Computing dominators in parallel. Zbl 0653.68067Pawagi, Shaunak R.; Gopalakrishnan, P. S.; Ramakrishnan, I. V. 2 1987 Optimal speedups for parallel pattern matching in trees. Zbl 0638.68037Ramesh, R.; Ramakrishnan, I. V. 1 1987 An O(log n) algorithm for parallel update of minimum spanning trees. Zbl 0592.68061Pawagi, Shaunak; Ramakrishnan, I. V. 7 1986 Mapping homogeneous graphs on linear arrays. Zbl 0585.68060Ramakrishnan, I. V.; Fussell, D. S.; Silberschatz, Abraham 6 1986 Synthesis of an optimal family of matrix multiplication algorithms on linear arrays. Zbl 0621.68025Varman, P. J.; Ramakrishnan, I. V. 3 1986 An efficient parallel algorithm for term matching. Zbl 0623.68038Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V. 2 1986 On matrix multiplication using array processors. Zbl 0571.68032Varman, P. J.; Ramakrishnan, I. V. 3 1985 O(1) parallel time incremental graph algorithms. Zbl 0598.68049Sherlekar, Deepak D.; Pawagi, Shaunak; Ramakrishnan, I. V. 1 1985 Modular matrix multiplication on a linear array. Zbl 0544.68029Ramakrishnan, I. V.; Varman, Peter J. 5 1984 On mapping cube graphs onto VLSI arrays. Zbl 0574.68023Ramakrishnan, I. V.; Varman, P. J. 4 1984 all cited Publications top 5 cited Publications all top 5 Cited by 181 Authors 6 Ramakrishnan, I. V. 4 Pettorossi, Alberto 4 Proietti, Maurizio 4 Rocha, Ricardo 4 Swift, Terrance 4 Verma, Rakesh M. 4 Warren, David Scott 3 Antoy, Sergio 3 Meseguer Guaita, José 3 Senni, Valerio 3 Smolka, Scott A. 3 Thati, Prasanna 3 Voronkov, Andrei 2 Areias, Miguel 2 Bartocci, Ezio 2 Benzmüller, Christoph Ewald 2 Corradini, Flavio 2 de Macedo Mourelle, Luiza 2 Di Berardini, Maria Rita 2 Entcheva, Emilia 2 Fandinno, Jorge 2 Grosu, Radu 2 Hanus, Michael 2 Kedem, Zvi Meir 2 Middeldorp, Aart 2 Myoupo, Jean-Frédéric 2 Nagashima, Masanori 2 Nedjah, Nadia 2 Palem, Krishna V. 2 Pawagi, Shaunak R. 2 Riazanov, Alexandre 2 Sakai, Masahiko 2 Zhou, Neng-Fa 1 Abdulla, Parosh Aziz 1 Alnuweiri, Hussein M. 1 Alshebeili, Saleh A. 1 Armando, Alessandro 1 Banda, Gourinath 1 Benaini, Abdelhamid 1 Bensaid, Hicham 1 Bille, Philip 1 Björk, Magnus 1 Bonelli, Eduardo 1 Cabalar, Pedro 1 Calder, Muffy 1 Chen, Haiming 1 Cheney, James 1 Chenguang, Zhang 1 Cicerone, Serafino 1 Cleaveland, Rance 1 Comon, Hubert 1 Santos Costa, Vítor 1 Cui, Baoqiu 1 Damas, Luís 1 Delcher, Arthur L. 1 Dong, Yunmei 1 Doshi, Kshitij 1 El-Amawy, Ahmed 1 Escobar, Santiago 1 Fernau, Henning 1 Ferragina, Paolo 1 Fioravanti, Fabio 1 Frigioni, Daniele 1 Gallagher, John P. 1 Gauthier, Thibault 1 Gopalakrishnan, P. S. 1 Gramlich, Bernhard 1 Gruska, Jozef 1 Guo, Haifeng 1 Have, Christian Theil 1 Heath, Quentin 1 Hillenbrand, Thomas 1 Hoder, Kryštof 1 Hommersom, Arjen 1 Horrocks, Ian 1 Jamnik, Mateja 1 Janoušek, Jan 1 Johnson, Donald B. 1 Kaliszyk, Cezary 1 Kanal, Laveen N. 1 Kanellakis, Paris Christos 1 Kapitonova, J. V. 1 Kapur, Deepak 1 Kaser, Owen 1 Kasif, Simon 1 Kato, Tomofumi 1 Kaufmann, Michael 1 Kerber, Manfred 1 Kesner, Delia 1 Kiniry, Joseph R. 1 Konozenko, S. V. 1 Korovin, Konstantin 1 Kozyrev, V. P. 1 Kuper, Gabriel M. 1 Kurihara, Masahito 1 Lee, PeiZong 1 Lengauer, Christian 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Letychevs’kyĭ, Oleksandr Oleksandrovych 1 Li, Yujian ...and 81 more Authors all top 5 Cited in 31 Serials 15 Theoretical Computer Science 13 Theory and Practice of Logic Programming 7 Journal of Automated Reasoning 6 Information Processing Letters 6 Information and Computation 5 Journal of Symbolic Computation 3 Artificial Intelligence 3 Algorithmica 2 Formal Aspects of Computing 2 The Journal of Supercomputing 2 International Journal of Computer Mathematics 2 Distributed Computing 2 Cybernetics and Systems Analysis 2 Higher-Order and Symbolic Computation 2 Journal of Applied Logic 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Soviet Mathematics 1 Journal of Information & Optimization Sciences 1 Circuits, Systems, and Signal Processing 1 Journal of Computer Science and Technology 1 International Journal of Electronics 1 International Journal of Foundations of Computer Science 1 Formal Methods in System Design 1 Journal of Systems Science and Complexity 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Frontiers of Computer Science in China all top 5 Cited in 9 Fields 105 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 7 Numerical analysis (65-XX) 4 Combinatorics (05-XX) 3 Biology and other natural sciences (92-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline