A Path Ordering for Proving Termination of Term Rewriting Systems. - Deepak Kapur; Paliath Narendran; G. Sivakumar (TAPSOFT, Vol.1, 1985)

RRL: theorem proving environment based on rewriting techniques. - Deepak Kapur; G. Sivakumar (ACM SIGSOFT Softw. Eng. Notes, 1985)

RRL: A Rewrite Rule Laboratory. - Deepak Kapur; G. Sivakumar; Hantao Zhang 001 (CADE, 1986)

Confluence of Conditional Rewrite Systems. - Nachum Dershowitz; Mitsuhiro Okada; G. Sivakumar (CTRS, 1987)

Solving Goals in Equational Languages. - Nachum Dershowitz; G. Sivakumar (CTRS, 1987)

Goal-Directed Equation Solving. - Nachum Dershowitz; G. Sivakumar (AAAI, 1988)

Canonical Conditional Rewrite Systems. - Nachum Dershowitz; Mitsuhiro Okada; G. Sivakumar (CADE, 1988)

Proofs and computations in conditional equational theories - G. Sivakumar (1989)

Equation Solving in Conditional AC-Theories. - Nachum Dershowitz; Subrata Mitra; G. Sivakumar (ALP, 1990)

Rewrite Systems for Protocol Specification and Verification. - S. Ramanathan; G. Sivakumar (FORTE, 1990)

A New Method for Proving Termination of AC-Rewrite Systems. - Deepak Kapur; G. Sivakumar; Hantao Zhang 001 (FSTTCS, 1990)

AC-Equation Solving. - Subrata Mitra; G. Sivakumar (FSTTCS, 1991)

Decidable Matching for Convergent Systems (Preliminary Version). - Nachum Dershowitz; Subrata Mitra; G. Sivakumar (CADE, 1992)

Maximal Extensions os Simplification Orderings. - Deepak Kapur; G. Sivakumar (FSTTCS, 1995)

A Path Ordering for Proving Termination of AC Rewrite Systems. - Deepak Kapur; G. Sivakumar; Hantao Zhang 001 (J. Autom. Reason., 1995)

A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. - Deepak Kapur; G. Sivakumar (RTA, 1997)

Proving Associative-Communicative Termination Using RPO-Compatible Orderings. - Deepak Kapur; G. Sivakumar (FTP (LNCS Selection), 1998)

Extracting decision trees from trained neural networks. - R. Krishnan; G. Sivakumar; P. Bhattacharya (Pattern Recognit., 1999)

A search technique for rule extraction from trained neural networks. - R. Krishnan; G. Sivakumar; P. Bhattacharya (Pattern Recognit. Lett., 1999)

Tunable Group Key Agreement. - Rajesh Ingle; G. Sivakumar (LCN, 2007)

Dynamic Policy Based Model for Trust Based Access Control in P2P Applications. - Madhumita Chatterjee; G. Sivakumar; Bernard Menezes (ICC, 2009)

TGKAM: Adaptive Middleware Architecture for Secure Group Communication. - Rajesh Ingle; G. Sivakumar (ITNG, 2009)

EGSI: TGKA Based Security Architecture for Group Communication in Grid. - Rajesh Ingle; G. Sivakumar (CCGRID, 2010)

Dynamic Policy Adaptation for Collaborative Groups. - Madhumita Chatterjee; G. Sivakumar (CNSA, 2010)

A systematic bioinformatics approach for selection of target and screening of ligand for malignant tumours suppressing APG4A gene on Xq22.1. - Vidya Niranjan; R. Seenivasagam; G. Sivakumar (Int. J. Comput. Biol. Drug Des., 2010)

Prediction of disease causing gene in Xq22.1 region of human X-chromosome. - Vidya Niranjan; Riaz Ahmed; R. Seenivasagam; G. Sivakumar (Int. J. Bioinform. Res. Appl., 2011)

Discovering novel carriers for oral insulin tablets: a pharmacoinformatics approach. - R. Seenivasagam; K. Hemavathi; G. Sivakumar; Vidya Niranjan (Int. J. Bioinform. Res. Appl., 2013)

Empirical Analysis of Greedy, GE and GRE Heuristics. - Amit Goyal; R. K. Shyamasundar; G. Sivakumar; Raoul Jetley; Srini Ramaswamy (ISEC, 2021)

Information Flow Secure CAmkES. - Amit Goyal; Akshat Garg; Digvijaysingh Gour; R. K. Shyamasundar; G. Sivakumar (IoTBDS, 2021)

Learning Unsupervised Cross-domain Image-to-Image Translation using a Shared Discriminator. - Rajiv Kumar; Rishabh Dabral; G. Sivakumar (VISIGRAPP (5: VISAPP), 2021)

The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks. - Chintan Tundia; Rajiv Kumar; Om P. Damani; G. Sivakumar (VISIGRAPP (5: VISAPP), 2022)

DEff-GAN: Diverse Attribute Transfer for Few-Shot Image Synthesis. - Rajiv Kumar; G. Sivakumar (VISIGRAPP (5: VISAPP), 2023)

FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection. - Chintan Tundia; Rajiv Kumar; Om P. Damani; G. Sivakumar (VISIGRAPP (5: VISAPP), 2023)