Research

University Links

Research at Kent

List of Publications of type phdthesis

2010

Towards Modular, Scalable and Optimal Design of Transcriptional Logic Systems Nicolae Radu Zabet.
Computing, University of Kent, CT2 7NF, 2010, October.
Modelling Access Control for Healthcare Information Systems:How to control access through policies, human processes and legislation Ana Ferreira.
Computing, University of Kent, CT2 7NF, 2010, October.
Towards Modular, Scalable and Optimal Design of Transcriptional Logic Systems Nicolae Radu Zabet.
School of Computing, University of Kent, UK, , 2010, October.
New ant colony optimisation algorithms for hierarchial classification of protein functions Fernando Otero.
Computing, University of Kent, CT2 7NF, 2010, January.

2009

The temporal spotlight of attention: computatioanl and electrophysiological explorations Srivas Chennu.
Computing, University of Kent, CT2 7NF, 2009, December.
Semantic and Structural Analysis of Genetic Programming Lawrence Beadle.
Computing, University of Kent, CT2 7NF, 2009, July.
A Process Oriented Approach to Solving Problems of Parallel Decomposition and Distribution Damian Dimmich.
Computing, University of Kent, CT2 7NF, 2009, June.
MODELLING HUMAN COGNITION USING CONCURRENCY THEORY Li Su.
, , 2009, January.

2008

TOWARDS A MULTIPURPOSE NEURAL NETWORK APPROACH TO NOVELTY DETECTION Simon J Haggett.
Computing, University of Kent, CT2 7NF, 2008, October.
Process-Oriented Patterns for Concurrent Software Engineering Adam Sampson.
Computing, University of Kent, CT2 7NF, 2008, September.
Anytime Algorithms for ROBDD Symmetry Detection and Approximation Neil J Kettle.
Computing Laboratory, University of Kent, 2008, September.
Applying cognitive electrophysiology to neural modelling of the attentional blink Patrick Craston.
Computing, University of Kent, CT2 7NF, 2008, July.
{A}daptive {T}ask {S}election using {T}hreshold-based {T}echniques in {D}ynamic {S}ensor {N}etworks Wesam S Haboush.
Computing Laboratory, , 2008, June.

2007

A Self-Organising Distributed Location Server for Ad Hoc Networks Gareth Owen.
University of Portsmouth, , 2007, November.
A Privacy Enhancing Infrastructure for Context-Awareness Patrik Osbakk.
, University of Kent, Canterbury, Kent, UK, 2007, July.
{U}sing {P}olicy to {C}ontrol {D}ata {S}ynchronisation in {M}iddleware for an {A}d-hoc {M}obile {N}etwork Vorapol Jittamas.
Computing Laboratory, , 2007, May.
Test {D}ata {G}eneration: {T}wo {E}volutionary {A}pproaches to {M}utation {T}esting Peter S May.
Computing Laboratory, , 2007, May.
An Exploration of Novice Compilation Behaviour in BlueJ Matthew C Jadud.
Computing Laboratory, University of Kent, , 2007, January.

2006

{T}he {V}isualization of {E}volving {S}earches Edward Suvanaphen.
Computing Laboratory, , 2006, December.
Verification of Real-Time Systems: Improving Tool Support Rodolfo Sabas Gomez.
Computing Laboratory, University of Kent, , 2006, October.
Presenting multi-language {X}{M}{L} documents: {A}n adaptive transformation and validation approach Michael Pediaditakis.
, , 2006, September.
Refactoring Haskell Programs Huiqing Li.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2006, September.
{A Unified Model for Inter- and Intra-processor Concurrency} Mario Schweigler.
Computing Laboratory, University of Kent, Canterbury, UK, Canterbury, Kent, CT2 7NF, United Kingdom, 2006, August.
Artificial Immune Systems for Web Content Mining: Focusing on the Discovery of Interesting Information Andrew Secker.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2006, June.

2005

An Immune-Inspired Solution for Adaptable Error Detection in Embedded Systems Modupe Ayara .
Computing Laboratory, University of Kent, Canterbury, 2005, November.
{C}onstructing {E}fficient {S}elf-{O}rganising {A}pplication {L}ayer {M}ulticast {O}verlays Su Wei Tan.
Computing Laboratory, , 2005, October.
{Exploiting Immunological Metaphors in the Development of Serial, Parallel and Distributed Learning Algorithms} Andrew Watkins.
Computing Laboratory, University of Kent, Canterbury, UK, 2005, March.
{Model Driven Language Engineering} Octavian Patrascoiu.
Computing Laboratory, University of Kent, 2005, March.

