Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Ilyas Fakhir · SciRah

Researcher profile · Semantic Scholar

Ilyas Fakhir

Share profile

Ilyas Fakhir — researcher profile on SciRah

h-index: 4
Works: 11
Citations: 39

Most-cited papers

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
Awais Qasim, Syed Asad Raza Kazmi, Ilyas Fakhir
201515 citations Open access
Semantic Scholar
Executable Semantics for the Formal Specification and Verification of E-agents
Awais Qasim, Syed Asad Raza Kazmi, Ilyas Fakhir
20159 citations Open access
Semantic Scholar
Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System
Ilyas Fakhir, Syed Asad Raza Kazmi, Awais Qasim, Imran Rafique
20165 citations Open access
Semantic Scholar
Structural Analysis Methods for Petri Net based Control Systems: a Review
S. Khan, F. Ahmad, Ilyas Fakhir, M. Ur Rehman +1 more
20134 citations
Semantic Scholar
Blockchain-based reputation model for vehicle platooning with common global goal
Hanaa Nafea, Awais Qasim, Attiya Hussain, Ilyas Fakhir
2025Multiagent and Grid Systems2 citations
Semantic Scholar
Intelligent agent for formal modelling of temporal multi-agent systems
Awais Qasim, Z. Aziz, Syed Asad Raza Kazmi, A. Khalid +2 more
2020International Journal on Smart Sensing and Intelligent Systems2 citations Open access
Semantic Scholar
A Survey on Linear Algebraic Approaches for the Analysis of Petri Net based Models
F. Ahmad, S. Khan, Ilyas Fakhir, Y. Khan
20132 citations
Semantic Scholar
Effective diagnosis of brain tumor classification by using novel DCNN
Ilyas Fakhir, Zeeshan Khalil, Awais Qasim, Umair Khalil
2026Comput. Sci. J. Moldova0 citations Open access
Semantic Scholar
FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM
Ilyas Fakhir, M. Tahir, Asad-Raza Kazmi, Awais Qasim +1 more
20210 citations
Semantic Scholar
Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing
Imran Rafique, Hina Gul, Salman Rafique, Syed Asad Raza Kazmi +2 more
20170 citations Open access
Semantic Scholar
Petri net-based modeling and control of the multi-elevator systems
F. Ahmad, Ilyas Fakhir, S. Khan, Y. Khan
2013Neural computing & applications (Print)0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Awais Qasim×8
Invite
Awais Qasim — researcher profile on SciRah
Syed Asad Raza Kazmi×5
Invite
Syed Asad Raza Kazmi — researcher profile on SciRah
S. Khan×3
Invite
S. Khan — researcher profile on SciRah
F. Ahmad×3
Invite
F. Ahmad — researcher profile on SciRah

×2

Invite

Imran Rafique — researcher profile on SciRah

Invite

Y. Khan — researcher profile on SciRah

M. Ur Rehman×1

Invite

M. Ur Rehman — researcher profile on SciRah

Invite

M. Ullah — researcher profile on SciRah

Invite

Hanaa Nafea — researcher profile on SciRah

Attiya Hussain×1

Invite

Attiya Hussain — researcher profile on SciRah

Invite

Z. Aziz — researcher profile on SciRah

Invite

A. Khalid — researcher profile on SciRah