|
|
DSpace at IIT Bombay >
Browsing by Author SIVAKUMAR, G
Showing results 1 to 13 of 13
| Issue Date | Title | Author(s) | | 1991 | AC-EQUATION SOLVING | MITRA, S; SIVAKUMAR, G |
| 1993 | Campus-wide 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 |
| 1995 | A PATH ORDERING FOR PROVING TERMINATION OF AC REWRITE SYSTEMS | KAPUR, D; SIVAKUMAR, G; ZHANG, HT |
| 2000 | Proving associative-commutative termination using RPO-compatible 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 smooth-muscle 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 AC-rewrite systems | KAPUR, D; SIVAKUMAR, G |
| 2007 | Tunable Group Key Agreement | INGLE, RAJESH; SIVAKUMAR, G |
Showing results 1 to 13 of 13
|
