First step towards a domain specific language for self-adaptive systems. - Manzoor Ahmad (NOTERE, 2010)

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. - Manzoor Ahmad; Jean-Michel Bruel; Régine Laleau; Christophe Gnaho (ANT/MobiWIS, 2012)

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. - Manzoor Ahmad; Iulia Dragomir; Jean-Michel Bruel; Iulian Ober; Nicolas Belloir (SIMULTECH, 2013)

Modeling and verification of functional and non functional requirements of ambient, self adaptative systems. (Modélisation et vérification des exigences fonctionnelles et non fonctionnelles des systèmes ambiants auto-adaptatifs). - Manzoor Ahmad (2013)

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. - Nicolas Belloir; Vanea Chiprianov; Manzoor Ahmad; Manuel Munier; Laurent Gallon; Jean-Michel Bruel (ECSA Workshops, 2014)

Flow of a Burger's Fluid in a Channel Induced by Peristaltic Compliant Walls. - Iftikhar Ahmad; Nasir Ali; Aamar Abbasi; Wajid Aziz; Muzamil Hussain; Manzoor Ahmad; Moeen Taj; Qamar Zaman (J. Appl. Math., 2014)

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. - Manzoor Ahmad; Nicolas Belloir; Jean-Michel Bruel (J. Syst. Softw., 2015)

A Hybrid Genetic Based on Harmony Search Method to Schedule Electric Tasks in Smart Home. - Manzoor Ahmad; Asif Khan 006; Zunaira Nadeem; Anila Yasmeen; Iqra Fatima; Saman Zahoor; Nadeem Javaid (3PGCIC, 2017)

Balancing Demand and Supply of Energy for Smart Homes. - Saqib Kazmi; Hafiz Majid Hussain; Asif Khan 006; Manzoor Ahmad; Umar Qasim; Zahoor Ali Khan; Nadeem Javaid (CISIS, 2017)

Application of Bird Swarm Algorithm for Solution of Optimal Power Flow Problems. - Manzoor Ahmad; Nadeem Javaid; Iftikhar Azim Niaz; Sundas Shafiq; Obaid Ur Rehman 004; Hafiz Majid Hussain (CISIS, 2018)

How to handle environmental uncertainty in goal-based requirements engineering. - Manzoor Ahmad; Christophe Gnaho; Jean-Michel Bruel; Régine Laleau (ICSE (Companion Volume), 2018)

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. - Manzoor Ahmad; Christophe Gnaho; Jean-Michel Bruel; Régine Laleau (MEDI Workshops, 2018)

Statically Optimal Binary Search Tree Computation Using Non-Serial Polyadic Dynamic Programming on GPU's. - Mohsin Altaf Wani; Manzoor Ahmad (Int. J. Grid High Perform. Comput., 2019)

Analysis of Coupled System of Implicit Fractional Differential Equations Involving Katugampola-Caputo Fractional Derivative. - Manzoor Ahmad; Jiqiang Jiang; Akbar Zada; Syed Omar Shah; Jiafa Xu (Complex., 2020)

A Bio-Inspired Heuristic Algorithm for Solving Optimal Power Flow Problem in Hybrid Power System. - Manzoor Ahmad; Nadeem Javaid; Iftikhar Azim Niaz; Ahmad Almogren; Ayman Radwan (IEEE Access, 2021)

A Cost-Effective Optimization for Scheduling of Household Appliances and Energy Resources. - Manzoor Ahmad; Nadeem Javaid; Iftikhar Azim Niaz; Ahmad Almogren; Ayman Radwan (IEEE Access, 2021)

Comparison of Mueller matrix differential decomposition and transformation. - Muaz Iqbal; Shamim Khan; Banat Gul; Manzoor Ahmad; Iftikhar Ahmad 009 (Biomed. Signal Process. Control., 2021)

An Orthogonal Learning Bird Swarm Algorithm for Optimal Power Flow Problems. - Manzoor Ahmad; Nadeem Javaid; Iftikhar Azim Niaz; Ijaz Ahmed; Muhammad Adnan Hashmi (IEEE Access, 2023)

Exploring the anti-diabetic potential of bis-Schiff base derivatives of benzimidazole: In-Vitro α-amylase, α-glucosidase inhibition, molecular docking, ADMET and DFT studies. - Hamid Ullah; Aftab Alam; Ahmed A. Elhenawy; Imtiaz Ahmad; Abdul Latif; Mumtaz Ali; Manzoor Ahmad (Comput. Biol. Chem., 2025)