Characterizing and modeling network traffic variability. - Sarat Pothuri; David W. Petr; Sohel Khan (ICC, 2002)

Extensions to multifractal wavelet model for synthesizing network traffic. - Logeshwaran Vijayan; Swapan Chakrabarti; David W. Petr; Sohel Khan (ICC, 2002)

Modeling and Formal Verification of IMPP. - Sohel Khan; Abdul Waheed (Int. Arab J. Inf. Technol., 2005)

Modeling and Formal Verification of DHCP Using SPIN. - Syed M. S. Islam; Mohammed H. Sqalli; Sohel Khan (Int. J. Comput. Sci. Appl., 2006)