Our experiences teaching functional programming at University of Rio Cuarto (Argentina). - Ariel Ferreira Szpiniak; Carlos Daniel Luna; Ricardo H. Medel (ACM SIGCSE Bull., 1998)

Experimental Analysis of Different Techniques for Bounded Model Checking. - Nina Amla; Robert P. Kurshan; Kenneth L. McMillan; Ricardo H. Medel (TACAS, 2003)

A Framework for Execution of Secure Mobile Code based on Static Analysis. - Martín Nordio; Ricardo H. Medel; Francisco Bavera; Jorge Aguirre; Gabriel Baum (SCCC, 2004)

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. - Eduardo Bonelli; Adriana B. Compagnoni; Ricardo H. Medel (CASSIS, 2005)

A Typed Assembly Language for Non-interference. - Ricardo H. Medel; Adriana B. Compagnoni; Eduardo Bonelli (ICTCS, 2005)