G. Sivakumar Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVidya 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh Ingle, G. Sivakumar: EGSI: TGKA Based Security Architecture for Group Communication in Grid. CCGRID 2010: 34-42
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhumita Chatterjee, G. Sivakumar: Dynamic Policy Adaptation for Collaborative Groups. CNSA 2010: 374-394
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVidya 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)
2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhumita Chatterjee, G. Sivakumar, B. Menezes: Dynamic Policy Based Model for Trust Based Access Control in P2P Applications. ICC 2009: 1-5
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh Ingle, G. Sivakumar: TGKAM: Adaptive Middleware Architecture for Secure Group Communication. ITNG 2009: 1030-1035
2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh Ingle, G. Sivakumar: Tunable Group Key Agreement. LCN 2007: 1017-1024
1999
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Krishnan, G. Sivakumar, P. Bhattacharya: Extracting decision trees from trained neural networks. Pattern Recognition 32(12): 1999-2009 (1999)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Krishnan, G. Sivakumar, P. Bhattacharya: A search technique for rule extraction from trained neural networks. Pattern Recognition Letters 20(3): 273-280 (1999)
1998
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar: Proving Associative-Communicative Termination Using RPO-Compatible Orderings. FTP (LNCS Selection) 1998: 39-61
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Ramesh, G. Sivakumar: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings Springer 1997
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar: A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. RTA 1997: 142-156
1995
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar: Maximal Extensions os Simplification Orderings. FSTTCS 1995: 225-239
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar, Hantao Zhang: A Path Ordering for Proving Termination of AC Rewrite Systems. J. Autom. Reasoning 14(2): 293-316 (1995)
1992
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602
1991
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubrata Mitra, G. Sivakumar: AC-Equation Solving. FSTTCS 1991: 40-56
1990
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Ramanathan, G. Sivakumar: Rewrite Systems for Protocol Specification and Verification. FORTE 1990: 79-94
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar, Hantao Zhang: A New Method for Proving Termination of AC-Rewrite Systems. FSTTCS 1990: 133-148
1988
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, G. Sivakumar: Goal-Directed Equation Solving. AAAI 1988: 166-170
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Canonical Conditional Rewrite Systems. CADE 1988: 538-549
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachum Dershowitz, G. Sivakumar: Solving Goals in Equational Languages. CTRS 1987: 45-55
1986
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, G. Sivakumar, Hantao Zhang: RRL: A Rewrite Rule Laboratory. CADE 1986: 691-692
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Paliath Narendran, G. Sivakumar: A Path Ordering for Proving Termination of Term Rewriting Systems. TAPSOFT, Vol.1 1985: 173-187

Coauthor Index

1Riaz Ahmed [25]
2P. Bhattacharya [17] [18]
3Madhumita Chatterjee [21] [23]
4Nachum Dershowitz [3] [4] [5] [6] [9] [11]
5Rajesh Ingle [19] [20] [24]
6Deepak Kapur [1] [2] [7] [12] [13] [14] [16]
7R. Krishnan [17] [18]
8B. Menezes [21]
9Subrata Mitra [9] [10] [11]
10Paliath Narendran [1]
11Vidya Niranjan [22] [25]
12Mitsuhiro Okada [4] [5]
13S. Ramanathan [8]
14S. Ramesh (Sethu Ramesh) [15]
15R. Seenivasagam [22] [25]
16Hantao Zhang [2] [7] [12]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page