Concepedia

Author

Luke Nelson

Also Known As

Luke Nelson

8

Publications

233

Citations

6

H-Index

26

Concepts

All Affiliations

LN

About

Luke Nelson is an author at University of Washington specializing in formal verification, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

204

2

Computer Science

5

5

204

3

Systems Engineering

3

3

118

4

Computer Engineering

2

2

149

5

Compilers

1

1

20

Luke Nelson

×

5

Publications

204

Citations

5

H-Index

YearCitations

Page 1