Concepedia

Richard Kaye

RK

Statistics

Publications

21

Citations

684

H-Index

15

Active since

1967

Affiliations

University of Manchester(Current)

University College London

Jesus University

Merck Serono S.A. (Switzerland)

University of Pavia

Richard Kaye is an author at University of Manchester specializing in mathematics, computer science, and model theory.

Publications per year

1967–2020

21

Publications

21

Minesweeper is NP-complete

Richard Kaye · The Mathematical Intelligencer · 2000 · 148 citations

On Interpretations of Arithmetic and Set Theory

Richard Kaye, Tin Lok Wong · Notre Dame Journal of Formal Logic · 2007 · 96 citations · Full text

, , +13

Automorphisms of recursively saturated models of arithmetic

Richard Kaye, Roman Kossak, Henryk Kotlarski · Annals of Pure and Applied Logic · 1991 · 45 citations

, , +9

On parameter free induction schemas

Richard Kaye, J. B. Paris, C. Dimitracopoulos · Journal of Symbolic Logic · 1988 · 41 citations

, , +6

Pharmacometrics Markup Language (PharmML): Opening New Perspectives for Model Exchange in Drug Development

MJ Swat, Stuart Moodie, NR Kristensen et al. · CPT Pharmacometrics & Systems Pharmacology · 2015 · 38 citations · Full text

, , +6

1–5 of 21