Long-term outcomes of patients admitted to an intensive care unit with intentional self-harm
Maiden, Matthew J, Trisno, Roth, Finnis, Mark E, Norrish, Catherine M, Mulvey, Anne, Nasr-Esfahani, Somayeh, Orford, Neil R, Moylan, Steven
Published in Anaesthesia and intensive care (01.05.2021)
Published in Anaesthesia and intensive care (01.05.2021)
Get full text
Journal Article
310 Detecting health changes in Omani children with cystic fibrosis (CF), using a novel nurse-led questionnaire
Norrish, C, Fass, U, Shivalingam, G, Salmani, M. Al, Norrish, M, Kallesh, H, Clark, F, Heming, T, Khusaiby, S. Al
Published in Journal of cystic fibrosis (01.06.2013)
Published in Journal of cystic fibrosis (01.06.2013)
Get full text
Journal Article
The Subjective Wellbeing of ‘At-Risk’ Indigenous and Non-Indigenous Australian Adolescents
Tomyn, Adrian J., Cummins, Robert A., Norrish, Jacolyn M.
Published in Journal of happiness studies (01.08.2015)
Published in Journal of happiness studies (01.08.2015)
Get full text
Journal Article
The verified CakeML compiler backend
KIAM TAN, YONG, MYREEN, MAGNUS O., KUMAR, RAMANA, FOX, ANTHONY, OWENS, SCOTT, NORRISH, MICHAEL
Published in Journal of functional programming (2019)
Published in Journal of functional programming (2019)
Get full text
Journal Article
Synthetic use of the primary kinetic isotope effect in hydrogen atom transfer: generation of α-aminoalkyl radicals
Wood, Mark E, Bissiriou, Sabine, Lowe, Christopher, Norrish, Andrew M, Sénéchal, Katell, Windeatt, Kim M, Coles, Simon J, Hursthouse, Michael B
Published in Organic & biomolecular chemistry (21.10.2010)
Published in Organic & biomolecular chemistry (21.10.2010)
Get full text
Journal Article
Centrifuge Modeling of Spread-Base Integral Bridge Abutments
Ng, Charles W. W, Springman, Sarah M, Norrish, Alison R. M
Published in Journal of geotechnical and geoenvironmental engineering (01.05.1998)
Published in Journal of geotechnical and geoenvironmental engineering (01.05.1998)
Get full text
Journal Article
Verifying efficient function calls in CakeML
Owens, Scott, Norrish, Michael, Kumar, Ramana, Myreen, Magnus O., Tan, Yong Kiam
Published in Proceedings of ACM on programming languages (01.09.2017)
Published in Proceedings of ACM on programming languages (01.09.2017)
Get full text
Journal Article
Verified Characteristic Formulae for CakeML
Guéneau, Armaël, Myreen, Magnus O., Kumar, Ramana, Norrish, Michael
Published in Programming Languages and Systems (2017)
Published in Programming Languages and Systems (2017)
Get full text
Book Chapter
Proof pearl : Using combinators to manipulate let-expressions in proof
Get full text
Conference Proceeding
Learning Histopathological Microscopy
Shuttleworth, James, Todman, Alison, Norrish, Mark, Bennett, Mark
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding