Computing Publications

Publications Home » Theses

Theses

PhD Theses

Solving Parity Games Through Fictitious Play [PDF]
Huaxin Wang
Imperial College London, Department of Computing
September, 2013
Parity Games: Descriptive Complexity and Algorithms for New Solvers [PDF]
Jim (Huan-Pu) Kuo
Imperial College London, Department of Computing
June, 2013
Lock Inference for Java [PDF]
Khilan Gudka
Imperial College London
December, 2012
Machine learning for image-based classification of Alzheimer's disease
Katherine Gray
Imperial College London
November, 2012
Type Systems for Coordination Languages [PDF]
Haoxuan (Max) Cai
Imperial College
May, 2012
An Active-Library Based Investigation into the Performance Optimisation of Linear Algebra and the Finite Element Method [PDF]
Francis Russell
Imperial College London
June, 2011
Building a Better Grid Authentication System with Kerberos [PDF]
David McBride
Imperial College of Science, Technology and Medicine
June, 2011
Scalable Performance Analysis of Massively Parallel Stochastic Systems [PDF]
Richard Hayden
Imperial College London
March, 2011
Finite-State Abstractions For Probabilistic Computation Tree Logic [PDF]
Daniel Wagner
Imperial College London, Department of Computing
February, 2011
Finding the Lazy Programmer's Bugs [PDF]
Tristan Allwood
Imperial College London
January, 2011
Locking Atomic Sections [PDF]
David Cunningham
April, 2010
Locking Atomic Sections
April, 2010
Locking Atomic Sections
David Cunningham
April, 2010
Queueing network models of Zoned RAID system performance [PDF]
Abigail Lebrecht
Imperial College London
January, 2010
Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank [PDF]
Douglas de Jager
Imperial College London
December, 2009
Existential Types for Subtype Variance - Java Wildcards and Ownership Types
Nicholas Cameron
Imperial College London
March, 2009
On The Design of Chorded Languages [PDF]
Alexis Petrounias
Imperial College London
December, 2008
Cooperatively combining program verifiers: foundations and tool support [PDF]
Nathaniel Charlton
September, 2008
Decision problems for partial specifications: empirical and worst-case complexity [PDF]
Adam Antonik
September, 2008
Adaptive Response System for Distributed Denial-of-Service Attacks [PDF]
Vrizlynn Thing
Imperial College London
July, 2008
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF]
Tamas Suto
Imperial College London, Department of Computing
July, 2008
Automatic Generation and Evaluation of Recombination Games [PDF]
Cameron Browne
Queensland University of Technology (QUT)
June, 2008
Response Times in Healthcare Systems [PDF]
Susanna Wau Men Au-Yeung
Imperial College London
January, 2008
A Model of Effects with an Application to Ownership Types [PDF]
Matthew Smith
April, 2007
Code Mobility and Java RMI [PDF]
Alexander Ahern
Imperial College London
2007
Flexible Dynamic Linking [PDF]
Alex Buckley
Department of Computing, Imperial College London
February, 2007
Contract Related Agents [PDF]
John Knottenbelt
Department of Computing, Imperial College London
December, 2006
Digital Goods as Public Durable Goods [PDF]
Thierry Rayna
University of Aix-Marseille
December, 2006
A compositional, collaborative performance pipeline [PDF] [GZipped Postscript]
Ashok Argent-Katwala
Department of Computing, Imperial College London, University of London
November, 2006
Dynamic Web Data: a Process Algebraic Approach [PDF]
Sergio Maffeis
PhD Thesis
Imperial College London, Department of Computing
July, 2006
Type Inference for JavaScript [PDF]
Christopher Anderson
Department of Computing, Imperial College London
March, 2006
Parallel Algorithms for Hypergraph Partitioning [PDF]
Aleksandar Trifunovic
Imperial College London
February, 2006
Specifying and Implementing Secure Mobile Applications in the Channel Ambient System [PDF]
Andrew Phillips
Imperial College London
September, 2005
Solving Differential Equations in Exact Real Arithmetic
Marko Krznaric
August, 2005
A Formal Approach to Analysis and Refinement of Policies
Arosha Bandara
Imperial College London, Department of Computing
June, 2005
Predictable Dynamic Plugin Architectures [PDF]
Robert Chatley
Imperial College London
2005
An Adaptive Policy Based Framework for Network Management [PDF]
Leonidas Lymberopoulos
Imperial College London
September, 2004
Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models [PDF] [GZipped Postscript]
Nicholas J. Dingle
Department of Computing, Imperial College London. University of London.
September, 2004
Steady-State and Response Time Analysis of Modulated Queues and Networks with Batches [PDF] [GZipped Postscript]
Harf Zatschler
University of London
July, 2004
Reduction Semantics for Ambient Calculi [PDF]
Maria Vigliotti
Imperial College
Ph.D. Thesis, Department of Computing, Imperial College London
2004
Trust Management for Internet Applications [PDF]
Tyrone Grandison
Imperial College London
June, 2003
The Traverses of a Post-Keynesian Model of a Corn-Credit Economy
Colin Richardson
University of Tasmania
September, 2002
Contextual Mediation to Support Ubiquitous Computing [PDF]
Daniel Chalmers
Imperial College London
July, 2002
A Policy Framework for Management of Distributed Systems [PDF]
Nicodemos Damianou
Imperial College London
March, 2002
Performance Evaluation of Enterprise JavaBeans Architectures [GZipped Postscript]
Catalina
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
December, 2001
Towards Reliable Modelling with Stochastic Process Algebras [PDF] [GZipped Postscript]
Jeremy T. Bradley
Dept. of Computer Science, University of Bristol
February, 2000
Parallel Performance Analysis of Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
December, 1999
A Role-Based Framework for Distributed Systems Management
Emil Lupu
Imperial College London
June, 1998
Policy Service for Distributed Systems [PDF] [Postscript]
Damian Marriott
Imperial College London
September, 1997
Analysis of Trace Data from Fluoresence Based Sanger Sequencing [PDF]
David Thornley
Department of Computing, Imperial College London
August, 1997
Interactive Configuration Management for Distributed Systems [Postscript]
Hal Fossa
Imperial College London
August, 1997
Load Balancing using Process Migration [Postscript]
Mark Nuttall
Imperial College London
July, 1997
Domain-Based Security for Distributed Object Systems
Nicholas Yialelis
Imperial College London
September, 1996
Modal Logics as Labelled Deductive Systems [GZipped Postscript]
Alessandra Russo
PhD Thesis
May, 1996
Monitoring of Distributed Systems [Postscript]
Massoud Mansouri-Samani
Imperial College London
December, 1995
Process Algebra for Discrete Event Simulation [GZipped Postscript]
Ben Strulo
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
September, 1993
Domain Services for Distributed Systems Management [PDF]
Kevin Twidle
PhD Thesis
Imperial College London, Department of Computing
April, 1993
A Fine Grain Database System Performance Model
Julie McCann
DPhil Thesis
1992
Implementing Logic Languages by Graph Rewriting [Postscript]
Peter McBrien
Imperial College London, Department of Computing
1992
Projection-Stable and Zero Dimensional Domains [PDF]
Michael Huth
Tulane University of Louisiana, United States of America
April, 1991
Representative Queueing Network Models of Computer Systems in Terms of Time Delay Probability Distributions
Peter G. Harrison
1979

