The **Department of Computer Science** at Leicester.

The department's research is directed to the foundations of computational models, processes and structures, and the way they support the engineering of software intensive systems. Specific areas of interest are:

- Algebraic and Categorical Structures and Methods
- Algorithm Design, Analysis and Engineering
- Computational Complexity of Algebraic Structures
- Deduction, Rewriting and Transformation
- Interaction Design and Evaluation of Socio-technical Systems
- Models of Software Intensive Systems
- Software Evolution
- Verification and Validation

More details are available from the Department's research webpages.

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse

### Filter

Keyword

Date issued

- 365 2010 - 2017
- 238 2000 - 2009
- 10 1990 - 1999
- 1 1980 - 1989
- 1 1970 - 1979
- 1 1967 - 1969