Sign in
Renato Cherini
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 2
Top Topics
Digital Information
Digital Straight Line
Fine Grained
Scientific Communities
Top Venues
WiSEE
IEEE Pervasive Comput.
</>
Publications
</>
Pablo G. Madoery
,
Renato Cherini
,
Alessandro Cammarano
,
Juan J. Grosso
,
Jorge M. Finochietto
Analysis of Bundle Protocol Security Policies for Safeguarding Space Missions against Threats.
WiSEE
(2023)
Renato Cherini
,
Ramiro Detke
,
Juan A. Fraire
,
Pablo G. Madoery
,
Jorge M. Finochietto
Toward Deep Digital Contact Tracing: Opportunities and Challenges.
IEEE Pervasive Comput.
22 (4) (2023)
Renato Cherini
,
Lucas Rearte
,
Javier O. Blanco
A Shape Analysis for Non-linear Data Structures.
SAS
(2010)
Renato Cherini
,
Javier O. Blanco
Local reasoning for abstraction and sharing.
SAC
(2009)