2004

Removing Garbage Collector Synchronisation Andy C. King.
University of Kent at Canterbury, , 2004, September.
Software Measurement for Functional Programming Chris Ryder.
Computing Lab, University of Kent, Canterbury, UK, 2004, August.
{Exact Computing in Positional Weighted Systems} Alexander Kaganovsky.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2004, January.

2003

{A High-level Framework for Policy-based Management of Distributed Systems} Jovan Cakic.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, December.
{Semantics Information Integration for Knowledge Discovery in Multi-dimensional Environmental Systems} Robert Frank.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, September.
{A New Blueprint for Network QoS} David C Reeve.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, August.
{A Design Framework for Evolutionary Algorithms} Colin Johnson.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, July.
{Student Modelling by Adaptive Testing - A Knowledge-based Approach} Sophiana Chua Abdullah.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, June.
Dynamics and Pragmatics for High Performance Concurrency Frederick R.M. Barnes.
University of Kent at Canterbury, , 2003, June.
{An Interoperability Framework for Information Integration Based on Dublin Core, XML and Z39.50} Francisco Queiros Pinto.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, March.
{Knowledge-based Debugging: Matching Program Behaviour Against Known Causes of Failure} Michael McMillan Andrews.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2003, January.

2002

Inconsistency and Underdefinedness in Z Specifications Ralph Miarka.
University of Kent, Canterbury, Kent CT2 7NF, UK, 2002, December.
{Transcending Static Deployment of Circuits: Dynamic Run-Time Systems and Mobile Hardware Processes for FPGAs} Ralph Moseley.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2002, September.
{Multicast Routing with Quality of Service Constraints in Data Networks} Miguel Rio.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2002, April.
{The Design and Implementation of OCCAM/CSP Support for a Range of Languages and Platforms} James Moores.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2002, April.
{A Productive Response to Legacy Systems} Anthony Lauder.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2002, January.
{P}olyhedral {D}omains for {A}bstract {I}nterpretation in {L}ogic {P}rogramming Patricia Mary Benoy.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2002, January.

2001

{A Language for the Dynamic Verification of Design Patterns in Distributed Computing} Stephen Neal.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2001, October.
{Integration of Security and Reliability in a Distributed Collaborative Environment} Edries Abdelhadi Ali.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2001, October.
{Context-Aware Software} Jason Pascoe.
Computing Laboratory, University of Kent at Canterbury, 2001, August.
{Animating Object Oriented Conceptual Models} Ian Oliver.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2001, January.
{FAD: A Functional Analysis and Design Methodology} Dan Russell.
Computing Laboratory, University of Kent at Canterbury, , 2001, January.

2000

{FAD: A Functional Analysis and Design Methodology} Daniel Russell.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2000, December.
Model Translation: A UML-based specification technique and active implementation approach David H. Akehurst.
Computing Laboratory, University of Kent, , 2000, December.
Behavioural Subtyping in Process Algebra Charles Peter Briscoe-Smith.
University of Kent at Canterbury, Canterbury, UK, 2000, November.
Type-Inference Based Deforestation of Functional Programs Olaf Chitil.
RWTH Aachen, , 2000, October.
{Steplib: A Digital Library for Spatio-temporal and Multimedia Data} Claudio Baptista.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2000, September.
{A Multi-dimensional Analytical Framework for Hierarchical Reasoning in Space and Time} Howard Lee.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 2000, September.
Artificial Immune Systems: A novel data analysis technique inspired by the immune network theory Jon Timmis.
Department of Computer Science, University of Wales, Aberystwyth. Ceredigion. Wales., 2000, August.

1999

{Modes and Types in Logic Programming} Jan-Georg Smaus.
University of Kent at Canterbury, , 1999, December.
A Semantics for Functions and Behaviours Anthony C. Daniels.
The University of Nottingham, The University of Nottingham, , University Park, Nottingham NG7 2RD, 1999, December.
{An Architecture for an ATM Network Continuous Media Server Exploiting Temporal Locality of Access} Kneale J Rothwell.
University of Kent at Canterbury, , 1999, September.
{A Process-Centered Architecture for Organisational Transformation} Maria Stergiou.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 1999, September.
{On the Readability of Machine Checkable Formal Proofs} Vincent Zammit.
, University of Kent, 1999, March.
The Design of an Object-Oriented Environment and Language for Teaching Michael Kolling.
Basser Department of Computer Science, University of Sydney, , 1999, February.

