Concepedia

Author

Alan Jeffrey

DePaul UniversityORCID

Also Known As

A Jeffrey, A. JEFFREY, A. Jeffrey, ALAN JEFFREY, ALAN Jeffrey, Alan Jeffrey, Alan S. A. Jeffrey, Jeffrey, A, Jeffrey, Alan, Ting LUO

335

Publications

24.1K

Citations

40

H-Index

116

Concepts

All Affiliations

DePaul UniversityNewcastle UniversityUniversity of SussexMicrosoft Research (United Kingdom)
AJ

About

Alan Jeffrey is an author at DePaul University specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

21

46

2K

2

Language Studies

2

2

75

3

Arts

1

1

96

4

Humanities

1

1

96

5

Medicine

1

1

3.1K

Alan Jeffrey

×

63

Publications

21.3K

Citations

28

H-Index

YearCitations

Page 1