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

Violet Ka I Pun

Western Norway University of Applied Sciences

4H指数
30论文数
134被引数
收录论文 4
发表时间
logo
Resource Contracts for Active Objects主动对象的资源合约
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errDridi, Charaf Eddine; Pun, Violet Ka I.; Stolz, Volker
err分享
err收藏
Fair Termination for Resource-Aware Active Objects资源感知主动对象的公平终止
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errDagnino, Francesco; Giannini, Paola; Pun, Violet Ka I.; Torrella, Ulises
err分享
err收藏
Layers of Confluence for Actors演员的汇聚层
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errHenrio, Ludovic; Johnsen, Einar Broch; Klovstad, Asmund Aqissiaq Arild; Pun, Violet Ka I.; Zakowski, Yannick
err分享
err收藏
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data
errIEEE ACCESS
IF3.6
err2022-01-01
err29
errOAAI
errAminifar, Amin; Shokri, Matin; Rabbi, Fazle; Pun, Violet Ka I.; Lamo, Yngve
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
E
Einar Broch Johnsen
H 指数: 24 · 论文数: 276
Y
Yngve Lamo
H 指数: 20 · 论文数: 110
V
Volker Stolz
H 指数: 16 · 论文数: 110
P
Paola Giannini
H 指数: 16 · 论文数: 118
L
Ludovic Henrio
H 指数: 16 · 论文数: 173
查看更多