Prof. Dr. Atif Chatha
Professor
Research Interests
Research interests are not available yet.
Biography
Biography is not available yet.
Year-wise Citations
Citations grouped by publication year from OpenAlex.
Research Impact
OpenAlex metrics connected to the researcher's ORCID iD. Last synced Sep 15, 2026 3:35 PM.
Total Publications
54
Total Citations
224
h-index
6
i10-index
5
Recent Publications
54 publications - Page 3 of 6
-
M. Atif and J. F. Groote, "Automata to Represent Behaviour,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_2.
-
M. Atif and J. F. Groote, "Behavioural Equivalences,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_4.
-
M. Atif and J. F. Groote, "Communicating Processes,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_3.
-
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.
-
M. Atif and J. F. Groote, "Introducing mCRL2,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-0_1.
-
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.
-
M. Atif and J. F. Groote, "Model-Checking,", Studies in systems, decision and control, 2023, doi: 10.1007/978-3-031-23008-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.
-
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.
-
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.