| Scheme-based theorem discovery and concept invention O Montano-Rivas, R McCasland, L Dixon, A Bundy Expert systems with applications 39 (2), 1637-1646, 2012 | 47 | 2012 |
| An education application for teaching robot arm manipulator concepts using augmented reality M Hernández-Ordoñez, MA Nuño-Maganda, CA Calles-Arriaga, ... Mobile Information Systems 2018, 2018 | 17 | 2018 |
| Scheme-based synthesis of inductive theories O Montano-Rivas, R McCasland, L Dixon, A Bundy Advances in Artificial Intelligence: 9th Mexican International Conference on …, 2010 | 17 | 2010 |
| Using a CTF Tournament for Reinforcing Learned Skills in Cybersecurity Course. H Gonzalez, R Llamas, OM Rivas Res. Comput. Sci. 148 (5), 133-141, 2019 | 14 | 2019 |
| Improving the project planning process considering artifacts with quality C Guerra-García, R Juárez-Ramírez, V Menéndez-Domínguez, R Llamas, ... 2016 4th International Conference in Software Engineering Research and …, 2016 | 6 | 2016 |
| Developrnent of an Educational Simulator and Graphical User Interface for Diabetic Patients M Hernandez-Ordonez, O Montano, DU Campos-Delgado, E Palacios 2007 4th International Conference on Electrical and Electronics Engineering …, 2007 | 4 | 2007 |
| QUACOP: an approach to increase the quality of artifacts considered in a project planning process V Guerra-García, Cesar and Llamas, Rafael and Montaño-Rivas, Omar and Juárez ... Software engineering: Methods, modeling and teaching 4, 338 - 351, 2017 | 3* | 2017 |
| Selecting Web Functionalities versus Data Quality Dimensions: A First Approach. C Guerra-García, I Caballero, VH Menéndez-Domínguez, ... SIMPDA, 131-136, 2015 | 3 | 2015 |
| Knowledge flow leveraged through case-based and data mining agents in a just in time information and knowledge system JL Aguirre, O Montano, JM Sanchez-Castellanos 2004 2nd International IEEE Conference on'Intelligent Systems'. Proceedings …, 2004 | 3 | 2004 |
| Medical Assistant Mobile Application for Diabetes Control by Simulating a Compartmental Model M Hernández-Ordoñez, MA Nuño-Maganda, CA Calles-Arriaga, ... Applied Sciences 10 (19), 6846, 2020 | 2 | 2020 |
| When software engineering meets cybersecurity at the classroom H Gonzalez, R Llamas-Contreras, O Montaño-Rivas 2019 7th International Conference in Software Engineering Research and …, 2019 | 2 | 2019 |
| Scheme-based theorem discovery and concept invention: rewriting theory exploration O Montaño Rivas | | 2016 |
| Completion-Based Automated Theory Exploration O Montano-Rivas Advances in Artificial Intelligence and Its Applications: 12th Mexican …, 2013 | | 2013 |
| Scheme-based Theorem Discovery and Concept Invention OM Rivas University of Edinburgh, 2012 | | 2012 |
| Incorporación de un agente que razona en base a casos en JITIK OM Rivas Instituto Tecnológico y de Estudios Superiores de Monterrey, 2003 | | 2003 |
| INTRODUCING ASPECTS OF DATA QUALITY INTO A SOFTWARE DEVELOPMENT METHODOLOGY C Guerra-García, O Montaño, I Caballero, R Pérez-Castillo, M Piattini | | |
| CONISOFT 2016 ES Lara, SR Murillo, JA Sánchez, VH Castillo, L Soriano-Equigua, ... | | |
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
