Blas C. Ruiz Jiménez

According to our database, Blas C. Ruiz Jiménez authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo).

Gilles Barthe, Blas C. Ruiz Jiménez

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

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, Aggelos K. Katsaggelos

Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

Condensing Lemmas for Pure Type Systems with Universes.

Blas C. Ruiz Jiménez

Proceedings of the Algebraic Methodology and Software Technology, 1998