12
Publications
176
Citations
4
H-Index
4
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 2 | 2 | 143 |
2 | Automated Reasoning | 2 | 2 | 143 |
3 | Computer Science | 1 | 1 | 78 |
4 | Formal Methods | 1 | 1 | 65 |
A. T. Nurtazin
×
3
Publications
161
Citations
3
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1