Browse by Academic Unit (A-Z)

A

Allwood, J.W., Williams, A., Uthe, H. et al. (4 more authors) (2021) Unravelling plant responses to stress—the importance of targeted and untargeted metabolomics. Metabolites, 11 (8). 558. ISSN 2218-1989

Angelova, P.R., Choi, M.L., Berezhnov, A.V. et al. (16 more authors) (2020) Alpha synuclein aggregation drives ferroptosis : an interplay of iron, calcium and lipid peroxidation. Cell Death & Differentiation, 27 (10). pp. 2781-2796. ISSN 1350-9047

C

Coveney, S. and Clarke, N. (2014) Pattern Formation in Polymer Blend Thin Films: Surface Roughening Couples to Phase Separation. Physical Review Letters, 113. 218301. ISSN 0031-9007

D

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Brief announcement: On strong observational refinement and forward simulation. In: 35th International Symposium on Distributed Computing (DISC 2021). 35th International Symposium on Distributed Computing (DISC 2021), 04-08 Oct 2021, Freiburg, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 209 . Schloss Dagstuhl , 55:1-55:4. ISBN 9783959772105

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects of Computing, 33 (4-5). pp. 547-573. ISSN 0934-5043

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2011) Building a refinement checker for Z. [Preprint] (Submitted)

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, T. (2006) Issues in implementing a model checker for Z. In: Liu, Z. and He, J., (eds.) Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. 8th International Conference on Formal Engineering Methods, ICFEM 2006, 01-03 Nov 2006, Macao, China. Lecture Notes in Computer Science, LNPSE 4260 . Springer Berlin Heidelberg , pp. 678-696. ISBN 9783540474609

Doherty, S., Dongol, B., Wehrheim, H. et al. (1 more author) (2018) Making linearizability compositional for partially ordered executions. In: Furia, C. and Winter, K., (eds.) Integrated Formal Methods. IFM 2018, 05-07 Sep 2018, Maynooth, Ireland. Lecture Notes in Computer Science, 11023 . Springer Verlag , pp. 110-129. ISBN 9783319989372

F

Field, K.J. orcid.org/0000-0002-5196-2360, Daniell, T., Johnson, D. et al. (1 more author) (2021) Mycorrhizal mediation of sustainable development goals. Plants, People, Planet, 3 (5). pp. 430-432. ISSN 2572-2611

Fields, B., Moffat, E.K., Harrison, E. orcid.org/0000-0002-2050-4631 et al. (3 more authors) (2021) Genetic variation is associated with differences in facilitative and competitive interactions in the Rhizobium leguminosarum species complex. Environmental Microbiology. ISSN 1462-2912

K

Kantzas, E.P. orcid.org/0000-0002-7610-1874, Val Martin, M. orcid.org/0000-0001-9715-0504, Lomas, M.R. et al. (14 more authors) (2022) Substantial carbon drawdown potential from enhanced rock weathering in the United Kingdom. Nature Geoscience, 15 (5). pp. 382-389. ISSN 1752-0894

Karatrantos, A., Clarke, N., Composto, R.J. et al. (1 more author) (2016) Entanglements in polymer nanocomposites containing spherical nanoparticles. Soft Matter, 12 (9). pp. 2567-2574. ISSN 1744-683X

Karatrantos, A., Composto, R.J., Winey, K.I. et al. (1 more author) (2017) Polymer and spherical nanoparticle diffusion in nanocomposites. Journal of Chemical Physics, 146 (20). 203331. ISSN 0021-9606

L

Lim, M.L., Ooi, B., Jungebluth, P. et al. (22 more authors) (2014) Characterization of Stem-Like Cells in Mucoepidermoid Tracheal Paediatric Tumor. PLoS One, 9 (9). e107712. ISSN 1932-6203

Lin, C.C., Griffin, P.J., Chao, H. et al. (6 more authors) (2017) Grafted polymer chains suppress nanoparticle diffusion in athermal polymer melts. The Journal of Chemical Physics, 146. 203332. ISSN 0021-9606

