Postgraduate and Honours Students
Current PhD Students
>> Vu Nguyen, (Associate supervisor).
Successful Completions
PhD
>> Abdelraouf Ishtaiwi (2008). Towards Effective Parameter-Free Clause Weighting Local Search for SAT PhD Thesis. Griffith University. Institute for Integrated and Intelligent Systems. (Principal supervisor)
>> Valnir Ferreira Jnr. (2007). Improvements to Clause Weighting
Local Search for
Propositional Satisfiability. PhD Thesis. Griffith University. Institute for Integrated and Intelligent Systems. (Principal supervisor).
- >> Stuart Bain (2007). Evolving Algorithms for Over-Constrained and Satisfaction Problems. PhD Thesis. Griffith University. Institute for Integrated and Intelligent Systems. (Principal Supervisor).
- >> Pham, Duc Nghia (2006). Modelling and Exploiting Structures in
Solving Propositional Satisfiability Problems.
PhD Thesis. Griffith University School of Information and Communication Technology, Gold Coast. (Principal supervisor).
- >> Zhou, Lingzong (2006). Agent Ordering and Nogood Repairs
in Distributed Constraint Solving.
PhD Thesis. Griffith University School of Information and Communication Technology, Gold Coast. (Associate supervisor).
- >> Beaumont, Matthew (2004). Handling Over-Constrained Temporal Constraint Networks.
PhD Thesis. Griffith University. Institute for Integrated and Intelligent Systems. (Associate supervisor).
- >> Cowling, Michael (2004). Non-speech Environmental Sound Classification System for
Autonomous Surveillance. PhD Thesis. Griffith University School of Information Technology, Gold Coast. (Associate supervisor).
- >> Cole, Richard (2000). The Management and Visualisation of Document Collections
using Formal Concept Analysis. PhD Thesis. Griffith University School of Information Technology, Gold Coast. (Associate
supervisor).
MPhil
- >> Moore, Ian (2002). An Intelligent System Archictecture for Knowledge Discovery.
MPhil Thesis. Griffith University School of Information Technology, Gold Coast. (Associate supervisor).
Masters
- >> Tilley, Linda (2005). Using Kinetic Occlusion in Spatiotemporal Boundary Formation.
Masters Thesis. Griffith University School of Information Technology, Gold Coast. (Principal supervisor).
- >> Ishtaiwi, Abdelraouf (2001). Tabu Search in Binary Constraint Satisfaction Problems.
Masters Thesis. Griffith University School of Computing and Information Technology. (Associate supervisor).
Honours
- >> Leonard, Joe (2003). Intercepting a Moving Target - An Ecological Perspective.
Honours Thesis (First Class). Griffith University School of Information Technology, Gold Coast. (Principal supervisor).
- >> Dokter, Jeremy (2003). Applying Ecological Principles to Vision Smoothing.
Honours Thesis (First Class). Griffith University School of Information Technology, Gold Coast. (Principal supervisor).
- >> Pham, Duc Nghia (2002). Applying Weight Reduction to Binary Constraint
Satisfaction Problems. Honours Thesis (First Class). Griffith University School of Information Technology, Gold Coast.
(Principal supervisor).
- >> Terry, Justin (2002). New Weighting Heuristics for SAT.
Honours Thesis (First Class). Griffith University School of Information Technology, Gold Coast. (Principal supervisor).
- >> Ferreira Jnr., Valnir (2001). A Subsumption Architecture for Robotic Soccer.
Honours Thesis (First Class). Griffith University School of Information Technology, Gold Coast. (Principal supervisor).
