dblp.uni-trier.dewww.uni-trier.de

G. Sivakumar Vis

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

*2007
19EERajesh Ingle, G. Sivakumar: Tunable Group Key Agreement. LCN 2007: 1017-1024
1999
18EER. Krishnan, G. Sivakumar, P. Bhattacharya: Extracting decision trees from trained neural networks. Pattern Recognition 32(12): 1999-2009 (1999)
17EER. Krishnan, G. Sivakumar, P. Bhattacharya: A search technique for rule extraction from trained neural networks. Pattern Recognition Letters 20(3): 273-280 (1999)
1998
16EEDeepak Kapur, G. Sivakumar: Proving Associative-Communicative Termination Using RPO-Compatible Orderings. FTP (LNCS Selection) 1998: 39-61
1997
15 S. Ramesh, G. Sivakumar: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings Springer 1997
14EEDeepak Kapur, G. Sivakumar: A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. RTA 1997: 142-156
1995
13EEDeepak Kapur, G. Sivakumar: Maximal Extensions os Simplification Orderings. FSTTCS 1995: 225-239
12 Deepak Kapur, G. Sivakumar, Hantao Zhang: A Path Ordering for Proving Termination of AC Rewrite Systems. J. Autom. Reasoning 14(2): 293-316 (1995)
1992
11EENachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602
1991
10EESubrata Mitra, G. Sivakumar: AC-Equation Solving. FSTTCS 1991: 40-56
1990
9EENachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297
8 S. Ramanathan, G. Sivakumar: Rewrite Systems for Protocol Specification and Verification. FORTE 1990: 79-94
7EEDeepak Kapur, G. Sivakumar, Hantao Zhang: A New Method for Proving Termination of AC-Rewrite Systems. FSTTCS 1990: 133-148
1988
6 Nachum Dershowitz, G. Sivakumar: Goal-Directed Equation Solving. AAAI 1988: 166-170
5EENachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Canonical Conditional Rewrite Systems. CADE 1988: 538-549
1987
4 Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44
3 Nachum Dershowitz, G. Sivakumar: Solving Goals in Equational Languages. CTRS 1987: 45-55
1986
2EEDeepak Kapur, G. Sivakumar, Hantao Zhang: RRL: A Rewrite Rule Laboratory. CADE 1986: 691-692
1985
1EEDeepak Kapur, Paliath Narendran, G. Sivakumar: A Path Ordering for Proving Termination of Term Rewriting Systems. TAPSOFT, Vol.1 1985: 173-187

Coauthor Index

1P. Bhattacharya [17] [18]
2Nachum Dershowitz [3] [4] [5] [6] [9] [11]
3Rajesh Ingle [19]
4Deepak Kapur [1] [2] [7] [12] [13] [14] [16]
5R. Krishnan [17] [18]
6Subrata Mitra [9] [10] [11]
7Paliath Narendran [1]
8Mitsuhiro Okada [4] [5]
9S. Ramanathan [8]
10S. Ramesh (Sethu Ramesh) [15]
11Hantao Zhang [2] [7] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)