Kevin McDonald

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2018
Augmented Reality for Multi-agent Simulation of Air Operations.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

2017
Layered graph logic as an assertion language for access control policy models.
J. Log. Comput., 2017

Erratum to: A substructural logic for layered graphs.
J. Log. Comput., 2017

2015
Software Engineering Multi-Agent Simulations for Computational Operations Research: Challenges and Lessons from 20 Years of Practice.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
Modelling multi-layered network and security architectures using mathematical logic.
PhD thesis, 2014

A substructural logic for layered graphs.
J. Log. Comput., 2014

2007
Towards digital facility modelling for Sydney opera house using IFC and semantic web technology.
J. Inf. Technol. Constr., 2007

2004

2000
An evaluation of space-filling information visualizations for depicting hierarchical structures.
Int. J. Hum. Comput. Stud., 2000


  Loading...