Concepedia

David J. King

DJ

Statistics

Publications

6

Citations

225

H-Index

6

Active since

1977

Affiliations

Motorola (United Kingdom)(Current)

Motorola (United States)

Heriot-Watt University Malaysia

David J. King is an author at Motorola (United Kingdom) specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationApplied PhysicsMaterial ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningParallel Programming

Publications per year

1977–2008

6

Publications

6

Structuring depth-first search algorithms in Haskell

David J. King, John Launchbury · 1995 · 56 citations

Engineering, Computational Complexity, Formal Verification +16

Multiple substrate microwave plasma-assisted chemical vapor deposition single crystal diamond synthesis

J. Asmussen, T.A. Grotjohn, Thomas Schuelke et al. · Applied Physics Letters · 2008 · 47 citations

Materials Science, Materials Engineering, Diamond-like Carbon +8

Investigation of quaternary Al-based quasicrystal thin films for corrosion protection

V.N. Balbyshev, David J. King, A.N. Khramov et al. · Thin Solid Films · 2003 · 44 citations

Materials Engineering, Materials Science, Corrosion Protection +7

An operational semantics for parallel lazy evaluation

Clem Baker-Finch, David J. King, Phil Trinder · 2000 · 37 citations

Engineering, Parallel Lazy Evaluation, Operational Semantics +15

Pharmacokinetics of Psychoactive Drugs: Blood Levels and Clinical Response

David J. King · Biochemical Society Transactions · 1977 · 27 citations

Drug Interactions, Therapeutic Drug Monitoring, Pharmacokinetic Modeling +11

1–5 of 6