K. Donnelly
Australian National University(AU)
Publications by Year
Research Areas
Diamond and Carbon-based Materials Research, Logic, programming, and type systems, Crystallization and Solubility Studies, X-ray Diffraction in Crystallography, Metal and Thin Film Mechanics
Most-Cited Works
- SNOMED-CT: The advanced terminology and coding system for eHealth.(2006)
- → System F with type equality coercions(2007)236 cited
- → Evaluation of diamond-like carbon-coated orthopaedic implants(1997)141 cited
- → Deposition of anti-bacterial silver coatings on polymeric substrates(2001)109 cited
- → Hydrogen absorption and desorption in Nd2Fe17 and Sm2Fe17(1988)100 cited
- → A formally verified proof of the prime number theorem(2007)71 cited
- → Examination of surface properties and in vitro biological performance of amorphous diamond‐like carbon‐coated polyurethane(2006)44 cited