Scholar
Wolfgang Grieskamp
Google Scholar ID: wuiFb2MAAAAJ
Aptos
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,719
H-index
34
i10-index
73
Publications
20
Co-authors
0
Publications
3 items
Defense-in-Depth Runtime Safety in Move
2026
Cited
0
Formal Verification of Imperative First-Class Functions in Move
2026
Cited
0
Combining Mechanical and Agentic Specification Inference for Move
2026
Cited
0
