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

Aleksandar S. Dimovski

IT University Copenhagen

16H指数
86论文数
668被引数
收录论文 2
发表时间
logo
Verification of Program Transformations with Inductive Refinement Types
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-01-20
err0
errOAAI
errAl-Sibahi, Ahmad Salim; Jensen, Thomas P.; Dimovski, Aleksandar S.; Wasowski, Andrzej
err分享
err收藏
On defining a model driven architecture for an enterprise e-health system
errENTERPRISE INFORMATION SYSTEMS
IF3.9
err2018-09-22
err9
PREAI
errAtanasovski, Blagoj; Bogdanovic, Milos; Velinov, Goran; Stoimenov, Leonid; Dimovski, Aleksandar S.; Koteska, Bojana; Jankovic, Dragan; Skrceska, Irena; Kon-Popovska, Margita; Jakimovski, Boro
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Andrzej Wąsowski
H 指数: 43 · 论文数: 255
D
Dragan Janković
H 指数: 21 · 论文数: 211
L
Leonid Stoimenov
H 指数: 15 · 论文数: 113
B
Bojana Koteska
H 指数: 10 · 论文数: 59
B
Boro Jakimovski
H 指数: 10 · 论文数: 52
查看更多