| 2021 | GECCO | Selecting miners within blockchain-based systems using evolutionary algorithms for energy optimisation. | Akram Alofi, Mahmoud A. Bokhari, Robert J. Hendley, Rami Bahsoon |
| 2020 | GECCO | Genetic improvement of software efficiency: the curse of fitness estimation. | Mahmoud A. Bokhari, Markus Wagner, Brad Alexander |
| 2020 | GECCO | Towards rigorous validation of energy optimisation experiments. | Mahmoud A. Bokhari, Brad Alexander, Markus Wagner |
| 2019 | CEC | Mind the gap - a distributed framework for enabling energy optimisation on modern smart-phones in the presence of noise, drift, and statistical insignificance. | Mahmoud A. Bokhari, Lujun Weng, Markus Wagner, Bradley Alexander |
| 2019 | GECCO | The quest for non-functional property optimisation in heterogeneous and fragmented ecosystems: a distributed approach. | Mahmoud A. Bokhari, Markus Wagner, Brad Alexander |
| 2018 | Mobiquitous | In-vivo and offline optimisation of energy use in the presence of small energy signals: A case study on a popular Android library. | Mahmoud A. Bokhari, Bradley Alexander, Markus Wagner |
| 2017 | GECCO | Deep parameter optimisation on Android smartphones for energy minimisation: a tale of woe and a proof-of-concept. | Mahmoud A. Bokhari, Bobby R. Bruce, Bradley Alexander, Markus Wagner |
| 2016 | GECCO | Optimising Energy Consumption Heuristically on Android Mobile Phones. | Mahmoud A. Bokhari, Markus Wagner |
| 2015 | GECCO | Improving Test Coverage of Formal Verification Systems via Beam Search. | Mahmoud A. Bokhari, Markus Wagner |
| 2015 | SSBSE | An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. | Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner |