Shahid Ali Murtza

According to our database1, Shahid Ali Murtza authored at least 8 papers between 2018 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving.
CoRR, 2021

2020
Integer cat swarm optimization algorithm for multiobjective integer problems.
Soft Comput., 2020

An Integer Cat Swarm Optimization Approach for Energy and Throughput Efficient MPSoC Design.
Int. J. Comput. Intell. Syst., 2020

2019
On the Formalization of Importance Measures using HOL Theorem Proving.
CoRR, 2019

Scalable, energy-aware system modeling and application-specific reconfiguration of MPSocs with a type-2 fuzzy logic system.
Comput. Electr. Eng., 2019

A Multi-Objective Integer Melody Search Algorithm.
Appl. Artif. Intell., 2019

On the formalization of importance measures using HOL theorem proving.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018
Optimizing energy and throughput for MPSoCs: an integer particle swarm optimization approach.
Computing, 2018


  Loading...