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

Andreas Veneris

University of Toronto

28H指数
225论文数
3.0K被引数
收录论文 5
发表时间
logo
HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual MachinesHEMVM：一种用于可互操作虚拟机的高异构区块链框架
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errNekriach, Vladyslav; Beillahi, Sidi Mohamed; Li, Chenxing; Li, Peilun; Wu, Ming; Veneris, Andreas; Long, Fan
err分享
err收藏
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-07-01
err6
PREAI
errNelaturu, Keerthi; Mavridou, Anastasia; Stachtiari, Emmanouela; Veneris, Andreas; Laszka, Aron
err分享
err收藏
Blockchain for V2X: Applications and Architectures
errIEEE OPEN JOURNAL OF VEHICULAR TECHNOLOGY
IF4.8
err2022-01-01
err21
errOAAI
errMeijers, James; Michalopoulos, Panagiotis; Motepalli, Shashank; Zhang, Gengrui; Zhang, Shiquan; Veneris, Andreas; Jacobsen, Hans-Arno
err分享
err收藏
Multi-objective voltage island floorplanning using sequence pair representation
errSUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS
IF5.7
err2012-06-01
err1
PREAI
errSengupta, Dipanjan; Veneris, Andreas; Wilton, Steve; Ivanov, Andre
err分享
err收藏
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test时序电路的鲁棒QBF编码及其在验证、调试和测试中的应用
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2010-07-01
err34
errOAAI
errMangassarian, Hratch; Veneris, Andreas; Benedetti, Marco
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
H
Hans‐Arno Jacobsen
H 指数: 49 · 论文数: 533
A
A. Ivanov
H 指数: 31 · 论文数: 213
Á
Áron Lászka
H 指数: 26 · 论文数: 196
F
Fan Long
H 指数: 22 · 论文数: 61
S
Shiquan Zhang
H 指数: 20 · 论文数: 201
查看更多