- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | R. Seenivasagam, K. Hemavathi, G. Sivakumar, Vidya Niranjan: Discovering novel carriers for oral insulin tablets: a pharmacoinformatics approach. IJBRA 9(2): 184-206 (2013) |
| 2011 | ||
| j5 | | Vidya Niranjan, Riaz Ahmed, R. Seenivasagam, G. Sivakumar: Prediction of disease causing gene in Xq22.1 region of human X-chromosome. IJBRA 7(2): 130-145 (2011) |
| 2010 | ||
| j4 | | Vidya Niranjan, R. Seenivasagam, G. Sivakumar: A systematic bioinformatics approach for selection of target and screening of ligand for malignant tumours suppressing APG4A gene on Xq22.1. I. J. Computational Biology and Drug Design 3(4): 271-286 (2010) |
| c19 | | Rajesh Ingle, G. Sivakumar: EGSI: TGKA Based Security Architecture for Group Communication in Grid. CCGRID 2010: 34-42 |
| c18 | | Madhumita Chatterjee, G. Sivakumar: Dynamic Policy Adaptation for Collaborative Groups. CNSA 2010: 374-394 |
| 2009 | ||
| c17 | | Madhumita Chatterjee, G. Sivakumar, B. Menezes: Dynamic Policy Based Model for Trust Based Access Control in P2P Applications. ICC 2009: 1-5 |
| c16 | | Rajesh Ingle, G. Sivakumar: TGKAM: Adaptive Middleware Architecture for Secure Group Communication. ITNG 2009: 1030-1035 |
| 2007 | ||
| c15 | | |
| 1999 | ||
| j3 | | R. Krishnan, G. Sivakumar, P. Bhattacharya: Extracting decision trees from trained neural networks. Pattern Recognition 32(12): 1999-2009 (1999) |
| j2 | | R. Krishnan, G. Sivakumar, P. Bhattacharya: A search technique for rule extraction from trained neural networks. Pattern Recognition Letters 20(3): 273-280 (1999) |
| 1998 | ||
| c14 | | Deepak Kapur, G. Sivakumar: Proving Associative-Communicative Termination Using RPO-Compatible Orderings. FTP (LNCS Selection) 1998: 39-61 |
| 1997 | ||
| c13 | | Deepak Kapur, G. Sivakumar: A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. RTA 1997: 142-156 |
| e1 |  | S. Ramesh, G. Sivakumar (Eds.): Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Lecture Notes in Computer Science 1346, Springer 1997, isbn 3-540-63876-8 |
| 1995 | ||
| j1 | | Deepak Kapur, G. Sivakumar, Hantao Zhang: A Path Ordering for Proving Termination of AC Rewrite Systems. J. Autom. Reasoning 14(2): 293-316 (1995) |
| c12 | | |
| 1992 | ||
| c11 | | Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602 |
| 1991 | ||
| c10 | | |
| 1990 | ||
| c9 | | Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297 |
| c8 | | S. Ramanathan, G. Sivakumar: Rewrite Systems for Protocol Specification and Verification. FORTE 1990: 79-94 |
| c7 | | Deepak Kapur, G. Sivakumar, Hantao Zhang: A New Method for Proving Termination of AC-Rewrite Systems. FSTTCS 1990: 133-148 |
| 1988 | ||
| c6 | | |
| c5 | | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Canonical Conditional Rewrite Systems. CADE 1988: 538-549 |
| 1987 | ||
| c4 | | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44 |
| c3 | | |
| 1986 | ||
| c2 | | |
| 1985 | ||
| c1 | | Deepak Kapur, Paliath Narendran, G. Sivakumar: A Path Ordering for Proving Termination of Term Rewriting Systems. TAPSOFT, Vol.1 1985: 173-187 |
Colors in the list of coauthors
Last update Wed May 22 22:07:38 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page