Condensing Lemmas for Pure Type Systems with Universes. - Blas C. Ruiz Jiménez (AMAST, 1998)

Reduction of Blocking Artifacts in Block Transformed Compressed Color Images. - Javier Mateos; Carlos Ilia Herráiz Montalvo; Blas C. Ruiz Jiménez; Rafael Molina 001; Aggelos K. Katsaggelos (ICIP (1), 1998)

Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo). - Gilles Barthe; Blas C. Ruiz Jiménez (APPIA-GULP-PRODE, 2001)