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

Marino Miculan

university of udine

17H-index
133Paper Count
1.0KCitation Count
Published Papers 4
Publication Date
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
errShare
errSave
Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis
errSoftware and Systems Modeling
IF3.2
err2026-01-01
err0
errOAAI
errPaier, Matteo; Van Eeden, Roberto L. G.; Miculan, Marino
errShare
errSave
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
errShare
errSave
The AbU Language: IoT Distributed Programming Made Easy
errIEEE ACCESS
IF3.6
err2022-01-01
err3
errOAAI
errPasqua, Michele; Comuzzo, Massimo; Miculan, Marino
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
M
Michele Pasqua
H-index: 11 · Papers: 44
N
Nicola Vitacolonna
H-index: 8 · Papers: 23
M
Massimo Comuzzo
H-index: 2 · Papers: 3
V
Van Eeden, Roberto L. G.
H-index: 0 · Papers: 1
P
Pasqua, Michele
H-index: 0 · Papers: 1
View more