Towards the unification of intuitive and formal game concepts with applications to computer chess. - Ariel Arbiser (DiGRA Conference, 2005)

Practical crossword generation with checkpoint search. - Ariel Arbiser (IADIS AC, 2005)

A Lambda-Calculus with Constructors. - Ariel Arbiser; Alexandre Miquel; Alejandro Ríos 001 (RTA, 2006)

The Weak Normalization of the Simply Typed lambda-se-calculus. - Ariel Arbiser; Fairouz Kamareddine; Alejandro Ríos 001 (Log. J. IGPL, 2007)

The Expansion Problem in Lambda Calculi with Explicit Substitution. - Ariel Arbiser (J. Log. Comput., 2008)

The lambda-calculus with constructors: Syntax, confluence and separation. - Ariel Arbiser; Alexandre Miquel; Alejandro Ríos 001 (J. Funct. Program., 2009)