Gabriel B. Sant'Anna

According to our database, Gabriel B. Sant'Anna authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Model Checking of Distributed Algorithms Using Synchronous Programs.

Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2021

Relying on a Rate Constraint to Reduce Motion Estimation Complexity.

Gabriel B. Sant'Anna, Luiz Henrique Cancellier, Ismael Seidel, Mateus Grellert, José Luís Güntzel

Proceedings of the IEEE International Conference on Acoustics, 2021