Annual Publication Record

School of Information Technology and Electrical Engineering
Name	Thesis Title	Supervisor	Degree

2006
Mr Karl Bertling	Use of lasers for the cultivation of photosynthetic bacteria	Dr Aleksandar Rakic	MPhil
Mr Yi Chen	Hardware acceleration of security applications using reconfigurable logic circuits	Prof Neil Bergmann	Mphil
Mr Jie Han	Image processing on reconfigurable system-on-chip	Prof Neil Bergmann	MPhil
Mr Wei Seng Alan Ho	Structuring and visualising risk management	Dr Robert Colomb	MPhil
Mr Grant Larcombe	Renewable energy aware protocol design for wireless sensor networks	Dr Mark Schulz	MPhil
Mr Tien-Lung Lee	An interface methodology for reconfigurable FGPA peripherals - a feature-based approach	Prof Neil Bergmann	MPhil
Mr Gregory Long	Plug-in proof support for formal development environments	Dr David Hemer	Mphil
Mr Yi Lu	Dynamic loading of peripherals on reconfigurable system-on-chip	Prof Neil Bergmann	MPhil
Ms Yan Jennifer Wu	Detection guided adaptive filtering for multipath effects in communication systems	Dr John Homer	Mphil
Dr Patrick Bellett	Magnetic antennas for ground penetrating radar	Dr Nicholas Shuley	PhD
Dr Erik Berglund	Active audition for robots using parameter-less self-organising maps	Dr Gordon Wyeth	PhD
Dr Gregg Buskey	Behavioural cloning for unmanned helicopters	Dr Gordon Wyeth	PhD
Dr Ding-Yi Dean Chen	On interactive document classification	Dr Xue Li	PhD
Dr Philip Cook	Incremental compilation in language-based environments	Prof Ian Hayes	PhD
Dr Geoffrey Foster	On-line help: an aid to effective use of software	A/Prof Roger Duke	PhD
Dr David Yang Hong	Modelling and inverse modelling of scanning capacitance microscopy for dopant profile extraction	Dr Yew Tong Yeow	PhD
Dr Christopher Hunter	Agent-based proof support for interactive theorem proving	Dr Peter Robinson	PhD
Dr Daniel Johnson	Exploring mindlessness as an explanation for the media equation: Why and when people will treat computers like social actors	Prof Janet Wiles	PhD
Dr Wai Yie Leong	Implementing blind source separation in signal processing and telecommunications	Dr John Homer	PhD
Dr Carlos Wai Yin Leung	Efficient methods for 3D reconstructions from multiple images	Prof Brian Lovell	PhD
Dr Bing Keong Li	The Design and Analysis of High Frequency Phased Array Coils for MRI	Prof Stuart Crozier	PhD
Dr Valerie Lim	Power loss allocation methods for deregulated electricity markets	Prof Tapan Saha	PhD
Dr Paul O'Brien	An architecture for ubiquitous mobile service delivery	Dr Robert Colomb	PhD
Dr Lesley Seebeck	The co-evolution of information technologies and their host systems	Prof Simon Kaplan	PhD
Dr Paul Sernia	Modelling and analysis of random effects in multilevel, multi-module power converters	Dr Geoffrey Walker	PhD
Dr Penny Sweetser	An emergent approach to game design - development and play	Prof Janet Wiles	PhD
Dr Peter Waldeck	Reactive, reconfigurable, real-time, embedded systems	Prof Neil Bergmann	PhD
Dr Kai Willadsen	Dynamics from Structure in Simulating Genetic Regulatory Networks	Prof Janet Wiles	PhD
Dr Bin Xu	Electromagnetic analysis and design of high frequency coils for magnetic resonance	Prof Stuart Crozier	PhD
Dr Zhao Xu	Electricity market planning and management	Dr Zhao Dong	PhD
Dr Emanuel Emil Zelniker	Accurate estimation of geometric curves with related applications	Dr Vaughan Clarkson	PhD


2005
Mr Kun Kenny Chen	Modeling distributed co-evolution: NKP on a cluster	Prof Simon Kaplan	MPhil
Mr Dirk Lessner	Network security for embedded systems	Prof Neil Bergmann	MPhil
Mr Li-Yang Andrew Lin	VLSI implementation for MPEG-1/Audio Layer III Chip: Bitstream Processor - low power design	Dr Adam Postula	MPhil
Mr Ajith Susantha Kankanamge	Processing of snore related sounds for the diagnosis of obstructive sleep apnoea (OSA)	Dr Udantha Abeyratne	MPhil
Mr Mark Antony Calder	Accelerating the BLAST algorithm via parallel computing	Dr Adam Postula	R/Masters
Mr Kenny Cheng-Hsien Lin	An ASIC application for DNA sequencing by Smith-Waterman algorithm (DNASSWA)	Dr Adam Postula	R/Masters
Dr Benjamin Charles Appleton	Globally minimal contours and surfaces for image segmentation	Prof Brian Lovell	PhD
Dr Sasitharan Balasubramaniam	Context-aware vertical handovers for pervasive systems	Dr Jadwiga Indulska	PhD
Dr Scott Bolland	FAE: The fluid analogies engine - A dynamic, hybrid model of perception and mental deliberation	Prof Janet Wiles	PhD
Dr Mark Meng-Hsiang Chang	Distributed multi-robot planning using shared perception	Dr Gordon Wyeth	PhD
Dr Shaokang Chen	Robust discriminative principal component analysis for face recognition	Prof Brian Lovell	PhD
Dr Richard Ian Davis	Training hidden Markov models for spatio-temporal pattern recognition	Prof Brian Lovell	PhD
Dr David Andrew Finn	A variable inductance zero voltage switched multilevel topology for automotive drives	Dr Geoffrey Walker	PhD
Dr Jong Yong Abdiel Foo	Pulse transit time as a tool in the diagnosis of paediatric sleep related breathing disorders	Dr Stephen Wilson	PhD
Dr Qiang Fu	Multiple connection based TCP for a wide range of networks	Dr Jadwiga Indulska	PhD
Dr Januar Janapsatya	Switched beam smart antenna system for indoor wireless LAN	Prof Marek Bialkowski	PhD
Dr Zheng Liu	Improvements on multimedia security algorithms	Dr Xue Li	PhD
Dr Bradley Joseph Long	Testing concurrent JAVA components	Dr Paul Strooper	PhD
Dr Benjamin McGarry	Things to think with - understanding interactions with artefacts in engineering design	Dr Margot Brereton	PhD
Dr John Mansfield	The nature of change in complex, socio-technical systems	Prof Simon Kaplan	PhD
Dr Timothy Miller	Using specification animation to support specification testing and software testing	Dr Paul Strooper	PhD
Dr Janelle Pollard	A software engineering approach to the integration of computer technology into mathematics	A/Prof Roger Duke	PhD
Dr Sham Bahadur Prasher	Query processing in multiresolution spatial	Prof Xiaofang Zhou	PhD
Dr Neil John Robinson	Animation and visualisation of refinements	Dr Colin Fidge	PhD
Dr Ricky Rakeeb Robinson	A resource discovery protocol for modern computing environments	Dr Jadwiga Indulska	PhD
Dr Andrew Gregory Simpson	Parametric modelling of energy consumption in road vehicles	Dr Geoffrey Walker	PhD
Dr Hendrik Jacob Stolk	Emergent models in hierarchical and distributed simulation of complex systems	Dr Kevin Gates	PhD
Dr Xingzhi Sun	Knowledge discovery in a long temporal event sequences	Dr Xue Li	PhD
Dr Adelina Lai Toh Tang	Application of the tree augmented naive bayes network to classification and forecasting	Emer Prof Tom Downs	PhD
Dr Jing Yang	P-n junction dopant profiling using scanning capacitance microscopy	Dr Yew Tong Yeow	PhD


2004
Mr Joshan Joy	Non invasive measures of abdominal muscular function in low back pain	Dr Stephen Wilson	MPhil
Mr Oscar Pozzobon	Secure location services - Vulnerability analysis and provision of security in location systems	Emer Prof Kurt Kubik	MPhil
Mr Pradeep Prabhakaran	Development of electronic instrument for defect measurement with eddy currents	Dr Adam Postula	MPhil
Mr Ronald Schroeter	Collaborative Video Annotation and Discussion over High-Bandwidth Networks	Dr Jane Hunter	MPhil
Ms Ven Yu Sien	Validation of a Light-Weight Approach to Knowledge-Based Re-Engineering by a Cobol-To-Java Converter	Prof Paul Bailes	MPhil
Mr Alok Thapar	Investigation of power quality categorisation and stimulating its impact on sensitive electronic	Prof Tapan Saha	MPhil
Mr Robert James Andrews	Optical Flow from Colour Image Sequences	Prof Brian Lovell	R/Masters
Mr Kristedjo Kurnianto	Application of Machine Learning Techniques to Power Plant Sensor Validation	Emer Prof Tom Downs	R/Masters
Mr Anup Kumar Raghavan	JPG: A Partial Bitstream Generation Tool to Support Partial Reconfiguration in Virtex FPGA	Dr Peter Sutton	R/Masters
Dr Vince Boros	On photonic bus architecture that incorporates wavelength multiplexing and resuse for reconfigurable computers	Dr Aleks Rakic	PhD
Dr David Andrew Cook	The Development of Risk Adjusted Control Charts and Machine Learning Models to Monitor the Mortality Rate of Intensive Care Unit Patients	Emer Prof Tom Downs	PhD
Dr Andrew Devereux	Capability-based description and discovery of	Prof Maria Orlowska	PhD
Dr Salman Durrani	Investigations into smart antennas for CDMA wireless systems	Prof Marek Bialkowski	PhD
Dr Karen Henricksen	A Framework for Context-Aware Pervasive Computing Applications	Dr Jadwiga Indulska	PhD
Dr Marta Indulska	Aggregation in spatial data environments	Prof Maria Orlowska	PhD
Dr Nianjun Liu	Hand gesture recognition by hidden Markov	Prof Brian Lovell	PhD
Dr John Douglas McDonald	Investigations into the design of Powerformer[TM] for optimal generator and system performance under fault conditions	Prof Tapan Saha	PhD
Dr Benjamin Robert Matthews	Studying Design: An interpretive and empirical investigations of design activity at differing levels of granularity	Dr Margot Brereton	PhD
Dr Andrew James Mehnert	Image Analysis for the Study of Chromatin Distribution in Cell Nuclei: with Application to Cervical Cancer Screening	Emer Prof Dennis Longstaff	PhD
Dr Novak Petrovic	Modelling diffraction in optical interconnects	Dr Aleks Rakic	PhD
Dr Jamie Barry Shield	Towards an Object-Oriented Refinement Calculus	Dr David Carrington	PhD
Dr Thomas Alan Tilley	Formal Concept Analysis Applications to Requirements Engineering and Design	Prof Peter Eklund	PhD
Dr Feng-Chi Eddie Tsai	Investigation into Passive and Active Microstrip Antenna Arrays for Power Combining Applications	Prof Marek Bialkowski	PhD
Dr Amirudin Abdul Wahab	A Complexity Approach to National IT Policy Making: The Case of Malaysia's Multimedia Super Corridor (MSC)	Dr Margot Brereton	PhD
Dr Jian Xiong Wang	A support vector machine approach to a classification problem in robotics	Emer Prof Tom Downs	PhD
Dr Kai Leung Adam Wong	Jasmine: A Shared-Object Multi-Locking Distributed Shared Memory System for Heterogeneous Computers	Dr Philip Machanick	PhD
Dr Ian Andrew Wood	Boltzmann Machine Learning: Analysis and Improvements	Emer Prof Tom Downs	PhD
Dr Kai Kevin Xu	Database Support for Multi-Resolution Terrain	Prof Xiaofang Zhou	PhD

