Selected Publications

  1. Data Flow Analysis of Communicating Finite State Machines (with S. Purushothaman). In ACM Transactions on Programming Languages and Systems, Vol. 13, No. 3, July 1991, pp.399-442.
  2. A New Type of Pushdown Automata on Infinite Trees (with S. Purushothaman). Journal of Foundations of Computer Science, Vol.6, No.2., June 1995, World Scientific Publishing, pp.169-186.
  3. Lossy Communicating Finite State Machines (with Kia Makki). Journal of Telecommunication Systems, 25:3,4, pp.433-448, 2004.
  4. The CSMA/DM LAN Protocol (With S. Makki). International Journal of Communication Systems, Vol.19, Issue 8, Oct. 2006, pp.897-914.
  5. A Dynamic Key Management Scheme for Secure MANET Routing (With Yalin Wang, E.K.Park, and K.Makki). Journal of Wireless Communications and Mobile Computing, Vol.7, Issue 10, Dec. 2007, pp. 1233-1241.
  6. A Reliable User Tracking Framework for Locating Mobile Objects (With S. K. Makki and J. Yu). International Journal of Modern Engineering, Vol. 8, No. 2, pp.41-45, 2008.
  7. An Arbitrary Topology Alternator with Uniform Processes (With Furman Haddix). Journal of High-Speed Networks, Vol. 17, No. 2 (2010), pp.73-81.
  8. Estimating Retransmission Timeouts in IP-Based Transport Protocols (With S.McClellan). Proc. of ICDT 2013, the Eighth International Conference on Digital Telecommunications, pp.26-31. (Acceptance ratio: 28%. Best paper award).
  9. Improving Retransmission Performance of IP-Based Transport Protocols (With S.McClellan). International Journal on Advances in Telecommunications, Vol.6, No. 3 & 4, pp.123-131,Dec. 2013.

Last modified: 03:33pm CST Jul. 28, 2014