Automated Theorem Proving using the TPTP Process Instruction Language. - Muhammad Nassar; Geoff Sutcliffe (PAAR@IJCAR, 2014)

Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications. - Muhammad Nassar; Julian Jarrett; Iman Saleh 002; M. Brian Blake (SEKE, 2014)