Author
Sergey B Kirpichev
Also Known As
Kirpichev, Sergey B, Perić, Vladimir, S. B. Kirpichev, Sergey B Kirpichev, Sergey B. Kirpichev
9
Publications
1.7K
Citations
4
H-Index
6
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 1 | 1 | 1.6K |
2 | Computer Science | 1 | 1 | 1.6K |
3 | Automated Reasoning | 1 | 1 | 1.6K |
4 | Formal Methods | 1 | 1 | 1.6K |
5 | Program Analysis | 1 | 1 | 1.6K |
Sergey B Kirpichev
×
2
Publications
1.7K
Citations
2
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1