2003
Mr Bruce Davis McClure	Design of an Adaptive Computing Architecture for Managing Interactions in Heterogeneous Defence Networks	Dr Jadwiga Indulska	MPhil
Mr Martin Jeremy Robinson	A Logical Formulation of the 3D Reconstruction Problem using a Volumetric Framework	Prof Brian Lovell	MPhil
Mr Andrew David Coyle	Simulation of Traceability in the Development of Complex High-Integrity Software-Based Systems	Dr Anthony McDonald	R/Masters
Mr Sorachet Mitched	Laser Rate Equations Modelling of Vertical Cavity Surface Emitting Lasers (with) Applications to Optical Interconnects	Dr Marian Majewski	R/Masters
Dr Brenton Mark Atchison	The Integration of Safety Analysis and Functional Verfication Techniques for Software Safety	Prof Peter Lindsay	PhD
Dr Craig Anthony Aumuller	Investigation into the Impact of Powerformer(TM) Design on Power System Operational Security	Prof Tapan Saha	PhD
Dr David Timothy Collins	Cerebellar Modeling Techniques for Mobile Robot Control in a Delayed Sensory Environment	Dr Gordon Wyeth	PhD
Dr Nicole Dunlop	Dynamic Policy-Based Management in Open Distirbuted Environments	Dr Jadwiga Indulska	PhD
Dr John Edwards	Magnetic Flux Based Transformer Model	Prof Tapan Saha	PhD
Dr Andrew Lindsay Janke	Cognition Driven Deformation Modelling	Dr Kevin Gates	PhD
Dr Ahmad Kayed	Using Conceptual Structures and Ontologies to Support E-Commerce	Dr Robert Colomb	PhD
Dr Frederick Chung Jeng Kong	Silicon-on-Sapphire MOSFETs Parameters Extraction by Small-Signal Measurement	Dr Yew Tong Yeow	PhD
Dr Kim Hsin-Jung Lai	A Super Fast Scanning Technique for Phased Array Weather Radar Applications	Emer Prof Dennis Longstaff	PhD
Dr Karl Primardi Mardira	Investigation of Modern Diagnostic Techniques for the Assessment of Degradation of Metal Oxide Surge Arresters	Prof Tapan Saha	PhD
Dr Rolf Mitsdorffer	Machine Learning in the Capital Market	Prof Janet Wiles	PhD
Dr Michael James Norris	Assessment and Extension of Wang's Oscillatory Model of Auditory Stream Segregation	Prof Janet Wiles	PhD
Dr Bryan Anthony Reeves	Slope Stability Radar	Dr Glen Stickley	PhD
Dr Karsten Arno Schulz	Modelling and Architecting Cross-Organizational Workflows	Prof Maria Orlowska	PhD
Dr Ashley Desmond Tews	High Level Centralised Control Approaches for Multi-Robot Cooperation in Highly Dynamic	Dr Gordon Wyeth	PhD
Dr Stuart David Truffet	Optimisations for Spatial Query Processing in Parallel and Distributed Environments	Prof Maria Orlowska	PhD
Dr Peta Wyeth	Electronic Blocks: A New Resource for Technology Education	Dr Helen Purchase	PhD
Dr Zheng Tong Yao	Analysis and Modelling of Dielectric Response in Power Transformer Insulation	Prof Tapan Saha	PhD

2002
Mr Tony I-Chieh Han	SWASAD: Smith-Waterman-Algorithm-Specific ASIC Design	Dr Sri Parameswaran	MPhil
Mr Andrew Edward Smith	Development of a Practical System for Text Content Analysis and Mining	Dr Robert Colomb	MPhil
Mr Simon Mathew James Carter	Changing Complex Documents	Prof Peter Lindsay	R/Masters
Mr Aaron Ann-Soon Chong	Complementary GPR Antennas and Watertank	Dr Glen Stickley	R/Masters
Ms Ling Lei Gu	Automatic and Optimal Analog Interface Circuit	Dr Sri Parameswaran	R/Masters
Mr Kamalanathan Rajagopalan	Logic Block Architecture Design and Arithmetic Performance Issues for Field Programmable Gate Arrays	Dr Peter Sutton	R/Masters
Mr Quoc Dong Tran	Millimetre Wave Radar for Monitoring of Railway Ballast and Surrounding Area	Dr David Noon	R/Masters
Dr Andrew David Berry	Describing and Supporting Complex Interactions in Distributed Systems	Prof Simon Kaplan	PhD
Dr Robert John Colvin	Contextual and Data Refinement for the Refinement Calculus for Logic Programs	Dr Paul Strooper	PhD
Dr Matthew John Gallagher	A Nomadic Computing Architecture for Open Distributed Computing	Dr Jadwiga Indulska	PhD
Dr Charles Herring	Viable Software: The Intelligent Control Paradigm for Adaptable and Adaptive Architecture	Prof Simon Kaplan	PhD
Dr Che Ta Clement Hsu	Characterization of Hot-Carriers Induced Degradation in MOSFETS through Gate Capacitances Measurement at Room and Cryogenic Temperatures	Dr Yew Tong Yeow	PhD
Dr Soon Kyeong Kim	A Metamodel-based Approach to Integrate Object-Oriented Graphical and Formal Specification Techniques	Dr David Carrington	PhD
Dr Mei Po Mabel Lau	Characterization of Hot-Carrier Induced Degradation via Small Signal Characteristics in MOSFETs	Dr Yew Tong Yeow	PhD
Dr Ralf Maximilian Muhlberger	Data Management for Interoperable Systems	Prof Maria Orlowska	PhD
Dr Ian David Peake	Enabling Metalevel Support for Language Design and Implementation through Modular Parsers	Prof Paul Bailes	PhD
Dr Shazia Wasim Sadiq	On Dynamically Changing Workflow Processes	Prof Maria Orlowska	PhD
Dr Wasim Sadiq	On Verification Issues in Conceptual Modelling of Workflow Processes	Dr Yew Tong Yeow	PhD
Dr Don Ajantha Sanjeewa	A Hybrid Learning System with a Hierarchical Architecture for Pattern Classification	Emer Prof Tom Downs	PhD
Dr Peter Gregory Stratton	A Situated Cortical Model Exhibiting Attention, Learning and Memory; Implications for Cognition	Emer Prof Tom Downs	PhD
Dr Bradley Tonkes	On the Origins of Linguistic Structure: Computational Models of the Evolution of Language	Prof Janet Wiles	PhD
Dr Rong Wang	Optical Interconnects using Optoelectronic Arrays	Dr Marian Majewski	PhD
Dr Geoffrey Norman Watson	A Generic Proof Checker	Prof Jim Welsh	PhD

