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 - 3 of 3.

Add to Quick Collection   All 3 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort By Title:  Ascending | Descending
Image Thumbnail

Add Temporalised epistemic logic for reasoning about agent-based systems

Image Thumbnail

Add Two approaches to iterated belief contraction

Image Thumbnail

Add Using probabilistic Kleene algebra pKA for protocol verification

  • First
  • Previous
  • 1
  • Next
  • Last
Author/Creator
  • Orgun, Mehmet A (2)
  • Adi, Kamel (1)
  • Cohen, E (1)
  • Gonzalia, C (1)
  • Ma, Ji (1)
  • McIver, A. K (1)
  • Morgan, C. C (1)
  • Nayak, Abhaya C (1)
  • Ramachandran, Raghav (1)
  • Sattar, Abdul (1)
Subject Keyword
  • Kleene algebra (1)
  • probabilistic systems (1)
  • probabilistic verification (1)
Resource Type
  • conference paper (2)
  • journal article (1)
  • Show All  
  • Show My Selections 
Advanced Search

Search

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