Search the dblp DataBase

Publications of Author

1. Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
   Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
   DASC, 2006, pp:325-332 [Conf]
   
2. Ji Ma, Mehmet A. Orgun
   Specifying Agent Beliefs for Authentication Systems. [Citation Graph (0, 0)][DBLP]
   ECUMN, 2007, pp:410-418 [Conf]
   
3. Ji Ma, Mehmet A. Orgun
   Managing Theories of Trust in Agent Based Systems. [Citation Graph (0, 0)][DBLP]
   ISCIS, 2005, pp:442-451 [Conf]
   
4. Ji Ma, Mehmet A. Orgun
   Trust management and trust theory revision. [Citation Graph (0, 0)][DBLP]
   IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2006, v:36, n:3, pp:451-460 [Journal]
   
5. 
   Theories of Trust for Communication Protocols. [Citation Graph (, )][DBLP]
   
   
6. 
   Analytic Tableaux for Verifying Agent Beliefs. [Citation Graph (, )][DBLP]
   
   
7. 
   Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Project scheduling based on genetic algorithm. [Citation Graph (, )][DBLP]
   
   
9. 
   The University of Hawaii teleoperated robotic surgery system. [Citation Graph (, )][DBLP]
   
   
10. 
    Task evaluations of a compact laparoscopic surgical robot system. [Citation Graph (, )][DBLP]
    
    
11. 
    Effects of Friction Parameters on Completion Times for Sustained Planar Positioning Tasks with a Haptic Interface. [Citation Graph (, )][DBLP]
    
    
12. 
    Control Software Design of A Compact Laparoscopic Surgical Robot System. [Citation Graph (, )][DBLP]