8
Publications
36
Citations
3
H-Index
9
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 1 | 1 | 12 |
2 | Computer Engineering | 1 | 1 | 12 |
3 | Computer Science | 1 | 1 | 12 |
4 | Computer Architecture | 1 | 1 | 12 |
5 | Formal Methods | 1 | 1 | 12 |
Sean Halle
×
1
Publications
12
Citations
1
H-Index
| Year | Citations | |
|---|---|---|
2013 | 12 |
Page 1
Page 1