2001
Mr Kanwarpreet Singh Cheema	Synthesis of serial communications controller using higher abstraction level derivation (HALD)	Dr Sri Parameswaran	R/Masters
Mr Chu-Wei Scott Jiang	A New MOSFET's Metallurgical Channel Length Extraction Method Based on Gate-to-Substrate Capacitance	Dr Yew Tong Yeow	R/Masters
Miss Yun-Di Sandy Lien	Satellite-to-Indoor Propagation Modelling for LEOS Communication Systems	Dr Mike Cherniakov	R/Masters
Mr Jonathan Lok Chuen Lo	Selected Problems Analysis for Little LEO Data Communication Service Deployment	Dr Mike Cherniakov	R/Masters
Mr Marcin Peter Metter	Multiple Device Web-Based Information System Development: A Set of Development Guidelines	Dr Robert M Colomb	R/Masters
Mr Peter Wai Shan Pong	Combined Active and Passive Millimetre Wave Sensor for Ground-based Imaging	Dr Mike Cherniakov	R/Masters
Mr Zac Twidale	Automated Product Configuration in a Custom Mast Building Environment	Dr Margot Brereton	R/Masters
Ms Hui Wang	Materialized View Maintenance in Data	Dr Yew Tong Yeow	R/Masters
Ms Sherry Shu-Ting Yao	Evaluation of Hot-Carrier Induced Degradation in MOSFETs by Measurement at Cryogenic Temperatures	Dr Yew Tong Yeow	R/Masters
Dr Brett Browning	Biologically Plausible Spatial Navigation for a Mobile Robot	Dr Gordon Wyeth	PhD
Dr Song Chen	Memory Optimization for Application Specific Processors and SIMD Computers	Dr Adam Postula	PhD
Dr Faith Choy	Performance Investigation of Multi-Element Antenna Terminals for Personal Communications; TDMA LEOS System Applications	Dr Mike Cherniakov	PhD
Dr Paul William Davis	A Linearly Polarised Radial Line Slot Array Antenna for Direct Broadcast Satellite Services	Prof Marek Bialkowski	PhD
Dr Damian Grant Jones	Granolds: A Novel Method for Image Texture Analysis. With application to the Detection of Malignancy Associated Changes in Pap Smears	Dr Paul Jackway	PhD
Dr Hanna Majewski	A Study of Feature Binding in Artificial Neural Networks with Sigmoid and Complex Activation Functions	Prof Janet Wiles	PhD
Dr Mark John Pedersen	Usability Evaluation of Grammar Formalisms for Free World Order Natural Language Processing	Dr Helen Purchase	PhD
Dr Hyok Jae Song	Spatial Power Combiners Using Transmit and Reflect Arrays	Prof Marek Bialkowski	PhD
Dr Yong Wang	On the Characteristics of Small Buried Objects Illuminated UWB Radar	Emer Prof Dennis Longstaff	PhD
Dr Nicholas Peter Williams	The Morphing Architecture: Runtime Evolution of Distributed Systems	Dr Jadwiga Indulska	PhD
Dr Desmond Yau	Numerical Analysis of Coupling, Guiding and Radiation Mechanisms on Several Microwave	Dr Glen Stickley	PhD


