Managing Theories of Trust in Agent Based Systems. - Ji Ma 001; Mehmet A. Orgun (ISCIS, 2005)

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. - Mehmet A. Orgun; Ji Ma 001; Chuchang Liu; Guido Governatori (DASC, 2006)

Trust management and trust theory revision. - Ji Ma 001; Mehmet A. Orgun (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Specifying Agent Beliefs for Authentication Systems. - Ji Ma 001; Mehmet A. Orgun (ECUMN, 2007)

Analytic Tableaux for Verifying Agent Beliefs. - Ji Ma 001; Mehmet A. Orgun (Web Intelligence/IAT Workshops, 2008)

Formalising theories of trust for authentication protocols. - Ji Ma 001; Mehmet A. Orgun (Inf. Syst. Frontiers, 2008)

Theories of Trust for Communication Protocols. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001 (ATC, 2009)

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001; Kamel Adi (Web Intelligence/IAT Workshops, 2009)

Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001 (IEEE Trans. Syst. Man Cybern. Part B, 2009)

An analytic tableau calculus for a temporalised belief logic. - Ji Ma 001; Mehmet A. Orgun; Kamel Adi (J. Appl. Log., 2011)

A robust kernel-based solver for variable-order time fractional PDEs under 2D/3D irregular domains. - Zhuo-Jia Fu; Sergiy Yu. Reutskiy; Hongguang Sun; Ji Ma 001; Mushtaq Ahmad Khan (Appl. Math. Lett., 2019)

Meshless simulation of anti-plane crack problems by the method of fundamental solutions using the crack Green's function. - Ji Ma 001; Wen Chen 003; Chuanzeng Zhang; Ji Lin 001 (Comput. Math. Appl., 2020)