Group A streptococcal necrotising fasciitis masquerading as mastitis
Tillett, Rachel L, Saxby, Peter J, Stone, Christopher A, Morgan, Marina S
Published in The Lancet (British edition) (08.07.2006)
Published in The Lancet (British edition) (08.07.2006)
Get full text
Journal Article
Reducing non-attendance at outpatient clinics
Stone, Christopher A, Palmer, John H, Saxby, Peter J, Devaraj, Vikram S
Published in Journal of the Royal Society of Medicine (01.03.1999)
Published in Journal of the Royal Society of Medicine (01.03.1999)
Get full text
Journal Article
Improved modeling and validation of command sequences using a checkable sequence language
Stone, C. A., Carter, A., Justice, H. L., Keller, R. M., Yu-Wen Tung
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Get full text
Conference Proceeding
Healing at skin graft donor sites dressed with chitosan
Stone, Christopher A., Wright, Helen, Devaraj, Vikram S., Clarke, Tom, Powell, Roy
Published in British journal of plastic surgery (01.10.2000)
Published in British journal of plastic surgery (01.10.2000)
Get full text
Journal Article
Conference Proceeding
Design and Implementation of the Andromeda Proof Assistant
Bauer, Andrej, Gilbert, Gaëtan, Haselwarter, Philipp G, Pretnar, Matija, Stone, Christopher A
Published in arXiv.org (17.02.2018)
Published in arXiv.org (17.02.2018)
Get full text
Paper
Journal Article
Specifications via Realizability
Bauer, Andrej, Stone, Christopher A.
Published in Electronic notes in theoretical computer science (30.03.2006)
Published in Electronic notes in theoretical computer science (30.03.2006)
Get full text
Journal Article
Observationally Cooperative Multithreading
Stone, Christopher A, O'Neill, Melissa E, Bohr, Sonja A, Cozzette, Adam M, DeBlasio, M Joe, Matsieva, Julia, Pernsteiner, Stuart A, Schumer, Ari D
Published in arXiv.org (18.02.2015)
Published in arXiv.org (18.02.2015)
Get full text
Paper
Journal Article