| Description |
| Kanwal, Sofia, Ahmad Kamran Malik, and Nazir Ahmad Zafar. "Behaviour of social networks regarding spreading and controlling of diseases." Information and Communication Technologies (ICICT), 2015 International Conference on. IEEE, 2015. |
| Kanwal, Sofia, and N. A. Zafar. "Modeling of Automated Teller Machine System Using Discrete Structures." Proceedings of 8th IPMC (2007). |
| Kanwal Sofia and Nazir A. Zafar. "Formal Model of Automated Teller Machine System Using Z notation." Emerging Technologies, 2007. ICET 2007.
International Conference on. IEEE, 2007. |
|