output
20052024
most citedA New Model of Quintessence Compact Stars in Rastall Theory of Gravity

93 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2015Show all

3 papers · 1 filter

physics.gen-ph2015★ 10 cited

Gravitational Collapse and Expansion of Charged Anisotropic Cylindrical Source

T. Mahmood, S. M. Shah, G. Abbas

In this paper, we have discussed the gravitational collapse and expansion of charged anisotropic cylindrically symmetric gravitating source. To this end, the generating solutions o…

cs.SE2015★ 2 cited

Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY

Nadeem Akhtar

One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynam…

cs.PL2015

KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents

Nadeem Akhtar, Anique Akhtar

The analysis, design and development of a graphical programming IDE for mini-robotic agents allows novice users to program robotic agents by a graphical drag and drop interface, wi…