Title	Game Theoretical Analysis of Radio Resource Management in Wireless Networks: A Non-Cooperative Game Approach of Power
Author	Nilimesh Halder, Ju Bin Song
Citation	Vol. 7  No. 6  pp. 184-192
Keywords	power control, radio resource management, cognitive radio, wireless ad hoc networks, game theory, Nash equilibrium

Title	Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author	Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
Citation	Vol. 7  No. 7  pp. 63-71
Keywords	Formal Verification, Symbolic Model Verifier, Remote Procedure Call, Request protocol, Request Reply protocol, Request Reply Acknowledgement protocol

Title	Existence of Nash Equilibria in Wireless Networks: An Adaptive Power Control Scheme for Radio Resource Management
Author	Nilimesh Halder, Ju Bin Song
Citation	Vol. 7  No. 9  pp. 98-102
Keywords	power control, radio resource management, wireless networks, game theory, Nash equilibrium