| 2008 |
|---|
| 10 | EE | Ji Ma,
Mehmet A. Orgun:
Analytic Tableaux for Verifying Agent Beliefs.
Web Intelligence/IAT Workshops 2008: 643-646 |
| 9 | EE | Ji Ma,
Mehmet A. Orgun:
Formalising theories of trust for authentication protocols.
Information Systems Frontiers 10(1): 19-32 (2008) |
| 2007 |
|---|
| 8 | EE | Ji Ma,
Mehmet A. Orgun:
Specifying Agent Beliefs for Authentication Systems.
ECUMN 2007: 410-418 |
| 7 | EE | Peter J. Berkelman,
Ji Ma:
The University of Hawaii teleoperated robotic surgery system.
IROS 2007: 2565-2566 |
| 6 | EE | Ji Ma,
Peter J. Berkelman:
Task evaluations of a compact laparoscopic surgical robot system.
IROS 2007: 398-403 |
| 2006 |
|---|
| 5 | EE | Mehmet A. Orgun,
Ji Ma,
Chuchang Liu,
Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC 2006: 325-332 |
| 4 | EE | Peter J. Berkelman,
Ji Ma:
Effects of Friction Parameters on Completion Times for Sustained Planar Positioning Tasks with a Haptic Interface.
IROS 2006: 1115-1120 |
| 3 | EE | Ji Ma,
Peter J. Berkelman:
Control Software Design of A Compact Laparoscopic Surgical Robot System.
IROS 2006: 2345-2350 |
| 2 | EE | Ji Ma,
Mehmet A. Orgun:
Trust management and trust theory revision.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(3): 451-460 (2006) |
| 2005 |
|---|
| 1 | EE | Ji Ma,
Mehmet A. Orgun:
Managing Theories of Trust in Agent Based Systems.
ISCIS 2005: 442-451 |
