Scholar
Pedro Antonino
Google Scholar ID: d7DwOdMAAAAJ
Researcher at The Blockhouse Technology Limited
Software Engineering
Formal methods
Formal verification
Smart contracts
Blockchain
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
172
H-index
7
i10-index
7
Publications
20
Co-authors
12
list available
Publications
2 items
Formally Verifying Noir Zero Knowledge Programs with NAVe
2026
Cited
0
Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts
2025
Cited
0
Co-authors
5 total
Augusto Cesar Alves Sampaio
UFPE - Universidade Federal de Pernambuco
Jim Woodcock
Professor of Software Engineering, University of York
Ante Derek
Associate Professor, University of Zagreb Faculty of Electrical Engineering and Computing
Lucas Lima
Universidade Federal Rural de Pernambuco
Han Liu
Unknown affiliation
