• 1999/1
    Gavin Lowe and Mei Lin Hui.
    Safe simplifying transformations for security protocols or not just the Needham Schroeder Public Key Protocol
  • 1999/2
    Iain Stewart.
    Program schemes, arrays, Linstrom quantifiers and zero-one laws
  • 1999/3
    Gavin Lowe.
    Defining Information Flow
  • 1999/4
    Duncan Parkes and Rick Thomas.
    Reduced and Irreducible Word Problems of Groups
  • 1999/5
    Iain Stewart.
    Logical definability verus computational complexity: another equivalence
  • 1999/6
    Roy Crole.
    Incompleteness of Linear Bisimilarity for Contextual Equivalence
  • 1999/7
    Zhiming Liu and Mathai Joseph.
    Verification, Refinement and Scheduling of Real-time Programs
  • 1999/8
    Irek Ulidowski.
    Finite Axiom Systems for Testing Preorder and De simone Process Languages
  • 1999/9
    Jacqui Ramagge and Wayne Wheeler.
    Cohomology of Buildings and Finiteness properties of A~n - Groups
  • 1999/10
    Martin Edjvet, Gerhard Rosenberger, Michael Stille and Rick Thomas.
    On certain finite generalized tetrahedran groups
  • 1999/11
    Ben Donovan, Paul Norris and Gavin Lowe.
    Analyzing a Library of Security Protocols using Casper and FDR
  • 1999/12
    A.H. Forrest, J.R. Hunton and J. Kellendonk.
    Cohomology of Canonical Projection Tilings
  • 1999/13
    Alan Forrest, John Hunton and Johannes Kellendonk.
    Projection Quasicrystals II: Versus Substitution Tilings
  • 1999/14
    Zhiming Liu, Anders P. Ravn and Xiashan Li.
    Unifying Proof Methodologies of Duration Calculusand Timed Linear Temporal Logic
  • 1999/15
    Irek Ulidowski and Iain Phillips.
    Ordered SOS Rules and Process Languages for Branching and Eager Bisimulations
  • 1999/16
    Leon Greenberg and Marco Marletta.
    Numerical Solution of Nonselfadjout Sturm-Liouville Problems and Related Systems
  • 1999/17
    F. Brezzi, P. Houston, D. Marini and E. Suli.
    Modeling Subgrid Viscosity for Advection-Diffusion Problems
  • 1999/18
    Florent Madelaine and Iain A. Stewart.
    Some problems not definable using structure homomorphisms
  • 1999/19
    K. Harriman, D.J. Gavaghan, P. Houston and E. Suli.
    Adaptive Finite Element Simulation of Currents at Microelectrodes to a Guaranteed Accuracy. Introduction using a Simple Model Problem
  • 1999/20
    K. Harriman, D.J. Gavaghan, P. Houston and E. Suli.
    Adaptive Finite Element Simulation of Currents at Microelectrodes to a Guaranteed Accuracy. First Order EC' Mechanism at Inlaid and Recessed Discs
  • 1999/21 Jeremy Levesley and David L. Ragozin.
    Local Approximation on Manifolds using Radial Functions and Polynomials.
  • 1999/22
    Paul Houston and Endre Suli.
    Stabilized hp-Finite Element Approximation of Partial Differential Equations with Nonnegative Characteristic Form
  • 1999/23
    S.J. Hales and J. Levesley.
    Multi-Level Approximation to Scattered Data using Inverse Multiquadrics
  • 1999/24
    Nicole Snashall and John Watters.
    Skew polynomials and algebraic reflexivity
  • 1999/25
    C.M. Campbell, E.F. Robertson, N. Ruskuc and R.M. Thomas.
    Direct Products of Automatics Semigroups

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.