Castelnovo, Davide
Documents Indexed: | 7 Publications since 2021, including 3 Additional arXiv Preprints |
Co-Authors: | 9 Co-Authors with 7 Joint Publications |
222 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
5 | Miculan, Marino |
3 | Gadducci, Fabio |
1 | Ahman, Danel |
1 | Baldan, Paolo |
1 | Coraglia, Greta |
1 | Corradini, Andrea |
1 | Loregiàn, Fosco |
1 | Martins-Ferreira, Nelson |
1 | Reimaa, Ülo |
Serials
1 | Theoretical Computer Science |
Fields
3 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Category theory; homological algebra (18-XX) |
Publications by Year
all
top 5
Cited by 12 Authors
Cited in 3 Serials
1 | Theoretical Computer Science |
1 | Logical Methods in Computer Science |
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 2 Fields
3 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |