Computer Science

Projects

Projects per year 1996 2002 2007 2008 2011 2012 2013 2017 2018 2019 2022 2023 2024 2032

• 15 Not started
• 38 Active
• 290 Finished

Projects per year

Search results

• Finished

  Perceptually-relevant retrieval of figurative ...

  Austin, J.

  EUROPEAN COMMISSION

  1/01/05 → 10/06/10

  Project: Research project (funded) › Research

• Safety Critical concurrent reactive systems

  McDermid, J. A. (Principal investigator)

  THE ROYAL SOCIETY

  1/10/04 → 31/12/10

  Project: Research project (funded) › Research

• Modelling solutions for software systems

  Paige, R. F.

  EUROPEAN COMMISSION

  1/08/04 → 30/09/06

  Project: Research project (funded) › Research

• High Integrity Java Applications

  Wellings, A. J.

  EUROPEAN COMMISSION

  1/06/04 → 31/08/08

  Project: Research project (funded) › Research

• Novel high precision measurements using quantum entanglement

  Braunstein, S. L. (Principal investigator)

  EPSRC

  1/04/04 → 30/04/07

  Project: Research project (funded) › Research

• Agile Development of High-Integrity GRID Middleware

  Paige, R. F.

  EPSRC

  1/02/04 → 30/06/07

  Project: Research project (funded) › Research

• Gr/S26804

  Austin, J.

  EPSRC

  12/12/03 → 30/04/07

  Project: Research project (funded) › Research

• Quantum Algorithms for Inexact Graph Matching

  Wilson, R. C.

  EPSRC

  1/10/03 → 30/09/06

  Project: Research project (funded) › Research

• Stoch Logic Programs

  Cussens, J.

  EPSRC

  1/09/03 → 31/08/05

  Project: Research project (funded) › Research

• Far

  Pears, N. & Crispin-Bailey, C.

  1/08/03 → 30/10/05

  Project: Research project (funded) › Research

• Royal Society Wolfson Merit Award

  Braunstein, S. L. (Principal investigator)

  THE ROYAL SOCIETY

  1/08/03 → 31/12/09

  Project: Research project (funded) › Research

• Gr/S63823/01 What Emerges When Vivo Meets Silicon

  Stepney, S.

  EPSRC

  1/07/03 → 31/12/03

  Project: Research project (funded) › Research

• Visiting fellow, Rigorous UML for information Systems

  Polack, F. A. C.

  EPSRC

  16/06/03 → 30/04/07

  Project: Research project (funded) › Research

• Videoware Video Processing

  Pears, N. & Crispin-Bailey, C.

  1/04/03 → 30/06/07

  Project: Research project (funded) › Research

• Establishing Personality Mix

  Benest, I. D.

  LTSN-ICS DEVELOPMENT FUND

  1/12/02 → 31/07/07

  Project: Research project (funded) › Research

• Gr/So4642/01 - Newcastle University

  Burns, A. (Principal investigator)

  EPSRC

  1/11/02 → 31/10/05

  Project: Research project (funded) › Research

• Slats

  Pears, N.

  1/10/02 → 30/09/05

  Project: Research project (funded) › Research

• Gr/R83811/01

  Hancock, E. R.

  EPSRC

  1/10/02 → 30/04/07

  Project: Research project (funded) › Research

• DARPS: DARPS 2002 Initiative - High Integrity Real-Time Systems (HIRTS)

  McDermid, J. A. (Principal investigator)

  EPSRC

  1/10/02 → 30/09/06

  Project: Research project (funded) › Research

• Advises

  McDermid, J. A. (Principal investigator)

  EUROPEAN COMMISSION

  1/10/02 → 31/12/06

  Project: Research project (funded) › Research

• Lambda

  Edwards, A. D. N.

  EUROPEAN COMMISSION

  1/09/02 → 31/12/08

  Project: Research project (funded) › Research

• First

  Burns, A. (Principal investigator)

  EUROPEAN COMMISSION

  1/05/02 → 30/04/05

  Project: Research project (funded) › Research

• Artist

  Burns, A. (Principal investigator)

  EUROPEAN COMMISSION

  1/04/02 → 31/03/06

  Project: Research project (funded) › Research

• Gr/R30792/01 Stoch. Constraint Prog.

  Manandhar, S.

  EPSRC

  1/01/02 → 31/12/03

  Project: Research project (funded) › Research

• Gr/R67668/01 Dame

  Austin, J.

  EPSRC

  1/01/02 → 29/09/05

  Project: Research project (funded) › Research

• Gr/R72440/01 Safe Pointers..Trans

  Plump, D.

  EPSRC

  1/01/02 → 31/05/03

  Project: Research project (funded) › Research

• Gr/R70590/01 Matisse-Platform Grant

  McDermid, J. A. (Principal investigator)

  EPSRC

  1/01/02 → 31/12/04

  Project: Research project (funded) › Research

• Gr/R55191/01 Fedaura

  Austin, J.

  EPSRC

  1/11/01 → 31/10/04

  Project: Research project (funded) › Research

• Gr/R74062/01 Network

  McDermid, J. A. (Principal investigator)

  EPSRC

  22/10/01 → 21/10/04

  Project: Research project (funded) › Research

• Gr/N33348/01 Spectral Retreival

  Hancock, E. R.

  EPSRC

  1/05/01 → 31/10/04

  Project: Research project (funded) › Research

• G4Rd Ct 2000 00399 Victoria

  McDermid, J. A. (Principal investigator)

  EUROPEAN COMMISSION

  1/01/01 → 30/11/04

  Project: Research project (funded) › Research

• Netpro II

  Crispin-Bailey, C. & Pears, N.

  EUROPEAN COMMISSION

  1/12/00 → 30/11/03

  Project: Research project (funded) › Research

• Gr/N01040 Machine Learning

  Kazakov, D. L.

  EPSRC

  1/10/00 → 12/11/03

  Project: Research project (funded) › Research

• Gr/M94113

  Audsley, N. C.

  EPSRC

  1/10/00 → 30/06/04

  Project: Research project (funded) › Research

• Gr/N16129 Auto.Gen. Of Implied Cons.

  Frisch, A. M.

  EPSRC

  1/10/00 → 30/09/03

  Project: Research project (funded) › Research

• Gr/N05963 Real-Time Software

  Burns, A. (Principal investigator)

  EPSRC

  1/09/00 → 31/08/03

  Project: Research project (funded) › Research

• Gr/N13999 Dependability Of Systems

  Burns, A. (Principal investigator)

  EPSRC

  1/07/00 → 31/03/09

  Project: Research project (funded) › Research

• Ist 1999 10226 Euredit

  Austin, J.

  EUROPEAN COMMISSION

  1/03/00 → 28/02/03

  Project: Research project (funded) › Research

• Af/98/0238/Fellowship:R C Wilson

  Wilson, R. C.

  EPSRC

  1/10/98 → 30/09/03

  Project: Research project (funded) › Research

• NETPRO-I: NETPRO-I

  Crispin-Bailey, C.

  1/09/96 → 1/09/99

  Project: Other project › Project from former institution