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 (ICASSP, 2021)

Model checking of distributed algorithms using synchronous programs. - Erwan Jahier; Karine Altisen; Stéphane Devismes; Gabriel B. Sant'Anna (Theor. Comput. Sci., 2025)