Concepedia

Author

Richard Kelsey

Yale University

Also Known As

R. Kelsey, Richard A. Kelsey, Richard Kelsey

23

Publications

3.8K

Citations

13

H-Index

27

Concepts

All Affiliations

Yale UniversityTektronix (United States)Massachusetts Institute of Technology
RK

About

Richard Kelsey is an author at Yale University specializing in formal methods, computer science, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

727

2

Computer Science

8

8

727

3

Compilers

6

6

589

4

Computer Engineering

5

5

330

5

Systems Engineering

2

2

328

Richard Kelsey

×

11

Publications

1K

Citations

11

H-Index

YearCitations

Page 1