PCB Inspection Using Image Processing and Wavelet Transform. - Joaquín Santoyo; Jesús Carlos Pedraza-Ortega; L. Felipe Mejía; Alejandro Santoyo (MICAI, 2007)

Decision Analysis with Logic and Mathematical Programming. - Mauricio Osorio 001; Alejandro Santoyo (LA-NMR, 2012)

Complete Extensions as Clark's Completion Semantics. - Mauricio Osorio 001; Juan Carlos Nieves; Alejandro Santoyo (ENC, 2013)

Preferred Extensions as Minimal Models of Clark's Completion Semantics. - Mauricio Osorio 001; Alejandro Santoyo (Res. Comput. Sci., 2013)

Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (LANMR, 2014)

Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (MICAI (1), 2014)

Computing stable semantics of AF by 0-1 integer programming. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (CONIELECOMP, 2015)

0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks. - Mauricio Osorio 001; Juan Díaz 002; Alejandro Santoyo (Computación y Sistemas, 2017)