G. Sivakumar

发表

Extracting decision trees from trained neural networks

R. Krishnan, G. Sivakumar, P. Bhattacharya, 1999, Pattern Recognit..

Dynamic Policy Based Model for Trust Based Access Control in P2P Applications

Bernard L. Menezes, Madhumita Chatterjee, G. Sivakumar, 2009, 2009 IEEE International Conference on Communications.

Maximal Extensions os Simplification Orderings

Deepak Kapur, G. Sivakumar, D. Kapur, 1995, FSTTCS.

Confluence of Conditional Rewrite Systems

Nachum Dershowitz, G. Sivakumar, Mitsuhiro Okada, 1988, CTRS.

Proving Associative-Communicative Termination Using RPO-Compatible Orderings

Deepak Kapur, G. Sivakumar, 1998, FTP.

Equation Solving in Conditional AC-Theories

Nachum Dershowitz, G. Sivakumar, Subrata Mitra, 1990, ALP.

A Path Ordering for Proving Termination of Term Rewriting Systems

Paliath Narendran, Deepak Kapur, G. Sivakumar, 1985, TAPSOFT, Vol.1.

AC-Equation Solving

G. Sivakumar, Subrata Mitra, S. Mitra, 1991, FSTTCS.

Decidable Matching for Convergent Systems (Preliminary Version)

Nachum Dershowitz, G. Sivakumar, Subrata Mitra, 1992, CADE.

Canonical Conditional Rewrite Systems

Nachum Dershowitz, G. Sivakumar, Mitsuhiro Okada, 1988, CADE.

EGSI: TGKA Based Security Architecture for Group Communication in Grid

G. Sivakumar, Rajesh Ingle, G. Sivakumar, 2010, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing.

Two-Axis Microstage System

G. Sivakumar, P. Beverly, T. Dallas, 2008, Journal of Microelectromechanical Systems.

Solving Goals in Equational Languages

Nachum Dershowitz, G. Sivakumar, N. Dershowitz, 1988, CTRS.

Rewrite Systems for Protocol Specification and Verification

G. Sivakumar, S. Ramanathan, G. Sivakumar, 1990, FORTE.

Tunable Group Key Agreement

G. Sivakumar, Rajesh Ingle, 2007 .

A search technique for rule extraction from trained neural networks

R. Krishnan, G. Sivakumar, P. Bhattacharya, 1999, Pattern Recognit. Lett..

Goal-Directed Equation Solving ”

Nachum Dershowitz, G. Sivakumar, G. Sivakumar, 1999 .

RRL: A Rewrite Rule Laboratory

Deepak Kapur, G. Sivakumar, Hantao Zhang, 1986, CADE.

A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems

Deepak Kapur, G. Sivakumar, D. Kapur, 1997, RTA.

TGKAM: Adaptive Middleware Architecture for Secure Group Communication

G. Sivakumar, Rajesh Ingle, 2009, 2009 Sixth International Conference on Information Technology: New Generations.

Formal specification and verification of hardware designs

G. Sivakumar, Purandar Bhaduri, S. Ramesh, 1998, Photomask and Next Generation Lithography Mask Technology.

A New Method for Proving Termination of AC-Rewrite Systems

Deepak Kapur, G. Sivakumar, Hantao Zhang, 1990, FSTTCS.

Dynamic Policy Adaptation for Collaborative Groups

Madhumita Chatterjee, G. Sivakumar, 2010, CNSA.

Tunable Group Key Agreement

G. Sivakumar, Rajesh Ingle, G. Sivakumar, 2007, 32nd IEEE Conference on Local Computer Networks (LCN 2007).

A path ordering for proving termination of AC rewrite systems

Deepak Kapur, G. Sivakumar, Hantao Zhang, 1995, Journal of Automated Reasoning.

Development and Testing of a Multilevel Chevron Actuator-Based Positioning System

G. Sivakumar, T. Dallas, E. J. Hendriske, 2011, Journal of Microelectromechanical Systems.

A systematic bioinformatics approach for selection of target and screening of ligand for malignant tumours suppressing APG4A gene on Xq22.1

G. Sivakumar, R. Seenivasagam, Vidya Niranjan, 2010, Int. J. Comput. Biol. Drug Des..

Empirical Analysis of Greedy, GE and GRE Heuristics

Srini Ramaswamy, Raoul Praful Jetley, R. K. Shyamasundar, 2021, ISEC.

Information Flow Secure CAmkES

R. K. Shyamasundar, G. Sivakumar, Amit Goyal, 2021, IoTBDS.

Proofs and computations in conditional equational theories

G. Sivakumar, G. Sivakumar, 1990 .