Author
Ionuţ Ţuţu
Also Known As
Ionut Tutu, Ionut, Tutu, Ionuţ Ţuţu, Ionuț Țuțu, Tutu, Ionut, Ţuţu, Ionuţ, Țuțu, Ionuț
25
Publications
83
Citations
5
H-Index
5
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 1 | 1 | 19 |
2 | Automated Reasoning | 1 | 1 | 19 |
3 | Formal Methods | 1 | 1 | 19 |
4 | Formal Specification | 1 | 1 | 19 |
5 | Formal Verification | 1 | 1 | 19 |
Ionuţ Ţuţu
×
2
Publications
29
Citations
2
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1