Publications

Omar Montaño-Rivas, Moa Johansson, Cesar Guerra-Garcia. Simple Search Strategies for Inductive Theorem Proving in Isabelle/HOL. July. 2016. In review.[supplementary information]

Omar Montaño-Rivas, Cesar Guerra-Garcia, Moa Johansson, Martí Hernández-Ordoñes. Higher-order specification of terminating functions in genetic programming. Jun. 2016. In review. [supplementary information]

Omar Montaño-Rivas. Scheme-based Theorem Discovery and Concept Invention: Rewriting theory-exploration. Lambert Academic Publishing. ISBN: 978-3-659-88620-1. May 2016.

C. Guerra-García, R. Juárez-Ramírez, V. Menéndez-Domínguez, R. Llamas, and O.Montaño. Improving the project planning process considering artifacts with quality. In 2016 4th International Conference in Software Engineering Research and Innovation CONISOFT, pages 15-20, April 2016.

Cesar Guerra-García, Victor Hernández-Domínguez, Ismael Caballero, and Omar Montaño Rivas. Selecting web functionalities versus data quality dimensions: A first approach. In 5th International Symposium on Data-driven Process Discovery and Analysis SIMPDA, December 2015.

Cesar Guerra-Garcia, Omar Montaño-Rivas. Considering quality of data through software development. Computación y Sistemas. Sep. 2015.

José Margarito Canseco Cortinas, Martín Hernández Ordoñez, Carlos A. Calles-Arriaga, Omar Montaño-Rivas. Desarrollo de una aplicación móvil educativa para el control de la diabetes tipo 1. Primer Congreso Nacional de Ingeniería. Avances en Tecnología de la Información, Mecatrónica y Tecnología de los Materiales. Sep. 2014.

Martín Hernández-Ordoñez, Elvia R. Palacios Hernández, Carlos A. Calles-Arriaga, Francisco Mesa Linares, Omar Montaño-Rivas, Victor M. Ovando-Medina. Union Rule Configuration-based fuzzy controller for glucose regulation. Expert Systems with Applications.

O. Montano-Rivas. Completion-based Automated Theory Exploration. In Advances in Artificial Intelligence and Its Applications, Springer Berlin Heidelberg, 2013. 92-109.

O. Montano-Rivas, R. McCasland, L. Dixon, and A. Bundy. Scheme-based Theorem Discovery and Concept Invention. Expert Systems with Applications, 39(2):1637–1646, Feb. 2012.

O. Montano-Rivas, R. McCasland, L. Dixon, and A. Bundy. Scheme-based Synthesis of Inductive Theories. In Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I, MICAI’10, pages 348–361, Berlin, Heidelberg, 2010. Springer-Verlag. Received Best Paper Award.

M. Hernández-Ordoñez , O. Montaño-Rivas, F. Campos-Cornejo, D.U. Campos-Delgado. An educational simulator and graphical user interface for type 1 diabetes: implementation of run-2-run algorithm for diabetes control. Basel, Switzerland. Posters of ATDD 2013.

M. Hernández-Ordoñez , O. Montaño-Rivas, D.U. Campos-Delgado and E. Palacios. Development of an Educational Simulator and Graphical User Interface for Diabetic Patients. Proceedings of IEEE, ICEEE07.

Eduardo H. Calvillo Gámez, José Carbajal Gutiérrez, Karla Díaz de León Azuara, Janeth García Saucedo, Rafael Llamas Contreras, Omar Montaño Rivas. Developing an Information System Using User Centered Design. Proceedings of IEEE ROC&C, November 2004.

Aguirre J.L., Montaño O., Sanchez-Castellanos J.M. Uso de Sistemas Basados en Casos y de Minería de datos en un Sistema de Flujo de Información y Conocimiento. Third Iberoamerican Conference on Systems, Cybernetics and Informatics Memories, pg. 356-361 Orlando, Florida, USA July 18-21 2004.

Aguirre J.L., Montaño O., Sanchez-Castellanos J.M. Knowledge flow leveraged through case-based and data mining agents in a just in time information and knowledge system. Proceedings 2nd International IEEE Conference Intelligent Systems, pag. 200-205 Yager R., Sgurev V. eds. Varna, Bulgaria, June 22-24 2004.

Aguirre J.L., Montaño O. An agent-based knowledge flow system using case-based technologies. Workshops on Intelligent Computing associated with the Mexican Conference on Artificial Intelligence MICAI 2004, pag. 100-107 SheremetovL., Alvarado M. eds. Mexico City, Mexico 26-27 Abril 2004