Francesco Ballardin

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Virtual Training

Cancer Detection

Confocal Images

Top Venues

Publications

Arnaldo Cesco, Francesco Ballardin, Gustavo Marfia
CeVRicale: A VR app for Cervical Rehabilitation. VR Workshops (2021)
Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle
A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks CoRR (2011)
Massimo Merro, Francesco Ballardin, Eleonora Sibilio
A timed calculus for wireless systems. Theor. Comput. Sci. 412 (47) (2011)
Francesco Ballardin, Massimo Merro
A Calculus for the Analysis of Wireless Network Security Protocols. Formal Aspects in Security and Trust (2010)