3
Publications
37
Citations
3
H-Index
8
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 2 | 2 | 33 |
2 | Computer Science | 2 | 2 | 33 |
3 | Computational Complexity | 2 | 2 | 33 |
4 | Formal Methods | 2 | 2 | 33 |
5 | Automated Reasoning | 1 | 1 | 19 |
Justin Gash
×
2
Publications
33
Citations
2
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1