Waheed Ahmad

11 papers C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analyzing optimal control techniques in a nonlinear fractional Rubella model with the Atangana-Baleanu derivative.
Comput. Biol. Medicine
Waheed Ahmad, M. A. Nazir, Muhammad Rafiq, Azhar Iqbal Kashif Butt, Naeed Ahmad, M. Hussain
2025 J jnl
Computational Orthodontic Force Simulation: A Review.
CoRR
Waheed Ahmad, Jing Xiong, Zeyang Xia
2023 J jnl
Computationally efficient optimal control analysis for the mathematical model of Coronavirus pandemic.
Expert Syst. Appl.
Azhar Iqbal Kashif Butt, Waheed Ahmad, Muhammad Rafiq, Naeed Ahmad, Muhammad Imran
2019 J jnl
Intelligent hepatitis diagnosis using adaptive neuro-fuzzy inference system and information gain method.
Soft Comput.
Waheed Ahmad, Ayaz Ahmad, Amjad Iqbal, Muhammad Hamayun, Anwar Hussain, Gauhar Rehman, Salman Khan, Ubaid Ullah Khan, Dawar Khan, Lican Huang
2018 J jnl
A novel hybrid decision support system for thyroid disease forecasting.
Soft Comput.
Waheed Ahmad, Ayaz Ahmad, Chuncheng Lu, Barkat Ali Khoso, Lican Huang
2016 — conf
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.
CyPhy
Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
2016 — conf
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata.
ACSD
Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
2016 — conf
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.
ISoLA (1)
Waheed Ahmad, Jaco van de Pol
2015 C conf
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.
DSD
Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2014 — conf
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.
ACSD
Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2012 C conf
Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line.
INDIN
Waheed Ahmad, Andrei Lobov, Jose L. Martinez Lastra