Muhammad Nassar

According to our database, Muhammad Nassar authored at least 2 papers in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications.

Muhammad Nassar, Julian Jarrett, Iman Saleh, M. Brian Blake

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Automated Theorem Proving using the TPTP Process Instruction Language.

Muhammad Nassar, Geoff Sutcliffe

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014