7
Publications
661
Citations
6
H-Index
7
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 3 | 3 | 581 |
2 | Computer Science | 3 | 3 | 581 |
3 | Automated Reasoning | 3 | 3 | 581 |
4 | Formal Methods | 3 | 3 | 581 |
5 | Systems Engineering | 1 | 1 | 152 |
Robert S. Streett
×
3
Publications
581
Citations
3
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1