G. Sivakumar
G. Sivakumar
Professor of Computer Science, IIT Bombay
Verified email at iitb.ac.in
Title
Cited by
Cited by
Year
Canonical conditional rewrite systems
N Dershowitz, M Okada, G Sivakumar
International Conference on Automated Deduction, 538-549, 1988
1151988
Confluence of conditional rewrite systems
N Dershowitz, M Okada, G Sivakumar
International Workshop on Conditional Term Rewriting Systems, 31-44, 1987
1021987
Extracting decision trees from trained neural networks
R Krishnan, G Sivakumar, P Bhattacharya
Pattern recognition 32 (12), 1999
801999
The tribological behaviour of detonation sprayed coatings: the importance of coating process parameters
G Sundararajan, D Sen, G Sivakumar
Wear 258 (1-4), 377-391, 2005
612005
A search technique for rule extraction from trained neural networks
R Krishnan, G Sivakumar, P Bhattacharya
Pattern Recognition Letters 20 (3), 273-280, 1999
611999
A path ordering for proving termination of term rewriting systems
D Kapur, P Narendran, G Sivakumar
Colloquium on Trees in Algebra and Programming, 173-187, 1985
601985
A path ordering for proving termination of term rewriting systems
D Kapur, P Narendran, G Sivakumar
Colloquium on Trees in Algebra and Programming, 173-187, 1985
601985
Hot corrosion behavior of solution precursor and atmospheric plasma sprayed thermal barrier coatings
A Ajay, VS Raja, G Sivakumar, SV Joshi
Corrosion Science 98, 271-279, 2015
522015
A new method for proving termination of AC-rewrite systems
D Kapur, G Sivakumar, H Zhang
International Conference on Foundations of Software Technology and …, 1990
451990
Decidable matching for convergent systems
N Dershowitz, S Mitra, G Sivakumar
International Conference on Automated Deduction, 589-602, 1992
441992
Solving goals in equational languages
N Dershowitz, G Sivakumar
International Workshop on Conditional Term Rewriting Systems, 45-55, 1987
401987
Deposition of nanostructured photocatalytic zinc ferrite films using solution precursor plasma spraying
R Dom, G Sivakumar, NY Hebalkar, SV Joshi, PH Borse
Materials Research Bulletin 47 (3), 562-570, 2012
372012
RRL: A rewrite rule laboratory
D Kapur, G Sivakumar, H Zhang
International Conference on Automated Deduction, 691-692, 1986
371986
Evaluation of parameters for assessment of inter-splat bond strength in cold-sprayed coatings
G Sundararajan, NM Chavan, G Sivakumar, PS Phani
Journal of Thermal Spray Technology 19 (6), 1255-1266, 2010
332010
A novel approach to process phase pure α-Al2O3 coatings by solution precursor plasma spraying
G Sivakumar, RO Dusane, SV Joshi
Journal of the European Ceramic Society 33 (13-14), 2823-2829, 2013
322013
A total, ground path ordering for proving termination of ac-rewrite systems
D Kapur, G Sivakumar
International Conference on Rewriting Techniques and Applications, 142-156, 1997
311997
Hybrid plasma-sprayed thermal barrier coatings using powder and solution precursor feedstock
SV Joshi, G Sivakumar, T Raghuveer, RO Dusane
Journal of thermal spray technology 23 (4), 616-624, 2014
302014
Architecture of and experiments with RRL, a Rewrite Rule Laboratory
D Kapur
Proc. NSF Workshop on the Rewrite Rule Labolatory, 33-56, 1984
251984
Architecture of and experiments with RRL, a Rewrite Rule Laboratory
D Kapur
Proc. NSF Workshop on the Rewrite Rule Labolatory, 33-56, 1984
251984
Goal-Directed Equation Solving.
N Dershowitz, G Sivakumar
AAAI, 166-170, 1988
241988
The system can't perform the operation now. Try again later.
Articles 1–20