Concepedia

Author

Ian Stark

University of EdinburghORCID

Also Known As

I. Stark, I.D.B. Stark, Ian D. B. Stark, Ian Stark, Stark, Ian, Stark, Ian David Bede.

65

Publications

2K

Citations

22

H-Index

50

Concepts

All Affiliations

University of EdinburghUniversity of CambridgeAarhus UniversityUniversity of OxfordSRI International
IS

About

Ian Stark is an author at University of Edinburgh specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

12

12

524

2

Computer Science

9

9

409

3

Computer Engineering

4

4

179

4

Business

2

2

101

5

Language Studies

2

2

88

Ian Stark

×

16

Publications

647

Citations

13

H-Index

YearCitations

Page 1