Armando Pesenti Gritti

According to our database, Armando Pesenti Gritti authored at least 5 papers between 2014 and 2017.

Collaborative distances:

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

2017

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

CoSMed: A Confidentiality-Verified Social Media Platform.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

On-the-Fly Image Classification to Help Blind People.

Dalal Khalid Aljasem, Michael Heeney, Armando Pesenti Gritti, Franco Raimondi

Proceedings of the 12th International Conference on Intelligent Environments, 2016

2014

Kinect-based people detection and tracking from small-footprint ground robots.

Armando Pesenti Gritti, Oscar Tarabini, Jerome Guzzi, Gianni A. Di Caro, Vincenzo Caglioti, Luca Maria Gambardella, Alessandro Giusti

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Perceiving people from a low-lying viewpoint.

Armando Pesenti Gritti, Oscar Tarabini, Alessandro Giusti, Jerome Guzzi, Gianni A. Di Caro, Vincenzo Caglioti, Luca Maria Gambardella

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2014