Ji Ma

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 1

Top Topics

Search Algorithm

Similar Problems

Computational Cost

Top Venues

Comput. Math. Appl.

Publications

Ji Ma, Wen Chen, Chuanzeng Zhang, Ji Lin
Meshless simulation of anti-plane crack problems by the method of fundamental solutions using the crack Green's function. Comput. Math. Appl. 79 (5) (2020)
Ji Ma, Mehmet A. Orgun, Kamel Adi
An analytic tableau calculus for a temporalised belief logic. J. Appl. Log. 9 (4) (2011)
Ji Ma, Mehmet A. Orgun, Abdul Sattar
Theories of Trust for Communication Protocols. ATC (2009)
Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops (2009)
Ji Ma, Mehmet A. Orgun, Abdul Sattar
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. IEEE Trans. Syst. Man Cybern. Part B 39 (4) (2009)
Ji Ma, Mehmet A. Orgun
Formalising theories of trust for authentication protocols. Inf. Syst. Frontiers 10 (1) (2008)
Ji Ma, Mehmet A. Orgun
Analytic Tableaux for Verifying Agent Beliefs. Web Intelligence/IAT Workshops (2008)
Ji Ma, Mehmet A. Orgun
Specifying Agent Beliefs for Authentication Systems. ECUMN (2007)
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC (2006)
Ji Ma, Mehmet A. Orgun
Trust management and trust theory revision. IEEE Trans. Syst. Man Cybern. Part A 36 (3) (2006)
Ji Ma, Mehmet A. Orgun
Managing Theories of Trust in Agent Based Systems. ISCIS (2005)