Approximating the Expressive Power of Logics in Finite Models. - Argimiro Arratia; Carlos E. Ortiz (LATIN, 2004)

Counting Proportions of Sets: Expressive Power with Almost Order. - Argimiro Arratia; Carlos E. Ortiz (LATIN, 2006)

On a syntactic approximation to logics that capture complexity classes - Argimiro Arratia; Carlos E. Ortiz (Electron. Colloquium Comput. Complex., 2006)

Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets. - Argimiro Arratia; Carlos E. Ortiz (J. Log. Comput., 2006)

Approximate formulae for a logic that capture classes of computational complexity. - Argimiro Arratia; Carlos E. Ortiz (Log. J. IGPL, 2009)

First Order Extensions of Residue Classes and Uniform Circuit Complexity. - Argimiro Arratia; Carlos E. Ortiz (WoLLIC, 2013)

Methods of class field theory to separate logics over finite residue classes and circuit complexity. - Argimiro Arratia; Carlos E. Ortiz (J. Log. Comput., 2017)

On Flows of Neural Ordinary Differential Equations That Are Solutions of Lotka-Volterra Dynamical Systems. - Argimiro Arratia; Carlos E. Ortiz; Marcel Romaní (CCIA, 2022)