Concepedia

Author

Mark Longley

University of Kent

Also Known As

Longley, Mark, M Longley, M. Longley, Mark Longley

8

Publications

87

Citations

4

H-Index

17

Concepts

All Affiliations

University of Kent
ML

About

Mark Longley is an author at University of Kent specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

74

2

Computer Science

2

2

63

3

Systems Engineering

1

1

40

4

Compilers

1

1

23

5

Mathematical Foundations

1

1

23

Mark Longley

×

3

Publications

74

Citations

3

H-Index

YearCitations

Page 1