[no slides available]
Optimization of emptiness test of Büchi automata on infinite trees. Master Thesis Defence. TU Dresden, Germany. March 20, 2006.
[slides as pdf]
Equivalence of alternating and non-deterministic Büchi automata. Project Defence. TU Dresden, Germany. December 6, 2005.
[slides as ps]
Algebraic Structures for Transitive Closure. Graph Algorithms Seminar. TU Dresden, Germany. January, 2005.
[no slides available]
Determinación probabilista de pruebas para diagnosis. Poincaré Seminar. ITAM, Mexico. April 15, 2004.
[slides as pps]
Sistemas basados en conocimiento, redes probabilistas y KAMET. Bachelor Thesis Defence. ITAM, Mexico. December 5, 2003.
[slides as ppt]
Creating a Bayesian Inference Engine for KAMET. X CAEPIA. San Sebastian, Spain. November, 2003.
[slides as pps]
Using Bayesian Networks as an Inference Engine in KAMET. XXIII SCCC. Chillán, Chile. November, 2003.
[slides as pps]
Introducción a la lógica probabilista. First Interuniversity Mathematics Meeting. ITAM, Mexico. April, 2003.
[no slides available]