G. Sivakumar

38 papers A* 1A 3B 2C 2Journal 11Unranked 17
YearRankTypeTitle / Venue / Authors
2023 — conf
DEff-GAN: Diverse Attribute Transfer for Few-Shot Image Synthesis.
VISIGRAPP (5: VISAPP)
Rajiv Kumar, G. Sivakumar
2023 J jnl
DEff-GAN: Diverse Attribute Transfer for Few-Shot Image Synthesis.
CoRR
Rajiv Kumar, G. Sivakumar
2023 — conf
FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection.
VISIGRAPP (5: VISAPP)
Chintan Tundia, Rajiv Kumar, Om P. Damani, G. Sivakumar
2023 J jnl
FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection.
CoRR
Chintan Tundia, Rajiv Kumar, Om P. Damani, G. Sivakumar
2022 — conf
The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks.
VISIGRAPP (5: VISAPP)
Chintan Tundia, Rajiv Kumar, Om P. Damani, G. Sivakumar
2021 — conf
Empirical Analysis of Greedy, GE and GRE Heuristics.
ISEC
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy
2021 C conf
Information Flow Secure CAmkES.
IoTBDS
Amit Goyal, Akshat Garg, Digvijaysingh Gour, R. K. Shyamasundar, G. Sivakumar
2021 J jnl
Learning Unsupervised Cross-domain Image-to-Image Translation Using a Shared Discriminator.
CoRR
Rajiv Kumar, Rishabh Dabral, G. Sivakumar
2021 — conf
Learning Unsupervised Cross-domain Image-to-Image Translation using a Shared Discriminator.
VISIGRAPP (5: VISAPP)
Rajiv Kumar, Rishabh Dabral, G. Sivakumar
2021 J jnl
The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks.
CoRR
Chintan Tundia, Rajiv Kumar, Om P. Damani, G. Sivakumar
2013 J jnl
Discovering novel carriers for oral insulin tablets: a pharmacoinformatics approach.
Int. J. Bioinform. Res. Appl.
R. Seenivasagam, K. Hemavathi, G. Sivakumar, Vidya Niranjan
2011 J jnl
Prediction of disease causing gene in Xq22.1 region of human X-chromosome.
Int. J. Bioinform. Res. Appl.
Vidya Niranjan, Riaz Ahmed, R. Seenivasagam, G. Sivakumar
2010 J jnl
A systematic bioinformatics approach for selection of target and screening of ligand for malignant tumours suppressing APG4A gene on Xq22.1.
Int. J. Comput. Biol. Drug Des.
Vidya Niranjan, R. Seenivasagam, G. Sivakumar
2010 — conf
Dynamic Policy Adaptation for Collaborative Groups.
CNSA
Madhumita Chatterjee, G. Sivakumar
2010 B conf
EGSI: TGKA Based Security Architecture for Group Communication in Grid.
CCGRID
Rajesh Ingle, G. Sivakumar
2009 — conf
Dynamic Policy Based Model for Trust Based Access Control in P2P Applications.
ICC
Madhumita Chatterjee, G. Sivakumar, Bernard Menezes
2009 — conf
TGKAM: Adaptive Middleware Architecture for Secure Group Communication.
ITNG
Rajesh Ingle, G. Sivakumar
2007 B conf
Tunable Group Key Agreement.
LCN
Rajesh Ingle, G. Sivakumar
1999 J jnl
A search technique for rule extraction from trained neural networks.
Pattern Recognit. Lett.
R. Krishnan, G. Sivakumar, P. Bhattacharya
1999 J jnl
Extracting decision trees from trained neural networks.
Pattern Recognit.
R. Krishnan, G. Sivakumar, P. Bhattacharya
1998 — conf
Proving Associative-Communicative Termination Using RPO-Compatible Orderings.
FTP (LNCS Selection)
Deepak Kapur, G. Sivakumar
1997 — conf
A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems.
RTA
Deepak Kapur, G. Sivakumar
1997 — ed.
Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings
FSTTCS
S. Ramesh, G. Sivakumar
1995 J jnl
A Path Ordering for Proving Termination of AC Rewrite Systems.
J. Autom. Reason.
Deepak Kapur, G. Sivakumar, Hantao Zhang
1995 — conf
Maximal Extensions os Simplification Orderings.
FSTTCS
Deepak Kapur, G. Sivakumar
1992 A conf
Decidable Matching for Convergent Systems (Preliminary Version).
CADE
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
1991 — conf
AC-Equation Solving.
FSTTCS
Subrata Mitra, G. Sivakumar
1990 — conf
A New Method for Proving Termination of AC-Rewrite Systems.
FSTTCS
Deepak Kapur, G. Sivakumar, Hantao Zhang
1990 — conf
Equation Solving in Conditional AC-Theories.
ALP
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
1990 C conf
Rewrite Systems for Protocol Specification and Verification.
FORTE
S. Ramanathan, G. Sivakumar
1989 — —
Proofs and computations in conditional equational theories
G. Sivakumar
1988 A conf
Canonical Conditional Rewrite Systems.
CADE
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
1988 A* conf
Goal-Directed Equation Solving.
AAAI
Nachum Dershowitz, G. Sivakumar
1987 — conf
Confluence of Conditional Rewrite Systems.
CTRS
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
1987 — conf
Solving Goals in Equational Languages.
CTRS
Nachum Dershowitz, G. Sivakumar
1986 A conf
RRL: A Rewrite Rule Laboratory.
CADE
Deepak Kapur, G. Sivakumar, Hantao Zhang
1985 — conf
A Path Ordering for Proving Termination of Term Rewriting Systems.
TAPSOFT, Vol.1
Deepak Kapur, Paliath Narendran, G. Sivakumar
1985 J jnl
RRL: theorem proving environment based on rewriting techniques.
ACM SIGSOFT Softw. Eng. Notes
Deepak Kapur, G. Sivakumar