Author
Russell O’Connor
Also Known As
O'Connor, R.S.S., O'Connor, Russell, O'Connor, Russell; Radboud University Nijmegen, O'connor, Russell, RUSSELL O'CONNOR, RUSSELL ÓCONNOR, Russell O'Connor, Russell O’Connor
21
Publications
506
Citations
9
H-Index
8
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 3 | 3 | 54 |
2 | Formal Methods | 3 | 3 | 54 |
3 | Computer Science | 2 | 2 | 37 |
4 | Automated Reasoning | 2 | 2 | 37 |
5 | Software Analysis | 1 | 1 | 14 |
Russell O’Connor
×
4
Publications
76
Citations
4
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1