4
Publications
158
Citations
4
H-Index
10
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 4 | 4 | 158 |
2 | Computer Science | 4 | 4 | 158 |
3 | Automated Reasoning | 4 | 4 | 158 |
4 | Software Analysis | 2 | 2 | 97 |
5 | Computational Complexity | 1 | 1 | 46 |
Michael E. Jørgensen
×
4
Publications
158
Citations
4
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1