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

Silvio Ghilardi

University of Milan

31H指数
206论文数
3.1K被引数
收录论文 3
发表时间
logo
FIRST-ORDER MODAL LOGIC VIA LOGICAL CATEGORIES通过逻辑类别的一阶模态逻辑
errJournal of Symbolic Logic
IF0.6
err2025-11-01
err0
PREAI
errGhilardi, Silvio; Marques, Jeremie
err分享
err收藏
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2022-11-01
err2
errOAAI
errBruschi, Danilo; Di Pasquale, Andrea; Ghilardi, Silvio; Lanzi, Andrea; Pagani, Elena
err分享
err收藏
Petri net-based object-centric processes with read-only data基于Petri网的以对象为中心的只读数据处理
errenterprise information systems
IF3.4
err2022-07-01
err20
PREAI
errGhilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marco Montali
H 指数: 38 · 论文数: 398
D
Danilo Bruschi
H 指数: 22 · 论文数: 85
A
Andrea Lanzi
H 指数: 21 · 论文数: 71
E
Elena Pagani
H 指数: 19 · 论文数: 118
A
Andrey Rivkin
H 指数: 13 · 论文数: 74
查看更多