Jesús N. Ravelo

Two graph algorithms derived

Jesús N. Ravelo, 1999, Acta Informatica.

Relations, graphs and programs

Jesús N. Ravelo, 1998 .

On Computing Representatives

Richard S. Bird, Jesús N. Ravelo, 1997, Inf. Process. Lett..

A formal bridge between runtime assertion checking and static verification of inheritance (P. 147 - 162)

Gabriela Montoya, Jesús N. Ravelo, Jesús Ravelo, 2016 .