Amighi, Afshin
Documents Indexed: | 3 Publications since 2014 |
Co-Authors: | 7 Co-Authors with 3 Joint Publications |
52 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
3 | Huisman, Marieke |
2 | Blom, Stefan |
1 | Darabi, Saeed |
1 | Haack, Christian |
1 | Hurlin, Clément |
1 | Mostowski, Wojciech I. |
1 | Zaharieva-Stojanovski, Marina |
Serials
1 | Logical Methods in Computer Science |
Publications by Year
all
top 5
Cited by 19 Authors
Cited in 3 Serials
1 | Journal of Automated Reasoning |
1 | Formal Aspects of Computing |
1 | Logical Methods in Computer Science |
Cited in 1 Field
5 | Computer science (68-XX) |