← Back to Researchers
Researcher Profile

Prof. Dr. Atif Chatha

Professor

Status: Active

Prof. Dr. Atif Chatha

Prof. Dr. Atif Chatha

Professor

  • Status: Active
ResearchGate Google Scholar Scopus ORCID

Research Interests

Research interests are not available yet.

Biography

Biography is not available yet.

Year-wise Citations

Citations grouped by publication year from OpenAlex.

OpenAlex

Research Impact

OpenAlex metrics connected to the researcher's ORCID iD. Last synced Jun 03, 2026 11:32 PM.

OpenAlex
Total Publications 52
Total Citations 207
h-index 6
i10-index 5

Recent Publications

52 publications - Page 3 of 6

OpenAlex
  1. M. Atif and J. F. Groote, "Communicating Processes,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_3.
    0
  2. M. Atif and J. F. Groote, "Data Types and Data-Dependent Behaviour,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_5.
    0
  3. M. Atif and J. F. Groote, "Introducing mCRL2,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_1.
    0
  4. M. Atif and J. F. Groote, "Linear Processes and Parameterised BESs,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_8.
    0
  5. M. Atif and J. F. Groote, "Model-Checking,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_6.
    0
  6. M. Atif and J. F. Groote, "The Modal $$\mu $$-Calculus,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_7.
    0
  7. M. Atif and J. F. Groote, "Understanding Behaviour of Distributed Systems Using mCRL2,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0.
    6
    Open Access
  8. S. Hafeez, M. Atif, and M. Naseer, "Formal Specification and Verification of Distributed Denial of Service (DDoS),", VAWKUM Transactions on Computer Sciences, 2022, doi: 10.21015/vtcs.v10i2.1355.
    1
    Open Access
  9. W. U. Nisa, M. Naseer, M. Atif, S. M. Akhtar, and M. U. Nisa, "Performance Prediction for Undergraduate Degree Programs Using Machine Learning Techniques - A Preliminary Review,", VAWKUM Transactions on Computer Sciences, 2022, doi: 10.21015/vtcs.v10i2.1278.
    0
    Open Access
  10. S. M. Akhtar, M. Nazir, A. Ali, A. S. Khan, M. Atif, and M. Naseer, "A Systematic Literature Review on Software- refactoring Techniques, Challenges, and Practices,", VFAST Transactions on Software Engineering, 2022, doi: 10.21015/vtse.v10i4.1275.
    4
    Open Access