Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification. - Safeeullah Soomro; Abdul Baqi (ICIC (2), 2010)

Design and Realization of FH-CDMA Scheme for Multiple-Access Communication Systems. - Abdul Baqi; Sajjad Ahmed Soomro; Safeeullah Soomro (CSEE (1), 2011)

Implementation of Automata Theory to Improve the Learning Disability. - Syed Asif Ali; Safeeullah Soomro; Abdul Ghafoor Memon; Abdul Baqi (CoRR, 2013)

Prediction of Building Energy Consumption Using Enhance Convolutional Neural Network. - Hafiz Muhammad Faisal; Nadeem Javaid; Bakhtawar Sarfraz; Abdul Baqi; Muhammad Bilal 012; Inzamam Haider; Sahibzada Muhammad Shuja (AINA Workshops, 2019)