1998

{Seamless Parallel Computing on Heterogeneous Networks of Multiprocessor Workstations} Kevin Vella.
University of Kent at Canterbury, , 1998, December.
{A Theory of Episodic Memory for Case-based Reasoning and its Implementation} Carlos Ramierez Guitierrez.
University of Kent at Canterbury, , 1998, December.
Proof {S}earch {I}ssues in {S}ome {N}on-{C}lassical {L}ogics Howe, J. M..
University of St Andrews, , 1998, December.
{A Hybrid Approach to Quality of Service Multicast Routing in High Speed Networks} John Crawford.
University of Kent at Canterbury, , 1998, November.
{Cyclic Distributed Garbage Collection} Helena Rodrigues.
University of Kent at Canterbury, , 1998, November.
{MPEG Video Transmission over a Four Priority Level ATM Network} Richard Mills.
University of Kent at Canterbury, , 1998, August.
{Distributed Platform Support for Service Management} Geraldina Fernandes.
University of Kent at Canterbury, , 1998, July.
Consistency and Composition of Process Specifications Maarten W. A. Steen.
University of Kent at Canterbury, United Kingdom, 1998, May.
{Web Resource Re-discovery - Personal Resource Storage and Retrieval on the World Wide Web} Ian Cooper.
University of Kent at Canterbury, , 1998, January.

1997

Evolution Transparency for Distributed Service Types Twittie Senivongse.
Computing Laboratory, University of Kent at Canterbury, University of Kent at Canterbury, Canterbury, Kent., 1997, March.

1996

{SIDL: Design and Specification of a Compositional Object-Oriented Model for Generalised Data Management} Eduardo Rojas Vegas.
Computing Laboratory, University of Kent at Canterbury, , 1996, December.
{Interaction of Periodic Bursty Traffic Flows in ATM Networks} Paulo Manuel Martins de Carvalho.
Computing Laboratory, University of Kent at Canterbury, , 1996, December.
{Flexible Approaches to Controlling Congestion of Data Traffic in an ATM Network} Anil Kumar Shandal.
Computing Laboratory, University of Kent at Canterbury, , 1996, October.
{An Open Multimedia Conferencing Architecture Supporting Quality of Service} T. M. Moore.
Computing Laboratory, University of Kent at Canterbury, , 1996, September.
{A Model for Flexible Telephone Services based on Negotiating Agents} M Rizzo.
Computing Laboratory, University of Kent, Canterbury, Kent, UK, 1996, August.
{A Compiled Functional Language with a Martin-Lof Type System} Andrew Douglas.
Computing Laboratory, University of Kent at Canterbury, , 1996, August.
{Chinese Character Generation - A Stroke Oriented Method} Kuo-Jung Tseng.
Computing Laboratory, University of Kent at Canterbury, , 1996, June.
{Multi-party communication over packet networks} Waters, A. G..
University of Essex, School of Science and Engineering, , 1996, March.

1995

{Aspects of Abstraction in Scientific Visualization} Jonathan C. Roberts.
University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, 1995, October.
Static Analysis of Martin-L{"o}f's Intuitionistic Type Theory Alastair Telford.
The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK, 1995, September.

1994

{The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations} M. P. G. Fachin.
Computing Laboratory, University of Kent at Canterbury, , 1994, June.

1993

The Pragmatics of Closure Reduction Stephen P. Thomas.
University of Kent at Canterbury, , 1993, September.
{Modelling Events from Natural Language} S. Kent.
Department of Computing, Imperial College of Science, Technology and Medicine, London, 1993, January.

1992

Views of Formal Program Development E.A. Boiten.
University of Nijmegen, Faculty of Mathematics and Informatics, , 1992, February.

1988

Concerning {T}-degrees of d-r.e. sets and e-reducibility of $Sigma_2$ sets P.R. Watson.
, , 1988, December.

1974

{The Minimal Continuous Semantics of the Lambda-Calculus} P.H. Welch.
University of Warwick, , 1974, January.

Total publications of type phdthesis: 89

Computing at Kent

Research

Related Links

University Links

List of Publications of type phdthesis