Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line. - Waheed Ahmad; Andrei Lobov; Jose L. Martinez Lastra (INDIN, 2012)

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. - Waheed Ahmad; Robert de Groote; Philip K. F. Hölzenspies; Mariëlle Stoelinga; Jaco van de Pol (ACSD, 2014)

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. - Waheed Ahmad; Philip K. F. Hölzenspies; Mariëlle Stoelinga; Jaco van de Pol (DSD, 2015)

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. - Waheed Ahmad; Marijn R. Jongerden; Mariëlle Stoelinga; Jaco van de Pol (ACSD, 2016)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. - Waheed Ahmad; Bugra M. Yildiz; Arend Rensink; Mariëlle Stoelinga (CyPhy, 2016)

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. - Waheed Ahmad; Jaco van de Pol (ISoLA (1), 2016)

A novel hybrid decision support system for thyroid disease forecasting. - Waheed Ahmad; Ayaz Ahmad; Chuncheng Lu; Barkat Ali Khoso; Lican Huang (Soft Comput., 2018)

Intelligent hepatitis diagnosis using adaptive neuro-fuzzy inference system and information gain method. - Waheed Ahmad; Ayaz Ahmad; Amjad Iqbal; Muhammad Hamayun; Anwar Hussain; Gauhar Rehman; Salman Khan 005; Ubaid Ullah Khan; Dawar Khan; Lican Huang (Soft Comput., 2019)

Computationally efficient optimal control analysis for the mathematical model of Coronavirus pandemic. - Azhar Iqbal Kashif Butt; Waheed Ahmad; Muhammad Rafiq 001; Naeed Ahmad; Muhammad Imran (Expert Syst. Appl., 2023)

Computational Orthodontic Force Simulation: A Review. - Waheed Ahmad; Jing Xiong; Zeyang Xia (CoRR, 2025)