default search action

combined dblp search
author search
venue search
publication search

ask others

Syed Asad Raza Kazmi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cejcs/FakhirKQI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cejcs/FakhirKQI23
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi, Awais Qasim, Atif Ishaq:
SMACS: A framework for formal verification of complex adaptive systems. Open Comput. Sci. 13(1) (2023)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/KazmiQKAS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/KazmiQKAS20
Syed Asad Raza Kazmi, Awais Qasim, Adnan Khalid, Ruttaba Assad, Muhammad Shahbaz:
Formal modeling and verification of cloud-based web service composition. Concurr. Comput. Pract. Exp. 32(21) (2020)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2001-04249
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-04249
Salman Haider, Syed Asad Raza Kazmi:
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems. CoRR abs/2001.04249 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/FakhirK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/FakhirK18
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi:
Formal Specification and Verification of Self-Adaptive Concurrent Systems. IEEE Access 6: 34790-34803 (2018)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entropy/SaqibK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entropy/SaqibK18
Shazia Saqib, Syed Asad Raza Kazmi:
Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method. Entropy 20(10): 748 (2018)
2016
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/QasimK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/QasimK16
Awais Qasim, Syed Asad Raza Kazmi:
MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems. IEEE Access 4: 4946-4958 (2016)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.