2000
Mr Mario Gueorgviev Bojilov	An Experimental Remote Development System	Dr Mark Schulz	R/Masters
Mr Allen Pin-Chieh Lo	Evaluation of Device Performance & Hot-Carrier Reliability for an N-Channel MOSFET using NO-Nitrided Gate Dielectric	Dr Yew Tong Yeow	R/Masters
Mr Damien Sansom	Evaluation of the Suitability of Neural Netowrks for Forecasting Electricity Pool Prices in Deregulated Electricity Supply Industries	Prof Tapan Saha	R/Masters
Dr Pascal Christopher Bamford	Segmentation of Cell Images with Application to Automated Cervical Cancer Screening	Prof Brian Lovell	PhD
Dr Jay Madison Burmeister	Studies in Human and Computer GO	Prof Janet Wiles	PhD
Dr Yi-Ping Phoebe Chen	Generating Database Representations of L-systems in Virtual Plant Applications	Dr Robert Colomb	PhD
Dr Yu-Te Charlie Chiang	Two-Dimensional Mosfet Dopant Profile via Small-Signal Capacitance Measurement	Dr Yew Tong Yeow	PhD
Dr Marcus Reginald Gallagher	Multi-Layer Perceptron Error Surfaces: Visualization, Structure and Modelling	Emer Prof Tom Downs	PhD
Dr Jennifer Susan Hallinan	Detection of Malignancy Associated Changes in Cervical Cells using Statistical and Evolutionary Computation Techniques	Dr Paul Jackway	PhD
Dr David George Hemer	A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse	Prof PeterLindsay	PhD
Dr Timothy Stuart Jones	Seamless Interaction Facilities in Structure-Oriented Software Development Environments	Prof Jim Welsh	PhD
Dr Barry Kitson	Foundation Infrastructure for the Management of Open Distributed Processing Systems	Dr Andrew Lister	PhD
Dr David Anthony Leadbetter	A Viewpoints Approach to Combining and Comparing System Models	A/Prof Roger Duke	PhD
Dr Wie Ming Lim	4GL Information Systems Reverse Engineering: A Wholistic Approach	Prof Paul Bailes	PhD
Dr Olivera Krusevac Marjanovic	Managing Time in Workflow Management Systems	Prof Maria Orlowska	PhD
Dr Aleksandar Rakic	Investigation into Optical Characteristics of Vertical-Cavity Surface-Emitting Lasers for Applications in Optical Communications	Dr Marian Majewski	PhD
Dr Ashley William Robinson	Design and Testing of Active Reflectors for Spatial Power Combining	Prof Marek Bialkowski	PhD

1999
Mrs Sonya May Finnigan	Distributed Querying with Z+SQL over the Internet	Dr Robert Colomb	R/Masters
Mr Vincent Henry Guerrini	Interfacing Essential Drug Informatics	Dr Robert Colomb	R/Masters
Mrs Qing Wang	Tapered Slot Antennas with Optic True Time Delay Beam Steering	Prof Marek Bialkowski	R/Masters
Mr Zheng Tong Yao	Condition Assessment of Power Transformers by Interfacial Polarization Spectra Measurement	Prof Tapan Saha	R/Masters
Dr Wayne Charles Brookes	A Type Model and Type Management Supporting Interoperability in Open Distributed Systems	Dr Jadwiga Indulska	PhD
Dr Ian Douglas Burns	Aspects of EEG Signal Processing with Application of Classification	Dr A Tsoi	PhD
Dr Steven Edward Butler	Behaviour in object-based systems: A formal	A/Prof Roger Duke	PhD
Dr Glen David Callaghan	Wide-swath Space-borne SAR: Overcoming the trade-off between Swath-width and Resolution	Emer Prof Dennis Longstaff	PhD
Dr Hoang Tru Cao	Foundations of Order-Sorted Fuzzy Set Logic Programming in Predicate Logic and Conceptual Graphs	Dr Peter Creasy	PhD
Dr Hui Guo	HiPer-LoPow: A Framework for System Level Pipelining	Dr Sri Parameswaran	PhD
Dr Andrew Patrick Hussey	Object Oriented Specification and Design of User Interfaces	Dr David Carrington	PhD
Dr Nemai Karmakar	Antennas for Mobile Satellite Communications	Prof Marek Bialkowski	PhD
Dr Christopher John Leat	Modelling and Design of GPR Antennas	Dr Nick Shuley	PhD
Dr Hui Li	On the Foundations of Object-Relational Query Processing	Prof Maria Orlowska	PhD
Dr Lee Owen McMillan	Microstrip Leaky Wave Antennas: Half Spaces and Focusing Applicators	Dr Nick Shuley	PhD
Dr Rupert David Paget	Nonparametric Markov Random Field Models for Natural Texture Images	Emer Prof Dennis Longstaff	PhD
Mr Geoffrey Ralph Walker	Modulation and Control of Multilevel Converters	Prof Tapan Saha	PhD


