Author
Jakob L. Jensen
Also Known As
Jakob L. Jensen, Jakob Langdal Jensen, Jensen, Jakob Langdal
6
Publications
126
Citations
5
H-Index
8
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 3 | 3 | 112 |
2 | Computer Science | 3 | 3 | 112 |
3 | Automated Reasoning | 3 | 3 | 112 |
4 | Formal Methods | 3 | 3 | 112 |
5 | Software Analysis | 2 | 2 | 97 |
Jakob L. Jensen
×
3
Publications
112
Citations
3
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1