29
Publications
1.7K
Citations
17
H-Index
1987
Active since
K. Donnelly is an author at Forbairt specializing in engineering, materials science, and computer science.
Top concepts
EngineeringMaterial ScienceLanguageLinguisticsApplied PhysicsComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational Linguistics
Publications per year
1987–2019
29
29
System F with type equality coercions
Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones et al. · 2007 · 236 citations
Evaluation of diamond-like carbon-coated orthopaedic implants
Denis P. Dowling, P.V. Kola, K. Donnelly et al. · Diamond and Related Materials · 1997 · 141 citations
Rows per page
1–5 of 29