Computer Science
Sahiwal
Campus
|
Saba Latif,
Hamra Afzaal,
Nazir Ahmad Zafar''Intelligent traffic monitoring and guidance system for smart city'',.
|
Computer Science
Sahiwal
Campus
|
Saba Latif,
Hamra Afzaal,
Nazir Ahmad Zafar''Modelling of Graph-based Smart Parking System using Internet of Things'',2018.
|
Computer Science
Sahiwal
Campus
|
Saba Latif,
Hamra Afzaal,
Nazir Ahmad Zafar''Deterministic Formal Modeling of Smart Lightening System using Internet of Things'',2018.
|
Computer Science
Sahiwal
Campus
|
Marrium Khalid,
Hamra Afzaal,
Nazir Ahmad Zafar''Automated UML-based Formal Model of E-Health System'',2019.
|
Computer Science
Sahiwal
Campus
|
Muhammad Rashid,
Nazir Ahmad Zafar,
Hamra Afzaal''Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain'',2024.
|
Computer Science
Sahiwal
Campus
|
Muhammad Rashid,
Nazir Ahmad Zafar,
Hamra Afzaal''Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain'',2023.
|
Computer Science
Sahiwal
Campus
|
Hamra Afzaal,
Muhammad Imran,
Muhammad Umar Janjua''Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol'',2022.
|
Computer Science
Sahiwal
Campus
|
Hamra Afzaal,
Muhammad Imran,
Muhammad Umar Janjua''Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol'',2022.
|
Mathematics
Wah
Campus
|
A. Nutini,
A. Sohail,
S. Farwa''Biomedical Engineering of Sclerostin Action in the Bone Remodeling'',2021.
|
Mathematics
Wah
Campus
|
S. Farwa, M. Kamran,
S. Sarwar, M. Kazmi,
H. Ahmad, K. A. Gepreel''A study of bipolar fuzzy parameterized soft sets and their application in decision making'',2021.
|
Mathematics
Wah
Campus
|
A. Sohail, S. Farwa ,
Z. Li,
M. Noor, S. Akbar''Neural Network Forecasting of the Flow Regimens of Viscous Fluids in a 3D Reactor'',2021.
|
Center of Islamic Finance
Lahore
Campus
|
Rahman, S.,
Afzal, H.,
Ali, I.''Stress in Banker’s Life: Demands- Control Model as Predictors of Employee’s Activity Participation'',2010.
|
Center of Islamic Finance
Lahore
Campus
|
Akhter, W.,
Abbasi, A. S.,
Umer, S.''Ethical Issues in Advertising in Pakistan: An Islamic Perspective'',2011.
|
Mathematics
Wah
Campus
|
M. Rafiq, M. A. Noor, S. Farwa ,
M. Kamran, F. Saeed, K. A. Gepreel,
S. W. Yao, H. Ahmad''Series solution to fractional contact problem using Caputo's derivative'',2021.
|
Mathematics
Wah
Campus
|
R. A. Naqvi,
M. Irfan,
S. Farwa''Mode Shift Behavior of Commuters Toward Islamabad Metro Bus Service'',2022.
|