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

Elli Anastasiadi

aalborg university

3H指数
28论文数
25被引数
收录论文 2
发表时间
logo
Verification of the Release-Acquire Semantics释放-获取语义的验证
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errAbdulla, Parosh Aziz; Anastasiadi, Elli; Atig, Mohamed Faouzi; Grahn, Samuel
err分享
err收藏
Centralized vs. Decentralized Monitors for Hyperproperties
errACM Transactions on Computational Logic
IF0
err2026-01-01
err1
PREAI
errAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Parosh Aziz Abdulla
H 指数: 42 · 论文数: 415
M
Mohamed Faouzi Atig
H 指数: 25 · 论文数: 146
A
Adrian Francalanza
H 指数: 23 · 论文数: 169
D
Daniele Gorla
H 指数: 17 · 论文数: 109
A
Antonis Achilleos
H 指数: 9 · 论文数: 58
查看更多