Masters' Theses

Reasoning about Concurrent Indexes [PDF]
Pedro da Rocha Pinto
Imperial College London
August, 2010
Parametric encryption hardware design
Adrien Le Masle
2009
Kinetic-spatial filters for PET dynamic studies in oncology
Katherine Gray
Imperial College London
July, 2008
Framework for Under-Approximating Solutions of Parity Games in Polynomial Time [PDF]
Huaxin Wang
Department of Computing, Imperial College London
May, 2007
Delayed Evaluation and Runtime Code Generation as a means to Producing High Performance Numerical Software [PDF]
Francis Russell
Imperial College London
May, 2006
PageRank: Three Distributed Algorithms [PDF]
Douglas de Jager
Imperial College London
August, 2004
Augmenting The Core Functionality Of An e-Science Grid Multi-Tier Front-End: GridSphere-Based Reengineering Of EPIC [PDF]
Tamas Suto
Imperial College London, Department of Computing
May, 2004
Integration of the Sun Grid Engine and Advance Reservation support into ICENI (Imperial College e-Science Networked Infrastructure)
Ali Afzal
Imperial College of Science, Technology and Medicine
August, 2003
Numerical Integration in Exact Real Arithmetic
Marko Krznaric
August, 1998
Generalised Markovian Analysis of Timed Transition Systems [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computer Science, University of Cape Town
May, 1996

Undergraduate projects

Hidden Markov Models: Applications to Flash Memory data and Hospital Arrival times [PDF]
Tiberiu Chis
Department of Computing, Imperial College London
May, 2011
Aggregation and Numerical Techniques for Passage-Time Calculations in Large Semi-Markov Models [PDF]
Marcel C. Guenther
Imperial College London
Distinguished project
June, 2009
Continuous and spatial extension of stochastic pi-calculus [PDF]
Anton Stefanek
Imperial College London
Distinguished project
June, 2009
Addressing the state space explosion problem for PEPA models through fluid-flow approximation [PDF]
Richard Hayden
Imperial College London
Distinguished project
June, 2007

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.