M

Maltby, L. orcid.org/0000-0003-3817-4033, Brown, R., Faber, J.H. et al. (4 more authors) (2021) Assessing chemical risk within an ecosystem services framework: Implementation and added value. Science of The Total Environment, 791. 148631. ISSN 0048-9697

Murphy, A.R.J., Scanlan, D.J., Chen, Y. et al. (8 more authors) (2021) Transporter characterisation reveals aminoethylphosphonate mineralisation as a key step in the marine phosphorus redox cycle. Nature Communications, 12. 4554. ISSN 2041-1723

N

Nebel, C., Sumasgutner, P., Rodseth, E. et al. (4 more authors) (2021) Multigenerational pedigree analysis of wild individually marked black sparrowhawks suggests that dark plumage coloration is a dominant autosomal trait. Journal of Zoology, 315 (2). pp. 123-130. ISSN 0952-8369

Newton, S., Kong, F., Carlton, A.J. et al. (8 more authors) (2022) Neuroplastin genetically interacts with Cadherin 23 and the encoded isoform Np55 is sufficient for cochlear hair cell function and hearing. PLoS Genetics, 18 (1). e1009937. ISSN 1553-7390

O

Ortega, I., Sefat, F., Deshpande, P. et al. (5 more authors) (2014) Combination of Microstereolithography and Electrospinning to Produce Membranes Equipped with Niches for Corneal Regeneration. Journal of Visualised Experiments, 91. e51826.

S

Soubes, S. (2015) Cultivating interdisciplinary researcher communities: The Crucible effect. In: Vitae Occasional Papers. Vitae Researcher Development International Conference, 08-09 Sep 2015, Manchester. Careers Research and Advisory Centre (CRAC) Limited , pp. 23-32. ISBN 9781906774509

T

Taylor Buck, N. and While, A. (2020) The urban bioeconomy: extracting value from the ecological and biophysical. Journal of Environmental Planning and Management, 64 (2). pp. 182-201. ISSN 0964-0568

Thomson, J.M. orcid.org/0000-0002-4293-4851, Foldnes, N., Uppstad, P.H. et al. (3 more authors) (2020) Can children's instructional gameplay activity be used as a predictive indicator of reading skills? Learning and Instruction, 68. 101348. ISSN 0959-4752

V

Vakilifard, N., Kantzas, E.P. orcid.org/0000-0002-7610-1874, Neil R, E. et al. (2 more authors) (2021) The role of enhanced rock weathering deployment with agriculture in limiting future warming and protecting coral reefs. Environmental Research Letters, 16 (9). 094005. ISSN 1748-9326

Van den Brink, P.J., Alix, A., Thorbek, P. et al. (6 more authors) (2021) The use of ecological models to assess the effects of a plant protection product on ecosystem services provided by an orchard. Science of The Total Environment, 798. 149329. ISSN 0048-9697

Villellas, J, Ehrlén, J, Crone, EE et al. (49 more authors) (2021) Phenotypic plasticity masks range-wide genetic differentiation for vegetative but not reproductive traits in a short-lived plant. Ecology Letters, 24 (11). pp. 2378-2393. ISSN 1461-023X

W

Warren, N.J., Mykhaylyk, O.O., Mahmood, D. et al. (2 more authors) (2014) RAFT Aqueous Dispersion Polymerization Yields Poly(ethylene glycol)-Based Diblock Copolymer Nano-Objects with Predictable Single Phase Morphologies. Journal of the American Chemical Society, 136 (3). 1023 - 1033. ISSN 0002-7863

Weir, M.P., Johnson, D.W., Boothroyd, S.C. et al. (6 more authors) (2016) Distortion of Chain Conformation and Reduced Entanglement in Polymer–Graphene Oxide Nanocomposites. ACS Macro Letters, 5 (4). pp. 430-434. ISSN 2161-1653

Winter, K., Smith, G. and Derrick, J. (2019) Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184. 102308. ISSN 0167-6423