Ji Ma

According to our database, Ji Ma authored at least 11 papers between 2005 and 2020.

Collaborative distances:

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

2020

Meshless simulation of anti-plane crack problems by the method of fundamental solutions using the crack Green's function.

Ji Ma, Wen Chen, Chuanzeng Zhang, Ji Lin

Comput. Math. Appl., 2020

2011

An analytic tableau calculus for a temporalised belief logic.

Ji Ma, Mehmet A. Orgun, Kamel Adi

J. Appl. Log., 2011

2009

Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.

Ji Ma, Mehmet A. Orgun, Abdul Sattar

IEEE Trans. Syst. Man Cybern. Part B, 2009

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.

Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Theories of Trust for Communication Protocols.

Ji Ma, Mehmet A. Orgun, Abdul Sattar

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008

Formalising theories of trust for authentication protocols.

Ji Ma, Mehmet A. Orgun

Inf. Syst. Frontiers, 2008

Analytic Tableaux for Verifying Agent Beliefs.

Ji Ma, Mehmet A. Orgun

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

Specifying Agent Beliefs for Authentication Systems.

Ji Ma, Mehmet A. Orgun

Proceedings of the Fourth European Conference on Universal Multiservice Networks (ECUMN 2007), 2007

2006

Trust management and trust theory revision.

Ji Ma, Mehmet A. Orgun

IEEE Trans. Syst. Man Cybern. Part A, 2006

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.

Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori

Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

2005

Managing Theories of Trust in Agent Based Systems.

Ji Ma, Mehmet A. Orgun

Proceedings of the Computer and Information Sciences, 2005