Ji Ma

12 papers C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Meshless simulation of anti-plane crack problems by the method of fundamental solutions using the crack Green's function.
Comput. Math. Appl.
Ji Ma, Wen Chen, Chuanzeng Zhang, Ji Lin
2019 J jnl
A robust kernel-based solver for variable-order time fractional PDEs under 2D/3D irregular domains.
Appl. Math. Lett.
Zhuo-Jia Fu, Sergiy Yu. Reutskiy, Hongguang Sun, Ji Ma, Mushtaq Ahmad Khan
2011 J jnl
An analytic tableau calculus for a temporalised belief logic.
J. Appl. Log.
Ji Ma, Mehmet A. Orgun, Kamel Adi
2009 J jnl
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.
IEEE Trans. Syst. Man Cybern. Part B
Ji Ma, Mehmet A. Orgun, Abdul Sattar
2009 — conf
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.
Web Intelligence/IAT Workshops
Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
2009 C conf
Theories of Trust for Communication Protocols.
ATC
Ji Ma, Mehmet A. Orgun, Abdul Sattar
2008 — conf
Analytic Tableaux for Verifying Agent Beliefs.
Web Intelligence/IAT Workshops
Ji Ma, Mehmet A. Orgun
2008 J jnl
Formalising theories of trust for authentication protocols.
Inf. Syst. Frontiers
Ji Ma, Mehmet A. Orgun
2007 — conf
Specifying Agent Beliefs for Authentication Systems.
ECUMN
Ji Ma, Mehmet A. Orgun
2006 C conf
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
2006 J jnl
Trust management and trust theory revision.
IEEE Trans. Syst. Man Cybern. Part A
Ji Ma, Mehmet A. Orgun
2005 — conf
Managing Theories of Trust in Agent Based Systems.
ISCIS
Ji Ma, Mehmet A. Orgun