8
Publications
600
Citations
5
H-Index
10
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 2 | 2 | 511 |
2 | Computer Science | 2 | 2 | 511 |
3 | Automated Reasoning | 2 | 2 | 511 |
4 | Formal Methods | 2 | 2 | 511 |
5 | Computational Complexity | 1 | 1 | 14 |
M. Vardi
×
2
Publications
511
Citations
2
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1