Other works


Optimization of emptiness test of Büchi automata on infinite trees. (Master Thesis) 2006.
[full paper as pdf]

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]