Gabriel B. Sant'Anna

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Rate Constrained

Computational Complexity

Formal Verification

Top Venues

Publications

Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
Model Checking of Distributed Algorithms Using Synchronous Programs. SSS (2023)
Gabriel B. Sant'Anna, Luiz Henrique Cancellier, Ismael Seidel, Mateus Grellert, José Luís Güntzel
Relying on a Rate Constraint to Reduce Motion Estimation Complexity. ICASSP (2021)