Especificacion Formal de una Memoria Compartida Distribuida usando LOTOS. Tesis de Maestria. Instituto Tecnologico de Monterrey, Mexico. Colegio de Ciencias Computacionales. 1996.

 Medidor de Radiacion Ultravioleta. Tesis de Ingenieria Electronica. Universidad Autonoma Metropolitana. 1994.