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

- 169 2010 - 2015
- 234 2000 - 2009
- 8 1990 - 1999
- 1 1989 - 1989