Awais Qasim

Orcid: 0000-0001-8677-9569

According to our database1, Awais Qasim authored at least 8 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
SMACS: A framework for formal verification of complex adaptive systems.
Open Comput. Sci., 2023

2021
Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform.
Appl. Comput. Syst., 2021

QoS Based Optimal Resource Allocation and Workload Balancing for Fog Enabled IoT.
Open Comput. Sci., 2021

2020
Efficient Performative Actions for E-Commerce Agents.
Appl. Comput. Syst., 2020

Design and Development of AI-Based Tourist Facilitator and Information Agent.
Appl. Comput. Syst., 2020

Formal modeling and verification of cloud-based web service composition.
Concurr. Comput. Pract. Exp., 2020

2018
A Novel Dual Ultrawideband CPW-Fed Printed Antenna for Internet of Things (IoT) Applications.
Wirel. Commun. Mob. Comput., 2018

2016
MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems.
IEEE Access, 2016


  Loading...