logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Silvio Ghilardi

University of Milan

31H-index
206Paper Count
3.1KCitation Count
Published Papers 3
Publication Date
logo
FIRST-ORDER MODAL LOGIC VIA LOGICAL CATEGORIES
errJournal of Symbolic Logic
IF0.6
err2025-11-01
err0
PREAI
errGhilardi, Silvio; Marques, Jeremie
errShare
errSave
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
errShare
errSave
Petri net-based object-centric processes with read-only data
errenterprise information systems
IF3.4
err2022-07-01
err20
PREAI
errGhilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Marco Montali
H-index: 38 · Papers: 397
D
Danilo Bruschi
H-index: 22 · Papers: 84
A
Andrea Lanzi
H-index: 21 · Papers: 70
E
Elena Pagani
H-index: 19 · Papers: 118
A
Andrey Rivkin
H-index: 13 · Papers: 74
View more