University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Butler, M"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.


Fathabadi, Asieh Salehi, Dalvandi, Mohammadsadegh, Butler, Michael and Al-Hashimi, Bashir M. (2019) Verifying Cross-layer Interactions through Formal Model-based Assertion Generation IEEE Embedded Systems Letters.

Shrimpton, RE, Butler, M, Morel, A-S, Eren, E, Hue, SS and Ritter, MA (2009) CD205 (DEC-205): A recognition receptor for apoptotic and necrotic self MOLECULAR IMMUNOLOGY, 46 (6). pp. 1229-1239.

Butler, M, Morel, A-S, Jordan, WJ, Eren, E, Hue, S, Shrimpton, RE and Ritter, MA (2007) Altered expression and endocytic function of CD205 in human dendritic cells, and detection of a CD205-DCL-1 fusion protein upon dendritic cell maturation IMMUNOLOGY, 120 (3). pp. 362-371.

Bushell, ME, Sequeira, SIP, Khannapho, C, Zhao, H, Chater, KF, Butler, MJ, Kierzek, AM and Avignone-Rossa, CA (2006) The use of genome scale metabolic flux variability analysis for process feed formulation based on an investigation of the effects of the zwf mutation on antibiotic production in Streptomyces coelicolor ENZYME AND MICROBIAL TECHNOLOGY, 39 (6). pp. 1347-1353.

Conference or Workshop Item

Dalvandi, Mohammadsadegh, Butler, Michael and Fathabadi, Asieh Salehi (2019) SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B In: Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), 07 Oct 2019, Porto, Portugal.


Courtenay, M and Butler, M (2002) Essential Nurse Prescribing Cambridge Univ Pr. ISBN 0521693047

Courtenay, M and Butler, M (1999) Nurse Prescribing Cambridge Univ Pr. ISBN 1841100072

This list was generated on Thu Mar 4 01:12:46 2021 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800