Ji Ma 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mehmet A. Orgun

> Home > Persons > Ji Ma 0001

Publications

2011
[j4]
- view
  - electronic edition via DOI (open access)
  - details & 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)
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

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.