Eike Ritter

Research Projects

  1. EPSRC : Midlands Graduate School in the Foundations of Computing Science 2010

    Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    18/08/1017/08/11

    Project: Research Councils

  2. Verifying Interoperability requirements in Pervasive Systems

    Mark Ryan & Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    8/10/087/03/13

    Project: Research Councils

  3. Midlands Graduate School in Foundations of Computer Science 2007- 2009

    Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/0730/06/09

    Project: Research Councils

  4. Franco-British Joint Research Programme 1998

    Valeria De Paiva & Eike Ritter

    BRITISH COUNCIL

    1/02/9831/01/01

    Project: Other Government Departments

  5. XSLAM - The Explicit Substitution Linear Abstract Machine

    Eike Ritter & Valeria De Paiva

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/9731/03/00

    Project: Research Councils