| A European Network for Increased Safety at Small Enterprises
| December 31, 1999 |
| A System for Parallel Model Checking
| December 31, 2002 |
| Accompanying Measure on System Dependability
| March 31, 2003 |
| Advanced Multi-Agency Service Environment
| December 31, 2002 |
| Algebraic Net Theory
| May 31, 1998 |
| Algebraic Tools for Modelling Telecommunication Systems
| March 31, 1998 |
| Alliance Project
| November 30, 1999 |
| An active information repository for bioinformatics and neuroinformatics research
| November 30, 1999 |
| Analysis of Safety Requirements for Safety-Critical Systems
| February 29, 1996 |
| Applications of Smartdust in Transport
| June 30, 2005 |
| Assembly Language Programming - Multimedia Courseware (TDF)
| December 31, 1996 |
| Assessing, Measuring and Benchmarking Resilience
| December 31, 2009 |
| Assuring Programmable
Electronic Systems
| October 31, 1999 |
| Asynchronous Circuit Design (Working Group)
| April 30, 1999 |
| Asynchronous circuit synthesis and testing
| September 30, 1998 |
| Asynchronous Communication Mechanisms for Real-Time Systems
| March 31, 2001 |
| Automated Synthesis of Asynchronous Control Circuits
| December 31, 1995 |
| Automated Synthesis of Asynchronous Control Circuits (2)
| January 31, 1996 |
| Automated Synthesis of Synchronous and Asynchronous Parallel Controllers (Joint application with Deptartment of Electronic and Electrical Engineering)
| September 30, 1996 |
| Bainbridge
| September 30, 1992 |
| Basic Research on Advanced Distributed Computing: from Algorithms to Systems
| August 31, 1995 |
| Basic Research On Advanced Distributed Computing: from Algorithms to SysTems II
| July 31, 1998 |
| Basic Research On Advanced Distributed Computing: from Algorithms to SysTems WG
| August 31, 1999 |
| Behavioural REfinements for Asynchronous Circuit syntHesis
| January 14, 2002 |
| Behavioural Synthesis of Systems with Heterogenous Timing
| November 30, 1999 |
| Bioinformatics analysis of aquatic and microbial metagenomics and biogeochemical cycles
| July 31, 2008 |
| Bioinformatics research group (outline bid)
| November 30, 1999 |
| Box Algebra with Asynchronous Communications
| February 28, 2003 |
| Box Algebra with Time
| May 31, 2001 |
| BRAIN
| September 30, 1995 |
| Building responsive and available information discovery and repository services
| June 30, 1996 |
| CaberNet Research Training Institute
| January 31, 1998 |
| CAD Tools
| March 31, 1999 |
| Causal Calculi Based on Nets
| July 23, 1995 |
| CAusal SemantIcs of Nets with inhibitOr arcs
| September 30, 2007 |
| Centre for High Performance Computing and Networking
| September 11, 1997 |
| Commercial R3 IEC Service Provision
| May 31, 2009 |
| Common Brokerage Architecture
| September 30, 1998 |
| Comparison of Conventional and Formal Methods in the Development of a Secure System
| September 30, 1996 |
| Compositional Nets For Real-Time Systems
| March 31, 2000 |
| COmputational HEteRogEneously timed NeTworks
| August 2, 2002 |
| Contested Common Land: environmental governance, law and sustainable land management
| December 31, 2009 |
| Continuing Education - C++
| August 2, 2002 |
| Control and Coordination of Complex Distributed Services
| December 31, 2000 |
| COREGRID
| September 21, 2008 |
| DaPPLE: A Visual Design System for Parallel Program Generation
| November 30, 1999 |
| Deconstructive Evaluation of Risk In Dependability Arguments and Safety Cases
| December 31, 2003 |
| Dependability of Computer-based Systems
| March 31, 2007 |
| Dependable Computing Systems Centre
| December 31, 2008 |
| Dependable Embedded system design with petri NeTs
| July 31, 2000 |
| Dependable Services For Competitive Bidding on the Internet
| January 31, 2002 |
| Dependable System of Systems
| March 31, 2003 |
| Dependable WWW Services
| October 31, 1997 |
| Design for Validation
| December 14, 1998 |
| Design tools for synthesis of asynchronous systems and circuits
| March 31, 1997 |
| Designs Amenable to Safety Case Demonstration
| August 31, 1996 |
| Developing Efficient Epilepsy Neurosurgery Approaches from a Model of Patrial Seizure Spreading in Cortical Networks
| April 30, 2008 |
| Development of database for microbial genome comparisons using a parallel, object based architecture
| May 13, 2007 |
| Disaster Recovery in Telecommunications Systems
| October 31, 1997 |
| Distributed Query Processing on the Grid
| March 31, 2005 |
| Diversity in Safety Critical Software
| November 30, 1999 |
| Diversity with Off-The-Shelf Components
| June 30, 2004 |
| Dynamic Operating Policies for Commercial Hosting Environments
| March 31, 2009 |
| E-Commerce
| December 12, 2002 |
| e-Science Solutions for the Analysis of Complex Systems
| February 28, 2005 |
| Economics-Inspired Instant Trust Mechanismc for Service Provision Industry
| March 31, 2009 |
| Embedded Middleware in Mobility Applications
| October 31, 2008 |
| Enaling GRID Technologies for Comparative Genomics
| December 31, 2007 |
| EPSRC Studentship - AS McGough
| September 30, 1999 |
| EuroFGI (Future Generation Internet)
| May 31, 2008 |
| European Network of Clubs for REliability and Safety of Software
| June 30, 1997 |
| Examine the use of enterprise modelling and information technology in re-engineering business processes in primary health care
| November 30, 1999 |
| Exception Handling in Concurrent and Distributed Systems
| November 30, 1999 |
| Extended Object Databases for building distributed object applications
| November 30, 1999 |
| Extended Transactions
| September 30, 2001 |
| Fault tolerance in telecommunications systems
| December 31, 1998 |
| Formal Methods Europe Information Resources
| June 30, 1997 |
| Formal Methods Industrial Seminars
| November 30, 1997 |
| Framework for Dynamically Configurable Distributed Transactional Applications
| July 31, 1999 |
| Generic Systems Synthesis
| November 30, 1999 |
| GOLDRUSH Megaserver for non-numeric parallel computing
| October 31, 1999 |
| Grid Based Information Models to Support the Rapid Innovation of New High Value Added Chemicals
| July 31, 2007 |
| Grid Oriented Lifecycle Development
| July 31, 2007 |
| Grid Scheduling, Hosting Environment Design
| October 31, 2005 |
| GRID-Enabled Neuroscience
| March 31, 2004 |
| Hazard-free arbiter design
| February 29, 2000 |
| High Performance (Parallel) Object-Oriented Software Systems
| December 31, 2004 |
| Hollingwood -EPSRC Case
| September 30, 1998 |
| Impact of architecture on telecommunications
| October 31, 1993 |
| Implicit Parallel Programming on the Newcastle Parallel Machine
| September 30, 1999 |
| Information Coordination and Sharing in Virtual Enterprises
| October 30, 2003 |
| Infrastructure for Responsive and Available Distributed Systems
| March 31, 1999 |
| Instantiating Responsibility in Information Systems
| August 31, 2000 |
| InstantSOAP
| October 31, 2008 |
| Integration of Safety Analysis Techniques for Process Control Systems
| March 31, 1997 |
| International Exchange - N Anissimov
| December 24, 1996 |
| Java in Pep
| March 31, 2004 |
| Leverhulme Fellowship - E. Pastor
| November 25, 1998 |
| Malicious-and Accidental-Fault Tolerance for Internet Applications
| February 28, 2003 |
| Middleware for Composable and Dynamically Adaptable Services
| May 31, 2003 |
| Middleware Services and Tools for managing Resource Sharing in Virtual Organisations
| July 31, 2003 |
| Middleware Services for Scalable Networked Virtual Environments
| March 31, 2006 |
| Middleware Technologies for Adaptive and Composable Distributed Systems
| August 31, 2005 |
| Mobile Environmental Sensor Grids
| September 30, 2009 |
| MOdel VIsualisation for asynchronous circuit dEsign
| December 31, 2002 |
| Multi-party processes for Large-scale Electronic Commerce transactions
| March 22, 2000 |
| Multithread Processor Design
| May 31, 2000 |
| MyGrid
| December 31, 2002 |
| myGrid - directly supporting the e-scientist
| March 30, 2005 |
| MYGRID Studentship
| September 21, 2009 |
| MYGRID Studentship 2
| September 30, 2007 |
| National Host Interconnection Experiment
| December 31, 1996 |
| Network of Excellence in Distributed Computing Systems Architectures
| June 30, 1999 |
| Network of Excellence in Distributed Computing Systems Architectures
| October 23, 1995 |
| Network of Excellence in Distributed Computing Systems Architectures
| March 31, 2004 |
| Network of networks in system theory
| November 30, 1999 |
| North East Regional E-Science Centre
| September 30, 2004 |
| Object-oriented Programming technology for Extensible Network SERVicEs
| May 31, 1999 |
| Openbase development
| July 21, 1996 |
| Organizational Requirements Definition for Information Technology Systems
| December 31, 1993 |
| Origin of the Eukaryotic Proteome and Minimal Function for Mitochondria
| May 31, 2008 |
| Parallel and distributed object-oriented languages: semantics and development method
| November 30, 1999 |
| Parallel Combinational Algorithms
| November 30, 1999 |
| Parallel Object Oriented Database Servers
| March 31, 2001 |
| Parallel Object Oriented Database Servers
| December 31, 2004 |
| Performance Engineering of Distributed Systems and Wide Area Networks
| November 30, 2000 |
| Petri Nets - Postdoctoral Fellowship (Dr. Mirkowski)
| January 31, 1999 |
| Petrify tools
| November 30, 1999 |
| PhD Case Studentship
| August 31, 2005 |
| Predictably Dependable Computing Systems 2
| October 31, 1995 |
| PROTEUS: Understanding changing requirements
| April 30, 1996 |
| Protocols for Adhoc Collaborative Environments
| October 31, 2005 |
| Quality of Service in Dynamically Reconfigurable Environments
| December 31, 2008 |
| Quality of Service in Multi Mode Delivery of Teleteaching
| November 30, 1999 |
| Quantitative Modelling In Parallel Systems
| September 30, 1995 |
| Real-time Visua;isation of a Shared Geo-spatial Model
| September 30, 2007 |
| Requirements Engineering Network Of International cooperating Research groups
| May 31, 2000 |
| Research network in systems in public spaces
| November 30, 1999 |
| Resilience for Survivability in IST
| December 31, 2008 |
| Rigorous Open Development Environment for Complex Systems
| October 31, 2007 |
| Robust Interactive Services over Broadband Networks
| December 31, 1999 |
| Royal Society Fellowship - Bin Liu
| March 4, 1999 |
| SafeGames: A Game Theoretic Approach for the Design of Safety-Critical Systems
| October 31, 1999 |
| SDSM
| April 3, 1994 |
| Secure Cross Enterprise Message Bus
| September 30, 2009 |
| Security Architecture Issues of CORBA
| March 31, 2000 |
| Software fault tolerance in concurrent object oriented programming
| March 31, 1997 |
| Software Implemented Fault Tolerance for Telecommunications
| October 1, 1998 |
| Software Tools and Techniques for Network Wide Services
| March 31, 1999 |
| Splitting Atoms Safely (in Software Design)
| September 21, 2008 |
| Sponsered Research Agreement
| November 30, 2007 |
| SSME Network: UK Network of Researchers in Services Sciences
| December 31, 2002 |
| Subversion in Dispersed e-Business
| October 31, 2000 |
| Technologies for Road Advanced Cooperative Knowledge Sharing Sensors
| October 31, 2008 |
| Tele Application for European Regions
| February 25, 2000 |
| The Development of a Prototype for a Continuous Media File Server System
| November 30, 1999 |
| The Development of an Information Repository for Microbial Genome Comparisons using a Parallel Object Based Architecture
| December 31, 2002 |
| The North East Regional e-Science Centre
| September 30, 2008 |
| Theoretical Approach for the Modelling and Analysis of Hybrid Systems
| November 30, 1999 |
| Time-Predictable Hardware Platforms
| March 31, 2000 |
| Tools and Architectural Support for Building Fault-Tolerant Applications
| October 31, 1995 |
| Traceability for Dependable Avionic Systems
| March 31, 2000 |
| Translation of logic equations into Petri net based on specifications. Miss P.H. Lee (Vacation Scholarship)
| August 31, 1996 |
| Trust Economics Feasibility Study
| October 16, 2007 |
| Trusted and QoS-Aware Provision of Application Services
| March 31, 2005 |
| Trusted Coordination in Dynamic Virtual Organisations
| August 31, 2006 |
| Trustworthy Assistive Technologies
| February 28, 2010 |
| User friendly authentication and authorisation for GRID environments
| August 31, 2009 |
| Validation Techniques for Real-Time Distributed Systems
| September 30, 1998 |
| Verifying Interaction Abstractions in High Integrity Cocurrent Systems using Petri Nets
| November 30, 1999 |
| Vidipedia: Community indexing for audiovisual content
| January 8, 2009 |
| Visit of Prof. V. Krarchenko
| February 23, 2004 |
| Visiting Fellow: Dr J. Goldberg
| September 30, 1996 |
