Publications Home » Theses
Theses
On this page:
PhD Theses
- Lock Inference for Java
![[PDF]](/decor/icon-pdf-mini.png)
- 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
- Haoxuan (Max) Cai
- Imperial College
- June, 2012
- An Active-Library Based Investigation into the Performance Optimisation of Linear Algebra and the Finite Element Method
- Francis Russell
- Imperial College London
- July, 2011
- Building a Better Grid Authentication System with Kerberos
- David McBride
- Imperial College of Science, Technology and Medicine
- July, 2011
- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Imperial College London
- April, 2011
- Finite-State Abstractions For Probabilistic Computation Tree Logic
- Daniel Wagner
- Imperial College London, Department of Computing
- February, 2011
- Finding the Lazy Programmer's Bugs
- Tristan Allwood
- Imperial College London
- January, 2011
- Locking Atomic Sections
- David Cunningham
- May, 2010
- Locking Atomic Sections
- May, 2010
- Locking Atomic Sections
- David Cunningham
- May, 2010
- Queueing network models of Zoned RAID system performance
- Abigail Lebrecht
- Imperial College London
- January, 2010
- Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank
- Douglas de Jager
- Imperial College London
- December, 2009
- Existential Types for Subtype Variance - Java Wildcards and Ownership Types
- Nicholas Cameron
- Imperial College London
- April, 2009
- On The Design of Chorded Languages
- Alexis Petrounias
- Imperial College London
- December, 2008
- Cooperatively combining program verifiers: foundations and tool support
- Nathaniel Charlton
- October, 2008
- Decision problems for partial specifications: empirical and worst-case complexity
- Adam Antonik
- October, 2008
- Adaptive Response System for Distributed Denial-of-Service Attacks
- Vrizlynn Thing
- Imperial College London
- August, 2008
- Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis
- Tamas Suto
- Imperial College London, Department of Computing
- August, 2008
- Automatic Generation and Evaluation of Recombination Games
- Cameron Browne
- Queensland University of Technology (QUT)
- July, 2008
- Response Times in Healthcare Systems
- Susanna Wau Men Au-Yeung
- Imperial College London
- January, 2008
- A Model of Effects with an Application to Ownership Types
- Matthew Smith
- May, 2007
- Code Mobility and Java RMI
- Alexander Ahern
- Imperial College London
- 2007
- Flexible Dynamic Linking
- Alex Buckley
- Department of Computing, Imperial College London
- February, 2007
- Contract Related Agents
- John Knottenbelt
- Department of Computing, Imperial College London
- December, 2006
- Digital Goods as Public Durable Goods
- Thierry Rayna
- University of Aix-Marseille
- December, 2006
- A compositional, collaborative performance pipeline
![[GZipped Postscript]](/decor/icon-gzps-mini.png)
- Ashok Argent-Katwala
- Department of Computing, Imperial College London, University of London
- November, 2006
- Dynamic Web Data: a Process Algebraic Approach
- Sergio Maffeis
- PhD Thesis
- Imperial College London, Department of Computing
- August, 2006
- Type Inference for JavaScript
- Christopher Anderson
- Department of Computing, Imperial College London
- March, 2006
- Parallel Algorithms for Hypergraph Partitioning
- Aleksandar Trifunovic
- Imperial College London
- February, 2006
- Specifying and Implementing Secure Mobile Applications in the Channel Ambient System
- Andrew Phillips
- Imperial College London
- October, 2005
- Solving Differential Equations in Exact Real Arithmetic
- Marko Krznaric
- September, 2005
- A Formal Approach to Analysis and Refinement of Policies
- Arosha Bandara
- Imperial College London, Department of Computing
- July, 2005
- Predictable Dynamic Plugin Architectures
- Robert Chatley
- Imperial College London
- 2005
- An Adaptive Policy Based Framework for Network Management
- Leonidas Lymberopoulos
- Imperial College London
- October, 2004
- Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models
- Nicholas J. Dingle
- Department of Computing, Imperial College London. University of London.
- October, 2004
- Steady-State and Response Time Analysis of Modulated Queues and Networks with Batches
- Harf Zatschler
- University of London
- August, 2004
- Reduction Semantics
for
Ambient Calculi
- Maria Vigliotti
- Imperial College
- Ph.D. Thesis, Department of Computing, Imperial College London
- 2004
- Trust Management for Internet Applications
- Tyrone Grandison
- Imperial College London
- July, 2003
- The Traverses of a Post-Keynesian Model of a Corn-Credit Economy
- Colin Richardson
- University of Tasmania
- October, 2002
- Contextual Mediation to Support Ubiquitous Computing
- Daniel Chalmers
- Imperial College London
- August, 2002
- A Policy Framework for Management of Distributed Systems
- Nicodemos Damianou
- Imperial College London
- March, 2002
- Performance Evaluation of Enterprise JavaBeans Architectures
- Catalina Lladó
- Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
- December, 2001
- Towards Reliable Modelling with Stochastic Process Algebras
- Jeremy T. Bradley
- Dept. of Computer Science, University of Bristol
- February, 2000
- Parallel Performance Analysis of Large Markov Models
- 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
- July, 1998
- Policy Service for Distributed Systems
![[Postscript]](/decor/icon-ps-mini.png)
- Damian Marriott
- Imperial College London
- October, 1997
- Analysis of Trace Data from Fluoresence Based Sanger Sequencing
- David Thornley
- Department of Computing, Imperial College London
- September, 1997
- Interactive Configuration Management for Distributed Systems
- Hal Fossa
- Imperial College London
- September, 1997
- Load Balancing using Process Migration
- Mark Nuttall
- Imperial College London
- August, 1997
- Domain-Based Security for Distributed Object Systems
- Nicholas Yialelis
- Imperial College London
- October, 1996
- Modal Logics as Labelled Deductive Systems
- Alessandra Russo
- PhD Thesis
- June, 1996
- Monitoring of Distributed Systems
- Massoud Mansouri-Samani
- Imperial College London
- December, 1995
- Process Algebra for Discrete Event Simulation
- Ben Strulo
- Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
- October, 1993
- Domain Services for Distributed Systems Management
- Kevin Twidle
- PhD Thesis
- Imperial College London, Department of Computing
- May, 1993
- A Fine Grain Database System Performance Model
- Julie McCann
- DPhil Thesis
- 1992
- Implementing Logic Languages by Graph Rewriting
- Peter McBrien
- Imperial College London, Department of Computing
- 1992
- Projection-Stable and Zero Dimensional Domains
- Michael Huth
- Tulane University of Louisiana, United States of America
- May, 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
- Pedro da Rocha Pinto
- Imperial College London
- September, 2010
- Parametric encryption hardware design
- Adrien Le Masle
- 2009
- Kinetic-spatial filters for PET dynamic studies in oncology
- Katherine Gray
- Imperial College London
- August, 2008
- Framework for Under-Approximating Solutions of Parity Games in Polynomial Time
- Huaxin Wang
- Department of Computing, Imperial College London
- June, 2007
- Delayed Evaluation and Runtime Code Generation as a means to Producing High Performance Numerical Software
- Francis Russell
- Imperial College London
- June, 2006
- PageRank: Three Distributed Algorithms
- Douglas de Jager
- Imperial College London
- September, 2004
- Augmenting The Core Functionality Of An e-Science Grid Multi-Tier Front-End: GridSphere-Based Reengineering Of EPIC
- Tamas Suto
- Imperial College London, Department of Computing
- June, 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
- September, 2003
- Numerical Integration in Exact Real Arithmetic
- Marko Krznaric
- September, 1998
- Generalised Markovian Analysis of Timed Transition Systems
- William J. Knottenbelt
- Department of Computer Science, University of Cape Town
- June, 1996
Undergraduate projects
- Hidden Markov Models: Applications to Flash Memory data and Hospital Arrival times
- Tiberiu Chis
- Department of Computing, Imperial College London
- June, 2011
- Aggregation and Numerical Techniques for Passage-Time Calculations in Large Semi-Markov Models
- Marcel C. Guenther
- Imperial College London
- Distinguished project
- July, 2009
- Continuous and spatial extension of stochastic pi-calculus
- Anton Stefanek
- Imperial College London
- Distinguished project
- July, 2009
- Addressing the state space explosion problem for PEPA models through fluid-flow approximation
- Richard Hayden
- Imperial College London
- Distinguished project
- July, 2007
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.