Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ji Ma 0001

> Home > Persons

Person information

affiliation: Macquarie University, Sydney, Australia

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cma/MaCZL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cma/MaCZL20
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): 1543-1560 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/MaOA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/MaOA11
Ji Ma, Mehmet A. Orgun, Kamel Adi:
An analytic tableau calculus for a temporalised belief logic. J. Appl. Log. 9(4): 289-304 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/MaOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/MaOS09
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): 889-900 (2009)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/MaOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/MaOS09
Ji Ma, Mehmet A. Orgun, Abdul Sattar:
Theories of Trust for Communication Protocols. ATC 2009: 236-248
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/MaOSA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/MaOSA09
Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi:
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops 2009: 474-477
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/MaO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/MaO08
Ji Ma, Mehmet A. Orgun:
Formalising theories of trust for authentication protocols. Inf. Syst. Frontiers 10(1): 19-32 (2008)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/MaO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/MaO08
Ji Ma, Mehmet A. Orgun:
Analytic Tableaux for Verifying Agent Beliefs. Web Intelligence/IAT Workshops 2008: 643-646
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecumn/MaO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecumn/MaO07
Ji Ma, Mehmet A. Orgun:
Specifying Agent Beliefs for Authentication Systems. ECUMN 2007: 410-418
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/MaO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/MaO06
Ji Ma, Mehmet A. Orgun:
Trust management and trust theory revision. IEEE Trans. Syst. Man Cybern. Part A 36(3): 451-460 (2006)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/OrgunMLG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/OrgunMLG06
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC 2006: 325-332
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iscis/MaO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscis/MaO05
Ji Ma, Mehmet A. Orgun:
Managing Theories of Trust in Agent Based Systems. ISCIS 2005: 442-451

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.