
DSpace at IIT Bombay >
Browsing by Author SIVAKUMAR, G
Showing results 1 to 16 of 16
Issue Date  Title  Author(s)  1991  ACEQUATION SOLVING  MITRA, S; SIVAKUMAR, G 
1993  Campuswide distributed library search system  KAULAVKAR, N; SIVAKUMAR, G 
1992  DECIDABLE MATCHING FOR CONVERGENT SYSTEMS  PRELIMINARY VERSION  DERSHOWITZ, N; MITRA, S; SIVAKUMAR, G 
2009  Dynamic policy based model for trust based access control in P2P applications  CHATTERJEE, M; SIVAKUMAR, G; MENEZES, B 
1999  Extracting decision trees from trained neural networks  KRISHNAN, R; SIVAKUMAR, G; BHATTACHARYA, P 
1998  Formal specification and verification of hardware designs  RAMESH, S; RAO, SSSP; SIVAKUMAR, G; BHADURI, P 
2014  Hybrid PlasmaSprayed Thermal Barrier Coatings Using Powder and Solution Precursor Feedstock  JOSHI, SV; SIVAKUMAR, G; RAGHUVEER, T; DUSANE, RO 
2014  Hybrid PlasmaSprayed Thermal Barrier Coatings Using Powder and Solution Precursor Feedstock  JOSHI, SV; SIVAKUMAR, G; RAGHUVEER, T; DUSANE, RO 
2013  A novel approach to process phase pure alphaAl2O3 coatings by solution precursor plasma spraying  SIVAKUMAR, G; DUSANE, RO; JOSHI, SV 
1995  A PATH ORDERING FOR PROVING TERMINATION OF AC REWRITE SYSTEMS  KAPUR, D; SIVAKUMAR, G; ZHANG, HT 
2000  Proving associativecommutative termination using RPOcompatible orderings  KAPUR, D; SIVAKUMAR, G 
1999  A search technique for rule extraction from trained neural networks  KRISHNAN, R; SIVAKUMAR, G; BHATTACHARYA, P 
2003  Simulation framework for electrophysiological networks: effect of syncytial properties on smoothmuscle synaptic potentials  TURALE, N; DEVULAPALLI, A; MANCHANDA, R; MOUDGALYA, K; SIVAKUMAR, G 
2009  TGKAM : adaptive middleware architecture for secure group communication  INGLE, R; SIVAKUMAR, G 
1997  A total, ground path ordering for proving termination of ACrewrite systems  KAPUR, D; SIVAKUMAR, G 
2007  Tunable Group Key Agreement  INGLE, RAJESH; SIVAKUMAR, G 
Showing results 1 to 16 of 16
