Concepedia

Keith Clark

KC

Statistics

Publications

27

Citations

1.3K

H-Index

17

Active since

1977

Affiliations

Imperial College London(Current)

The University of Queensland

Fujitsu (United States)

Keith Clark is an author at Imperial College London specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningLogic ProgrammingLanguageSemanticsSemantic WebFormal VerificationComputer Engineering

Publications per year

1977–2015

27

Publications

27

PARLOG: parallel programming in logic

Keith Clark, Steven Gregory · ACM Transactions on Programming Languages and Systems · 1986 · 326 citations · Full text

Syntax, Parlog Relations, Logic Programming Language +15

THE CROSS OF REDEMPTION: UNCOLLECTED WRITINGS

Keith Clark · Resources for American Literary Study · 2010 · 160 citations

Literary Theory, Cross Of Redemption, Literary Studies +20

On Optimal Parameters for Ant Colony Optimization Algorithms.

Dorian Gaertner, Keith Clark · International Conference on Artificial Intelligence · 2005 · 92 citations

A First Order Theory of Data and Programs.

Keith Clark, Sten-Åke Tärnlund · IFIP Congress · 1977 · 90 citations

Programming Language Theory, Engineering, Data Science +5

THE CROSS OF REDEMPTION: UNCOLLECTED WRITINGS

Keith Clark · Resources for American Literary Study · 2010 · 88 citations

Literary Theory, Humanities, Literary History +6

1–5 of 27