logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Pedro Antonino

University of Zagreb

8H指数
37论文数
153被引数
收录论文 3
发表时间
logo
Demystification and near-perfect estimation of minimum gas limit and gas used for Ethereum smart contracts解密和对以太坊智能合约的最小Gas限制和已用Gas的近完美估计
errcloud computing cloud
IF0
err2025-06-16
err0
errOAAI
errDanilo Rafael de Lima Cabral; Pedro Antonino; Augusto Cezar Alves Sampaio
err分享
err收藏
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves
errIEEE ACCESS
IF3.6
err2023-01-01
err3
errOAAI
errAntonino, Pedro; Derek, Ante; Woloszyn, Wojciech Aleksander
err分享
err收藏
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2019-07-18
err4
errOAAI
errAntonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
A. W. Roscoe
H 指数: 38 · 论文数: 221
A
Augusto Sampaio
H 指数: 23 · 论文数: 165
A
Ante Đerek
H 指数: 14 · 论文数: 38
T
Thomas Gibson−Robinson
H 指数: 8 · 论文数: 29
W
Wojciech Aleksander Wołoszyn
H 指数: 2 · 论文数: 10
查看更多