Blas C. Ruiz Jiménez

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Gilles Barthe, Blas C. Ruiz Jiménez
Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo). APPIA-GULP-PRODE (2001)
Javier Mateos, Carlos Ilia Herráiz Montalvo, Blas C. Ruiz Jiménez, Rafael Molina, Aggelos K. Katsaggelos
Reduction of Blocking Artifacts in Block Transformed Compressed Color Images. ICIP (1) (1998)
Blas C. Ruiz Jiménez
Condensing Lemmas for Pure Type Systems with Universes. AMAST (1998)