Concepedia

Richard D. Jenks

RD

14

Publications

311

Citations

11

H-Index

1968

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

Brookhaven National Laboratory

IBM (United States)

Richard D. Jenks is an author at IBM Research - Thomas J. Watson Research Center specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningProgramming LanguagesSoftware AnalysisSyntaxFormal VerificationComputer Engineering

Publications per year

1968–1991

14

Publications

14

Quadratic differential systems for interactive population models

Richard D. Jenks · Journal of Differential Equations · 1969 · 65 citations

Discrete Dynamical System, Complex Dynamic System, System Dynamic +1

A language for computational algebra

Richard D. Jenks, Barry Trager · 1981 · 43 citations

Programming Language Theory, Generic Operators, Engineering +13

SCRATCHPAD/1

James H. Griesmer, Richard D. Jenks · 1971 · 37 citations

Symbolic Manipulation, Programming Language Theory, Computational Science +12

Homogeneous multidimensional differential systems for mathematical models

Richard D. Jenks · Journal of Differential Equations · 1968 · 25 citations

Applied Mathematical Modelling, Discrete Dynamical System, Higher Dimensional Problem +2

The SCRATCHPAD language

Richard D. Jenks · 1974 · 21 citations

Mathematical Programming, Engineering, Visual Programming Language +17

Rows per page

1–5 of 14