Proof of Church's Thesis - Ramón Casares (CoRR, 2012)

Problem Theory. - Ramón Casares (CoRR, 2014)

Syntax Evolution: Problems and Recursion. - Ramón Casares (CoRR, 2015)

A New method to Index and Store Spatio-Temporal Data. - Guillermo de Bernardo; Ramón Casares; Adrián Gómez-Brandón; José R. Paramá (PACIS, 2016)