×

zbMATH — the first resource for mathematics

Ramakrishnan, I. V.

Compute Distance To:
Author ID: ramakrishnan.i-v Recent zbMATH articles by "Ramakrishnan, I. V."
Published as: Ramakrishnan, I. V.
External Links: MGP · Wikidata
Documents Indexed: 52 Publications since 1983

Publications by Year

Citations contained in zbMATH

36 Publications have been cited 128 times in 110 Documents Cited by Year
Term indexing. Zbl 0992.68189
Sekar, R.; Ramakrishnan, I. V.; Voronkov, Andrei
17
2001
Programming in equational logic: Beyond strong sequentiality. Zbl 0803.68060
Sekar, R. C.; Ramakrishnan, I. V.
15
1993
Efficient access mechanisms for tabled logic programs. Zbl 0911.68033
Ramakrishnan, 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.68061
Pawagi, Shaunak; Ramakrishnan, I. V.
7
1986
Mapping homogeneous graphs on linear arrays. Zbl 0585.68060
Ramakrishnan, I. V.; Fussell, D. S.; Silberschatz, Abraham
6
1986
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
Modular matrix multiplication on a linear array. Zbl 0544.68029
Ramakrishnan, I. V.; Varman, Peter J.
5
1984
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
Nonlinear pattern matching in trees. Zbl 0799.68103
Ramesh, R.; Ramakrishnan, I. V.
4
1992
Term matching on parallel computers. Zbl 0685.68037
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
4
1989
On mapping cube graphs onto VLSI arrays. Zbl 0574.68023
Ramakrishnan, I. V.; Varman, P. J.
4
1984
Online justification for tabled logic programs. Zbl 1122.68386
Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V.
3
2004
Congruence closure modulo associativity and commutativity. Zbl 0962.68085
Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L.
3
2000
Adaptive pattern matching. Zbl 0845.68017
Sekar, R. C.; Ramesh, R.; Ramakrishnan, I. V.
3
1995
Term matching on parallel computers. Zbl 0642.68070
Ramesh, 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.68025
Varman, P. J.; Ramakrishnan, I. V.
3
1986
On matrix multiplication using array processors. Zbl 0571.68032
Varman, P. J.; Ramakrishnan, I. V.
3
1985
Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063
Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V.
2
2012
Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019
Grosu, 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.68520
Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V.
2
2002
Automated inductive verification of parameterized protocols. Zbl 0991.68555
Roychoudhury, Abhik; Ramakrishnan, I. V.
2
2001
XMC: A logic-programming-based verification toolset. Zbl 0974.68571
Ramakrishnan, 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.68036
Ramesh, R.; Ramakrishnan, I. V.; Warren, D. S.
2
1995
Computing dominators in parallel. Zbl 0653.68067
Pawagi, Shaunak R.; Gopalakrishnan, P. S.; Ramakrishnan, I. V.
2
1987
An efficient parallel algorithm for term matching. Zbl 0623.68038
Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V.
2
1986
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
Automata-driven efficient subterm unification. Zbl 0972.68103
Ramesh, R.; Ramakrishnan, I. V.; Sekar, R. C.
1
2001
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
Normalization via rewrite closures. Zbl 0943.68090
Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.
1
1999
Tight complexity bounds for term matching problems. Zbl 0759.68040
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1992
Approximate algorithms for the Knapsack problem on parallel computers. Zbl 0723.68042
Gopalakrishnan, P. S.; Ramakrishnan, I. V.; Kanal, L. N.
1
1991
Parallel tree pattern matching. Zbl 0698.68033
Ramesh, R.; Ramakrishnan, I. V.
1
1990
Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1990
Nonlinear pattern matching in trees. Zbl 0649.68062
Ramesh, R.; Ramakrishnan, I. V.
1
1988
Optimal speedups for parallel pattern matching in trees. Zbl 0638.68037
Ramesh, R.; Ramakrishnan, I. V.
1
1987
O(1) parallel time incremental graph algorithms. Zbl 0598.68049
Sherlekar, Deepak D.; Pawagi, Shaunak; Ramakrishnan, I. V.
1
1985
Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063
Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V.
2
2012
Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019
Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A.
2
2007
Online justification for tabled logic programs. Zbl 1122.68386
Pemmasani, 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.68016
Roychoudhury, 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.68520
Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V.
2
2002
Term indexing. Zbl 0992.68189
Sekar, R.; Ramakrishnan, I. V.; Voronkov, Andrei
17
2001
Automated inductive verification of parameterized protocols. Zbl 0991.68555
Roychoudhury, Abhik; Ramakrishnan, I. V.
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
Automata-driven efficient subterm unification. Zbl 0972.68103
Ramesh, R.; Ramakrishnan, I. V.; Sekar, R. C.
1
2001
Congruence closure modulo associativity and commutativity. Zbl 0962.68085
Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L.
3
2000
XMC: A logic-programming-based verification toolset. Zbl 0974.68571
Ramakrishnan, 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.68018
Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.
1
2000
Efficient access mechanisms for tabled logic programs. Zbl 0911.68033
Ramakrishnan, 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.68031
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.
4
1999
Normalization via rewrite closures. Zbl 0943.68090
Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.
1
1999
Adaptive pattern matching. Zbl 0845.68017
Sekar, R. C.; Ramesh, R.; Ramakrishnan, I. V.
3
1995
Automata-driven indexing of Prolog clauses. Zbl 0863.68036
Ramesh, R.; Ramakrishnan, I. V.; Warren, D. S.
2
1995
Programming in equational logic: Beyond strong sequentiality. Zbl 0803.68060
Sekar, R. C.; Ramakrishnan, I. V.
15
1993
Nonlinear pattern matching in trees. Zbl 0799.68103
Ramesh, R.; Ramakrishnan, I. V.
4
1992
Tight complexity bounds for term matching problems. Zbl 0759.68040
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1992
Approximate algorithms for the Knapsack problem on parallel computers. Zbl 0723.68042
Gopalakrishnan, P. S.; Ramakrishnan, I. V.; Kanal, L. N.
1
1991
Parallel tree pattern matching. Zbl 0698.68033
Ramesh, R.; Ramakrishnan, I. V.
1
1990
Nonoblivious normalization algorithms for nonlinear rewrite systems. Zbl 0765.68067
Verma, Rakesh M.; Ramakrishnan, I. V.
1
1990
Term matching on parallel computers. Zbl 0685.68037
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
4
1989
Nonlinear pattern matching in trees. Zbl 0649.68062
Ramesh, R.; Ramakrishnan, I. V.
1
1988
Term matching on parallel computers. Zbl 0642.68070
Ramesh, R.; Verma, R. M.; Krishnaprasad, T.; Ramakrishnan, I. V.
3
1987
Computing dominators in parallel. Zbl 0653.68067
Pawagi, Shaunak R.; Gopalakrishnan, P. S.; Ramakrishnan, I. V.
2
1987
Optimal speedups for parallel pattern matching in trees. Zbl 0638.68037
Ramesh, R.; Ramakrishnan, I. V.
1
1987
An O(log n) algorithm for parallel update of minimum spanning trees. Zbl 0592.68061
Pawagi, Shaunak; Ramakrishnan, I. V.
7
1986
Mapping homogeneous graphs on linear arrays. Zbl 0585.68060
Ramakrishnan, I. V.; Fussell, D. S.; Silberschatz, Abraham
6
1986
Synthesis of an optimal family of matrix multiplication algorithms on linear arrays. Zbl 0621.68025
Varman, P. J.; Ramakrishnan, I. V.
3
1986
An efficient parallel algorithm for term matching. Zbl 0623.68038
Verma, Rakesh M.; Krishnaprasad, T.; Ramakrishnan, I. V.
2
1986
On matrix multiplication using array processors. Zbl 0571.68032
Varman, P. J.; Ramakrishnan, I. V.
3
1985
O(1) parallel time incremental graph algorithms. Zbl 0598.68049
Sherlekar, Deepak D.; Pawagi, Shaunak; Ramakrishnan, I. V.
1
1985
Modular matrix multiplication on a linear array. Zbl 0544.68029
Ramakrishnan, I. V.; Varman, Peter J.
5
1984
On mapping cube graphs onto VLSI arrays. Zbl 0574.68023
Ramakrishnan, I. V.; Varman, P. J.
4
1984
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

Citations by Year

Wikidata Timeline