Home
About this system
Release history
Contact us

Lab. for Foundations of Computer Science

Go back

Reset results to starting set

The following are buttons which change the sort order, pressing the active button will toggle the sort order

Start Date

descending (press to sort ascending)

End Date Funded Value Relevance

CSV

Download all search results to a CSV file?

Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.

25 50 100

Refine

£102,184

Sep 09 - Sep 10

Quaid - a platform for improving data quality

EPSRC award to University of Edinburgh and Wenfei Fan

£279,162

Jan 09 - Dec 12

Solving Parity Games and Mu-Calculi

EPSRC award to University of Edinburgh and Julian Bradfield

£346,829

Mar 08 - Apr 11

Linear Observations and Computational Effects

EPSRC award to University of Edinburgh and Alex Simpson

£1,212,247

Mar 08 - Feb 12

Heterogeneous and Permanent Data

EPSRC award to University of Edinburgh and Oscar Buneman

£20,431

Sep 07 - Feb 08

Supporting crossover between quantitative modelling communities

EPSRC award to University of Edinburgh and Stephen Gilmore

£281,803

Aug 07 - Jan 11

SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis

EPSRC award to University of Edinburgh and Jane Hillston

£480,584

May 07 - Nov 10

Cleaning Integrated Data: An Approach based on Conditional Constraints and Data Provenance

EPSRC award to University of Edinburgh and Wenfei Fan

£78,463

Jan 07 - Jul 07

Linking Visual Formalisms and Specification Calculi for Biological Modeling

EPSRC award to University of Edinburgh and Gordon Plotkin

£51,765

Sep 06 - Sep 07

Relational Parametricity for Computational Effects

EPSRC award to University of Edinburgh and Alex Simpson

£8,629

Aug 06 - Dec 06

Copy of Copy of Symposium in Honour of Gordon Plotkin

EPSRC award to University of Edinburgh and Alex Simpson

Help

Refine by :

Data

The Data on this website provides information about publications, people, organisations and outcomes relating to research projects

APIs

A set of REST API's enable programmatic access to the data. Refer to the application programming interfaces GtR and GtR-2

Contact

UKRI Gateway
Polaris House
Swindon
SN2 1ET
gateway@ukri.org

Privacy | Terms of Use | OGL Data last updated: 18 Apr 2024