Francesco Ballardin

According to our database, Francesco Ballardin authored at least 4 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

CeVRicale: A VR app for Cervical Rehabilitation.

Arnaldo Cesco, Francesco Ballardin, Gustavo Marfia

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

2011

A timed calculus for wireless systems.

Massimo Merro, Francesco Ballardin, Eleonora Sibilio

Theor. Comput. Sci., 2011

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle

CoRR, 2011

2010

A Calculus for the Analysis of Wireless Network Security Protocols.

Francesco Ballardin, Massimo Merro

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010