Kathleen Sharp

Conversion of cyclosporine to tacrolimus in stable renal allograft recipients: Quantification of effects on the severity of gingival enlargement and hirsutism and patient‐reported outcomes

S. Cottrell, G. Varigos, R. Walker, 2007, Nephrology.

Using SMT solvers to verify high-integrity programs

Paul B. Jackson, Bill J. Ellis, Kathleen Sharp, 2007, AFM '07.