Waheed Ahmad
Orcid: 0000-0001-6749-9799
According to our database1,
Waheed Ahmad
authored at least 9 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Computationally efficient optimal control analysis for the mathematical model of Coronavirus pandemic.
Expert Syst. Appl., December, 2023
2019
Intelligent hepatitis diagnosis using adaptive neuro-fuzzy inference system and information gain method.
Soft Comput., 2019
2018
Soft Comput., 2018
2016
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016
2015
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
2014
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2012
Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012