Alessandro Aldini
Scholar

Alessandro Aldini

Google Scholar ID: Y-fg2EQAAAAJ
Associate Professor in Computer Science, University of Urbino
theoretical computer scienceconcurrency theorysoftware verificationsecurity and trust
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,626
 
H-index
21
 
i10-index
53
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
2025
Cited
0
Privacy-preserving and reward-based mechanisms of proof of engagement
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)