Scholar
Francesco Di Cosmo
Google Scholar ID: bwaPfHQAAAAJ
Free University of Bozen-Bolzano
Formal verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
32
H-index
3
i10-index
0
Publications
16
Co-authors
0
Publications
2 items
The Complexity of Coverability-Like Problems in Elementary Object Systems: Data-Nets to the Rescue
2026
Cited
0
Nets-within-Nets through the Lens of Data Nets
2025
Cited
0
