Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Muhammad Atif
Observed names:
Atif, Muhammad,
M. Atif
Institution:
University of Lahore
Observed institutions:
Bahauddin Zakariya University,
University of Lahore,
University of Swat,
National College of Business Administration and Economics,
University of Duisburg-Essen,
Mirpur University of Science and Technology,
Eindhoven University of Technology
show all 7
ORCID:
0000-0002-1755-2018
Observed ORCID:
0000-0002-1755-2018
OpenAlex ID:
A5088010823
On the Image Encryption Algorithm Based on the Chaotic System, DNA Encoding, and Castle
2021
·
Nadeem Iqbal
, Rizwan Ali Naqvi
, et al.
·
IEEE Access
·
71
Novel Internet of Things based approach toward diabetes prediction using deep learning models
2022
·
Anum Naseem
, Raja Habib
, et al.
·
Frontiers in Public Health
·
44
PDF
Blockchain Technology as a Risk Mitigation Tool in Supply Chain
2019
·
Mian Wasim Layaq
, Alexander Goudz
, et al.
·
International Journal of Transportation Engineering and Technology
·
15
PDF
Enhancing Grid-Connected Microgrid Power Dispatch Efficiency Through Bio-Inspired Optimization Algorithms
2024
·
Itrat Fatima
, Jarallah Alqahtani
, et al.
·
IEEE Access
·
13
PDF
The Role of CNN and RNN in the Classification of Audio Music Genres
2022
·
Mohsin Ashraf
, Fazeel Abid
, et al.
·
VFAST Transactions on Software Engineering
·
8
PDF
Understanding Behaviour of Distributed Systems Using mCRL2
2023
·
Muhammad Atif
, Jan Friso Groote
·
Studies in systems, decision and control
·
6
A Systematic Literature Review on Software- refactoring Techniques, Challenges, and Practices
2022
·
Salwa Muhammad Akhtar
, Makia Nazir
, et al.
·
VFAST Transactions on Software Engineering
·
5
PDF
A context-aware multi-agent reasoning based intelligent assistive formalism
2023
·
Shahid Yousaf
, Hafiz Mahfooz Ul Haque
, et al.
·
Internet of Things
·
4
Impact of Shanghai Cooperation Organization on the US Interests in Central Asia
2022
·
Muhammad Atif
, Muhammad Kashif
, et al.
·
PERENNIAL JOURNAL OF HISTORY
·
3
PDF
A Systematic Literature Review on Software- refactoring Techniques, Challenges, and Practices
2022
·
Salwa Muhammad Akhtar
, Makia Nazir
, et al.
·
Research Square
·
3
PDF
Passenger Communication System for Next-Generation Self-Driving Cars: A Buddy
2020
·
M Talha Bin Ahmed Lodhi
, Faisal Riaz
, et al.
·
International Journal of Advanced Computer Science and Applications
·
3
PDF
Thermal analysis and performance investigations of shell and tube heat exchanger using numerical simulations
2023
·
Habibullah
, Muhammad Atif
, et al.
·
Modern Physics Letters B
·
2
Detection and Replay of Distributed Denial of Service Attacks In Smart Cities Using a Hybrid Deep Learning Approach
2023
·
Muhammad Waseem Iqbal
, Ghassan F. Issa
, et al.
·
International Conference on Business Analytics for Technology and Security (ICBATS)
·
2
A Semantic-Based Framework for Verbal Autopsy to Identify the Cause of Maternal Death
2021
·
Muhammad I. A. Durrani
, Tabbasum Naz
, et al.
·
Applied Clinical Informatics
·
2
PDF
On the Cultural Diversity of Multi-National ICT Organizations: A Review Study
2017
·
Sadiah Zafar
, Muhammad Atif
, et al.
·
Indian Journal of Science and Technology
·
2
A Comparative Study on Results of Design Patterns Recovery Tools
2013
·
Ghulam Rasool
, Ijaz Ahmad
, et al.
·
2
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems
2012
·
M. Atif
, M. R. Mousavi
, et al.
·
ACM Symposium on Applied Computing
·
2
Modeling and Analysis of Cooperative Packet Recovery Protocol
2024
·
Muhammad Naeem
, Muhammad Atif
, et al.
·
IEEE Access
·
1
PDF
Formal Specification and Verification of Distributed Denial of Service (DDoS)
2022
·
Sara Hafeez
, Muhammad Atif
, et al.
·
VAWKUM Transactions on Computer Sciences
·
1
PDF
Performance Prediction for Undergraduate Degree Programs Using Machine Learning Techniques - A Preliminary Review
2022
·
Waqar Un Nisa
, Mudasser Naseer
, et al.
·
VAWKUM Transactions on Computer Sciences
·
1
PDF
Formal Verification of Twin Clutch Gear Control
2022
·
Muhammad Zaman
, Muhammad Atif
, et al.
·
VAWKUM Transactions on Computer Sciences
·
1
PDF
The Belt and Road Initiative (BRI) vs. Quadrilateral Security Dialogue (the Quad): A Perspective of a Game Theory
2021
·
Muhammad Atif
·
Journal of Development and Social Sciences
·
1
PDF
Formal Analysis and Verification of Agent-Oriented Supply-Chain Management
2018
·
Muhammad Zubair Shoukat
, Muhammad Atif
, et al.
·
International Journal of Advanced Computer Science and Applications
·
1
PDF
Projection-Aware Synthesis of Falco Runtime Rules: Separating Detection Predicates from Operator Policy: Artifact
2026
·
Silva, Sankey
, Atif, Muhammad
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Projection-Aware Falco Hardening Artifact
2026
·
Silva, Sankey
, Atif, Muhammad
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
45
Citation count:
193
H-index:
6
I10-index:
4
Year
Topic
Type