×
Edit Profile (opens in new tab)

Castelnovo, Davide

Co-Author Distance
Author ID: castelnovo.davide Recent zbMATH articles by "Castelnovo, Davide"
Published as: 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

Citations contained in zbMATH Open

2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼
A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs. Zbl 07793030
Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino
2
2022
Closure hyperdoctrines. Zbl 07774238
Castelnovo, Davide; Miculan, Marino
1
2021
A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs. Zbl 07793030
Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino
2
2022
Closure hyperdoctrines. Zbl 07774238
Castelnovo, Davide; Miculan, Marino
1
2021
all top 5

Cited by 12 Authors

1 Behr, Nicolas
1 Bezhanishvili, Nick
1 Castelnovo, Davide
1 Ciancia, Vincenzo
1 Gabelaia, David
1 Gadducci, Fabio
1 Grilletti, Gianluca
1 Harmer, Russ
1 Krivine, Jean
1 Latella, Diego
1 Massink, Mieke
1 Miculan, Marino

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)

Citations by Year