| 2021 | DSN | Model Checking the Multi-Formalism Language FIGARO. | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou |
| 2021 | ICTAC | Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. | Muhammad Hannan Khan, Osman Hassan, Shahid Khan |
| 2021 | PRDC | Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. | Shahid Khan, Joost-Pieter Katoen |
| 2020 | EDCC | Explaining Boolean-Logic Driven Markov Processes using GSPNs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | SAFECOMP | A Compositional Semantics for Repairable BDMPs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2019 | PRDC | Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou |
| 2018 | ISNCC | A U-shaped Wide band frequency reconfigurable dielectric resonator antenna for 5G applications. | Shahid Khan, Hazrat Ali, Jamal Nasir, Loc Siler, Camel Tanougast |
| 2018 | SOFSEM | Formal Verification and Safety Assessment of a Hemodialysis Machine. | Shahid Khan, Osman Hasan, Atif Mashkoor |
| 2014 | ANT | Localization Performance Evaluation of Extended Kalman Filter in Wireless Sensors Network. | Rafiullah Khan, Sarmad Ullah Khan, Shahid Khan, Mohammad Usman Ali Khan |
| 2012 | FIT | Future Internet: The Internet of Things Architecture, Possible Applications and Key Challenges. | Rafiullah Khan, Sarmad Ullah Khan, Rifaqat Zaheer, Shahid Khan |
| 2011 | ISDA | Short-term daily peak load forecasting using fast learning neural network. | Gul Muhammad Khan, Shahid Khan, Fahad Ullah |
| 2008 | MICCAI | Automatic Tracking of Escherichia Coli Bacteria. | Jun Xie, Shahid Khan, Mubarak Shah |
| 2000 | ICPR | Segmentation of Blood Images Using Morphological Operators. | Cecilia Di Ruberto, Andrew G. Dempster, Shahid Khan, Bill Jarra |
| 2000 | ICPR | Automatic Thresholding of Infected Blood Images Using Granulometry and Regional Extrema. | Cecilia Di Ruberto, Andrew G. Dempster, Shahid Khan, Bill Jarra |