2010/01: M. Winikoff. Assurance of agent systems: What role should formal verification play?. Abstract | Download (296 KB)

2010/02: S.-P. Yong and J. D. Deng and M. K. Purvis. Modelling semantic context for novelty detection in wildlife scenes. Abstract | Download (3.4 MB) (Corrected version uploaded 2010-05-04.)

2010/03: B. T. R. Savarimuthu and S. Cranefield and M. A. Purvis and M. K. Purvis. Norm identification in multi-agent societies. Abstract | Download (562 KB)

2010/04: R. M. Withanawasam and P. A. Whigham and T. Crack and I. M. Premachandra. An empirical investigation of the Maslov limit order market model. Abstract | Download (832 KB)