Macquarie Home | Course Handbook | Library | Campus Map | Macquarie Contacts
Home page

Macquarie University ResearchOnline

Home -List Of Titles
List View List View   Icon View Icon View

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Title Author/Creator Date Full Text Reviewed
Add Analysis of authentication protocols in agent-based systems using labeled tableaux Ma, Ji; Orgun, Mehmet A; Sattar, Abdul 2009 Full Text Reviewed
Add Temporalised epistemic logic for reasoning about agent-based systems Ma, Ji; Orgun, Mehmet A; Sattar, Abdul; Adi, Kamel 2009 Full Text Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last
Author/Creator
  • Adi, Kamel (1)
Subject Keyword
  • 080203 Computational Logic and Formal Languages (1)
  • agent-based systems (1)
  • authentication protocols (1)
  • labeled tableaux (1)
  • temporal belief logic (1)
  • trust theory (1)
Resource Type
  • conference paper (1)
  • journal article (1)
  • Show All  
  • Show My Selections 
Advanced Search

Search

Ma, Ji
Sattar, Abdul
Orgun, Mehmet A

Browse

  • By Title 
  • By Author/Creator 
  • By Department/Centre 
  • By Subject Keyword 
  • By Journal/Conference 
  • By FoR/RFCD codes 
  • By Resource Type 
  • By Date 

Highlights

  • Most Accessed Objects 
  • Recent Additions 
  • Pending Publications 
  • Author Profiles 

Resources

  • About ResearchOnline 
  • FAQ 
  • Open Access 
  • Open Access-FAQs 
  • Copyright 
  • Contribute 
  • Help 
  • Contact
  • Terms and Conditions 
Valid XHTML 1.0 Strict Powered by VITAL

Copyright Macquarie University | Privacy Statement | Accessibility Information

ABN 90 952 801 237 | CRICOS Provider No 00002J
Library Staff Sign In