# Rodrigo Otoni

Orcid: 0000-0003-1097-2367
According to our database

Collaborative distances:

^{1}, Rodrigo Otoni authored at least 7 papers between 2017 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

ACM Trans. Priv. Secur., May, 2023

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, 2023

Proceedings of the iFM 2023 - 18th International Conference, 2023

2021

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2017

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017