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

Marino Miculan

university of udine

17H指数
133论文数
1.0K被引数
收录论文 4
发表时间
logo
Attribute-based memory updates with priorities for collective adaptive systems基于属性的记忆更新与优先级机制用于群体自适应系统
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-03-01
err0
PREAI
errPasqua, Michele; Miculan, Marino
err分享
err收藏
Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis基于接口威胁分析的eIDAS多因素认证的形式建模与验证
errSoftware and Systems Modeling
IF3.2
err2026-01-01
err0
errOAAI
errPaier, Matteo; Van Eeden, Roberto L. G.; Miculan, Marino
err分享
err收藏
Automated verification of Telegram's MTProto 2.0 in the symbolic model
errCOMPUTERS & SECURITY
IF5.4
err2023-03-01
err2
PREAI
errMiculan, Marino; Vitacolonna, Nicola
err分享
err收藏
The AbU Language: IoT Distributed Programming Made Easy
errIEEE ACCESS
IF3.6
err2022-01-01
err3
errOAAI
errPasqua, Michele; Comuzzo, Massimo; Miculan, Marino
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Michele Pasqua
H 指数: 11 · 论文数: 44
N
Nicola Vitacolonna
H 指数: 8 · 论文数: 23
M
Massimo Comuzzo
H 指数: 2 · 论文数: 3
P
Pasqua, Michele
H 指数: 0 · 论文数: 1
V
Van Eeden, Roberto L. G.
H 指数: 0 · 论文数: 1
查看更多