Gauss Sums and the Pólya-Vinogradov Inequality. - Rodrigo Raya; Manuel Eberl (Arch. Formal Proofs, 2019)

Formal Proof of the Group Law for Edwards Elliptic Curves. - Thomas C. Hales; Rodrigo Raya (IJCAR (2), 2020)

NP Satisfiability for Arrays as Powers. - Rodrigo Raya; Viktor Kuncak (VMCAI, 2022)

NP Decision Procedure for Monomial and Linear Integer Constraints. - Rodrigo Raya; Jad Hamza; Viktor Kuncak (CoRR, 2022)

On the Complexity of Convex and Reverse Convex Prequadratic Constraints. - Rodrigo Raya; Jad Hamza; Viktor Kuncak (LPAR, 2023)

Group Law of Edwards Elliptic Curves. - Rodrigo Raya (Arch. Formal Proofs, 2023)

The Complexity of Satisfiability Checking for Symbolic Finite Automata. - Rodrigo Raya (CoRR, 2023)

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata. - Rodrigo Raya (CoRR, 2023)

Combinatory Array Logic with Sums. - Rodrigo Raya (CoRR, 2023)

On Regular Relations in Parametric Array Theories. - Rodrigo Raya (ARQNL@IJCAR, 2024)

Succinct ordering and aggregation constraints in algebraic array theories. - Rodrigo Raya; Viktor Kuncak (J. Log. Algebraic Methods Program., 2024)

On algebraic array theories. - Rodrigo Raya; Viktor Kuncak (J. Log. Algebraic Methods Program., 2024)

Interpolating Parametric Array Theories. - Rodrigo Raya; Christophe Ringeissen (JELIA (2), 2025)