1998
Mr Rafael Antony Brander	On Sparse, Neural Network Representations: Catastrophic Interference, Generalization and Combinatoriality	Prof Janet Wiles	R/Masters
Mr Nicholas George Comino	On the use of Metamodel for Parallelising a Class of Practical Applications	Prof Brian Lovell	R/Masters
Mrs Lidia Donskoi	Modeling and Optimisation of Stepped-frequency Ground Penetrating Radar	Dr Mike Cherniakov	R/Masters
Ms Tracey Gwendolynn Hart	The industrial application of Cogito	Prof Peter Lindsay	R/Masters
Mr Colin Edward Rhodes	A Generic Approach to Program Extraction	Prof PeterLindsay	R/Masters
Mr Hyok Jae Song	Investigations into the Efficient Design and Development of Aperture Coupled Patch Antennas and Arrays for Use in X- and Ku-Bands	Prof Marek Bialkowski	R/Masters
Dr Hans Christian Asminn	The Controller Output Error Method	Dr Lou Westphal	PhD
Dr Steven Ross Atkinson	Formal Engineering of Software Library Systems	A/Prof Roger Duke	PhD
Dr Alistair Patrick Barros	On the Conceptualization of Workflow	Dr Peter Creasy	PhD
Dr Chung Hin Wilson Cheng	Models and Techniques for constructing Reliable Distributed Systems	Dr Andrew Lister	PhD
Dr Robert Scott Coulter	Planar Functions and related topics in Finite Fields	Dr George Havas	PhD
Dr Geraldine Ann Fitzpatrick	The Locales Framework: Understanding and Designing for Cooperative Work	Prof Simon Kaplan	PhD
Dr Andrew Desmond Goodchild	Database Discovery in Organizational Environment	Dr Robert Colomb	PhD
Dr Alena Griffiths	A Formal Semantics to Support Modular Reasoning in Object-Z	A/Prof Roger Duke	PhD
Dr Marek Mieczyslaw Krawus	Discrete time Nonlinear Dynamical Systems: Aspects of Control using Artificial Neural Networks	Dr A Tsoi	PhD
Dr James Stuart Lyall	Self Organizing Feature Maps and Engineering Fields: Theory and Application Techniques	Dr Mark Schulz	PhD
Dr Anthony John Macdonald	Designing Software from Formal Specifications	Dr David Carrington	PhD
Dr Colin Ramsay	Trades and Defining Sets: Theoretical and Computational results	Dr George Havas	PhD
Dr Kelvin John Ross	Software Configuration Management in the Support of Formal Software Development	Prof Peter Lindsay	PhD
Dr Nirad Primod Sharma	A theory for Multi-function Model-based Reasoning through Context Management	Dr Robert Colomb	PhD
Dr Guy Mayer Smith	Image Texture Analysis using Zero Crossings Information	Emer Prof Dennis Longstaff	PhD
Dr Michael Ward Towsey	The Use of Neural Networks in the Automated Analysis of the Electroencephalogram	Emer Prof Tom Downs	PhD
Dr Ross Stewart Varnes	An Electronic Control System for a Mobile Satellite Telephone Antenna	Prof Marek Bialkowski	PhD
Dr Hung Wing	Managing Complex, Open, Web-deployable Trade objects	Dr Robert Colomb	PhD


Updated 21/09/06