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

Syed Asad Raza Kazmi · SciRah

Researcher profile · Semantic Scholar

Syed Asad Raza Kazmi

Share profile

Syed Asad Raza Kazmi — researcher profile on SciRah

h-index: 6
Works: 20
Citations: 115

Most-cited papers

MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems
Awais Qasim, Syed Asad Raza Kazmi
2016IEEE Access19 citations Open access
Semantic Scholar
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
Synthesis of Symmetric Bridged Bis-Pyrazolone Based Metal Complex Acid Dyes and their Applications on Leather
M. Ayaz, F. Ali, A. Saeed, Asma Khurshid +4 more
2018Journal of Fluorescence12 citations
Semantic Scholar
Formal Specification and Verification of Self-Adaptive Concurrent Systems
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi
2018IEEE Access9 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
Treatment of dairy buffaloes naturally infected with sarcoptic mange
Syed Asad Raza Kazmi, A. Maqbool, Muhammad Tariq Tonio, A. Naureen +2 more
2009Journal of Parasitic Diseases7 citations Open access
Semantic Scholar
Recognition of static gestures using correlation and cross-correlation
Shazia Saqib, Syed Asad Raza Kazmi
2018International Journal of Advances in Applied Sciences6 citations Open access
Semantic Scholar
Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method
Shazia Saqib, Syed Asad Raza Kazmi
2018Entropy6 citations Open access
Semantic Scholar
Repository of Static and Dynamic Signs
Shazia Saqib, Syed Asad Raza Kazmi
20176 citations Open access
Semantic Scholar
Intelligent Cloud Based Load Balancing System Empowered with Fuzzy Logic
A. Khan, Syed Asad Raza Kazmi, A. Atta, M. F. Mushtaq +5 more
2021Computers Materials & Continua5 citations Open access
Semantic Scholar
Modeling and Verification of Payment System in E-Banking
Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim
20175 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
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
Salman Haider, Syed Asad Raza Kazmi
2020arXiv.org3 citations
Semantic Scholar
Handling temporal constraints in interaction protocols for intelligent multi-agent systems
Awais Qasim, Sobia Iqbal, Z. Aziz, Syed Asad Raza Kazmi +3 more
2020International Journal on Smart Sensing and Intelligent Systems3 citations Open access
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
Automatic Sign Language Recognition: Performance Comparison of Word based Approach with Spelling based Approach
Shazia Saqib, Syed Asad Raza Kazmi, K. Masood, Saleh A. Alrashed
20181 citations Open access
Semantic Scholar
Temporal Modelling and Verification of Multi-Robot Concurrent Activities
Syed Asad Raza Kazmi, Ayesha Naeem, Awais Qasim
20171 citations Open access
Semantic Scholar
Intuitionistic Linear-time µ-Calculus
Syed Asad Raza Kazmi
20081 citations
Semantic Scholar
Formal Modelling and Verification of the Operational Modes of Pacemaker
Syed Asad Raza Kazmi, Sana Abubakkar, Awais Qasim, S. H. Kazmi +1 more
20170 citations Open access
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

Frequent co-authors

Invite them to SciRah by sharing their profile.

Awais Qasim×11
Invite
Awais Qasim — researcher profile on SciRah
Ilyas Fakhir×5
Invite
Ilyas Fakhir — researcher profile on SciRah
Shazia Saqib×4
Invite
Shazia Saqib — researcher profile on SciRah
Imran Rafique×2
Invite
Imran Rafique — researcher profile on SciRah

×2

Invite

Z. Aziz — researcher profile on SciRah

Invite

M. Ayaz — researcher profile on SciRah

Invite

F. Ali — researcher profile on SciRah

Invite

A. Saeed — researcher profile on SciRah

Asma Khurshid×1

Invite

Asma Khurshid — researcher profile on SciRah

Invite

G. Shabir — researcher profile on SciRah

Tanveer Ahmad×1

Invite

Tanveer Ahmad — researcher profile on SciRah

Invite

H. Khan — researcher profile on SciRah