Scholar
Vlad Rusu
Google Scholar ID: uDBCQR8AAAAJ
Inria
informatique
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
216
H-index
8
i10-index
6
Publications
20
Co-authors
0
Publications
2 items
Domain Theory Meets Interaction Trees in Rocq
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Pleasant Imperative Program Proofs with GallinaC
2025
Cited
0
