 | 2012 |
|---|
| 25 |       | Ji Ma,
David Murphy,
Cian O'Mathuna,
Michael Hayes,
Gregory Provan:
Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids.
GRAPP/IVAPP 2012: 751-754 |
| 2011 |
|---|
| 24 |  | Ji Ma,
David Murphy,
Cian O'Mathuna,
Michael Hayes,
Gregory Provan:
Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms.
TPCG 2011: 71-72 |
| 23 | | Lihui Wang,
Ji Ma,
Hsi-Yung Feng:
Web-DPP: towards job-shop machining process planning and monitoring.
IJMR 6(4): 337-353 (2011) |
| 22 | | Ji Ma,
Mehmet A. Orgun,
Kamel Adi:
An analytic tableau calculus for a temporalised belief logic.
J. Applied Logic 9(4): 289-304 (2011) |
| 21 | | Klaus-Dieter Schewe,
Karoly Bosa,
Harald Lampesberger,
Ji Ma,
Mariam Rady,
Boris Vleju:
Challenges in Cloud Computing.
Scalable Computing: Practice and Experience 12(4): (2011) |
| 2010 |
|---|
| 20 | | Ji Ma,
Hsi-Yung Feng,
Lihui Wang:
Delaunay-based triangular surface reconstruction from points via Umbrella Facet Matching.
CASE 2010: 580-585 |
| 19 | | Ji Ma,
Kamel Adi,
Luigi Logrippo,
Serge Mankovski:
Risk management in dynamic role based access control systems.
ICDIM 2010: 1-8 |
| 18 | | Ji Ma,
Kamel Adi,
Mohamed Mejri,
Luigi Logrippo:
Risk analysis in access control systems.
PST 2010: 160-166 |
| 17 | | Ji Ma,
Luigi Logrippo,
Kamel Adi,
Serge Mankovski:
Risk Analysis in Access Control Systems Based on Trust Theories.
Web Intelligence/IAT Workshops 2010: 415-418 |
| 16 | | Lihui Wang,
Ningxu Cai,
Hsi-Yung Feng,
Ji Ma:
ASP: An Adaptive Setup Planning Approach for Dynamic Machine Assignments.
IEEE T. Automation Science and Engineering 7(1): 2-14 (2010) |
| 2009 |
|---|
| 15 | | Ji Ma,
Mehmet A. Orgun,
Abdul Sattar:
Theories of Trust for Communication Protocols.
ATC 2009: 236-248 |
| 14 | | Ji Ma:
Project scheduling based on genetic algorithm.
GrC 2009: 434-439 |
| 13 | | 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 |
| 12 | | Peter J. Berkelman,
Ji Ma:
A Compact Modular Teleoperated Robotic System for Laparoscopic Surgery.
I. J. Robotic Res. 28(9): 1198-1215 (2009) |
| 11 | | Ji Ma,
Mehmet A. Orgun,
Abdul Sattar:
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 39(4): 889-900 (2009) |
| 2008 |
|---|
| 10 | | Ji Ma,
Mehmet A. Orgun:
Analytic Tableaux for Verifying Agent Beliefs.
Web Intelligence/IAT Workshops 2008: 643-646 |
| 9 | | Ji Ma,
Mehmet A. Orgun:
Formalising theories of trust for authentication protocols.
Information Systems Frontiers 10(1): 19-32 (2008) |
| 2007 |
|---|
| 8 | | Ji Ma,
Mehmet A. Orgun:
Specifying Agent Beliefs for Authentication Systems.
ECUMN 2007: 410-418 |
| 7 | | Peter J. Berkelman,
Ji Ma:
The University of Hawaii teleoperated robotic surgery system.
IROS 2007: 2565-2566 |
| 6 | | Ji Ma,
Peter J. Berkelman:
Task evaluations of a compact laparoscopic surgical robot system.
IROS 2007: 398-403 |
| 2006 |
|---|
| 5 | | Mehmet A. Orgun,
Ji Ma,
Chuchang Liu,
Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC 2006: 325-332 |
| 4 | | 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 | | Ji Ma,
Peter J. Berkelman:
Control Software Design of A Compact Laparoscopic Surgical Robot System.
IROS 2006: 2345-2350 |
| 2 | | 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 | | Ji Ma,
Mehmet A. Orgun:
Managing Theories of Trust in Agent Based Systems.
ISCIS 2005: 442-451 |
Data released under the ODC-BY 1.0 license — See also our legal information page