Numeric domains meet algebraic data types. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (NSAD@SAS, 2020)

Petr4: formal foundations for p4 data planes. - Ryan Doenges; Mina Tahmasbi Arashloo; Santiago Bautista; Alexander Chang; Newton Ni; Samwise Parkinson; Rudy Peterson; Alaia Solko-Breslin; Amanda Xu; Nate Foster (Proc. ACM Program. Lang., 2021)

Lifting Numeric Relational Domains to Algebraic Data Types. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (SAS, 2022)

Static Analysis of Algebraic Data Types and Arrays. (Analyse Statique de Types Algébriques et de Tableaux). - Santiago Bautista (2023)

An input-output relational domain for algebraic data types and functional arrays. - Santiago Bautista; Thomas P. Jensen; Benoît Montagu (Formal Methods Syst. Des., 2025)