Concepedia

Author

Andrew Kay

Also Known As

A. Kay, Andrew F. Kay, Andrew Kay, Kay, Andrew.

14

Publications

116

Citations

5

H-Index

21

Concepts

All Affiliations

AK

About

Andrew Kay is an author at Sharp Laboratories of Europe (United Kingdom) specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

89

2

Computer Science

4

4

89

3

Computer Engineering

3

3

64

4

Systems Engineering

3

3

71

5

Asynchronous Systems

1

1

25

Andrew Kay

×

4

Publications

89

Citations

4

H-Index

YearCitations

Page 1