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.