4
Publications
189
Citations
4
H-Index
9
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 3 | 3 | 181 |
2 | Computer Science | 3 | 3 | 181 |
3 | Software Analysis | 3 | 3 | 181 |
4 | Automated Reasoning | 3 | 3 | 181 |
5 | Computational Complexity | 3 | 3 | 181 |
Stephen Ness
×
3
Publications
181
Citations
3
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1