Extending VLSI design with higher-order logic. - Anand Chavan; Shiu-Kai Chin; Shahid Ikram; Jang Dae Kim; Juin-Yeu Zu (ICCD, 1995)

Accelerated verification of RTL assertions based on satisfiability solvers. - Ranan Fraer; Shahid Ikram; Gila Kamhi; Tim Leonard; Abdel Mokkedem (HLDVT, 2002)

A framework for specifying, modeling, implementation and verification of SOC protocols. - Shahid Ikram; David Asher; Isam Akkawi; Jack Perveiler; Jim Ellis (SoCC, 2014)

Sparse signal recovery from compressed measurements using hybrid particle swarm optimization. - Hassaan Haider; Jawad Ali Shah; Shahid Ikram; Idris Abd Latif (ICSIPA, 2017)

Enhancing MR Image Reconstruction Using Block Dictionary Learning. - Shahid Ikram; Syed Zubair; Jawad Ali Shah; Ijaz Mansoor Qureshi; Abdul Wahid; Adnan Umar Khan (IEEE Access, 2019)

Improved Reconstruction of MR Scanned Images by Using a Dictionary Learning Scheme. - Shahid Ikram; Jawad Ali Shah; Syed Zubair; Ijaz Mansoor Qureshi; Muhammad Bilal 004 (Sensors, 2019)

Deep Learning-Based Image Retrieval System with Clustering on Attention-Based Representations. - Sumanth S. Rao; Shahid Ikram; Parashara Ramesh (SN Comput. Sci., 2021)