Concepedia

Author

John Graham-Cumming

Also Known As

J. Graham-Cumming, John Graham-Cumming

15

Publications

608

Citations

5

H-Index

24

Concepts

All Affiliations

JG

About

John Graham-Cumming is an author at Oxford Research Group specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

586

2

Computer Science

2

2

575

3

Natural Sciences

1

1

35

4

Data Science

1

1

540

5

Systems Engineering

1

1

35

John Graham-Cumming

×

3

Publications

586

Citations

3

H-Index

YearCitations

Page 1