Equivalence of alternating and non-deterministic Büchi automata. (Master Project) 2005.
[full paper as ps]
Algebraic Structures for Transitive Closure. (Seminar Paper) 2005.
[full paper as ps]
Sistemas basados en conocimiento, redes probabilistas y KAMET. (Bachelor Thesis) 2003.
Breve introducción a la base de Haar. (PDE Final Work) 2003.
[full paper as pdf]
Improvements on KAMET-to-Bayesian-Network Transformations. 2003.
[full paper as pdf]