Rodrigo Otoni
Orcid: 0000-0003-1097-2367
According to our database1,
Rodrigo Otoni
authored at least 9 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
1
1
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
2023
ACM Trans. Priv. Secur., May, 2023
Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 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