| Conceptual framework for business processes compositional verification LE Mendoza, MI Capel, MA Pérez Information and Software Technology 54 (2), 149-161, 2012 | 46 | 2012 |
| A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models KB Akhlaki, MIC Tuñón, JAH Terriza, LEM Morales Science of Computer Programming 65 (1), 41-56, 2007 | 42 | 2007 |
| Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem LGB Ruíz, MI Capel, MC Pegalajar Applied Soft Computing 76, 356-368, 2019 | 37 | 2019 |
| Teaching concurrent and parallel programming by patterns: An interactive ICT approach MI Capel, AJ Tomeu, AG Salguero Journal of Parallel and Distributed Computing 105, 42-52, 2017 | 23 | 2017 |
| A tensorflow approach to data analysis for time series forecasting in the energy-efficiency realm JRS Iruela, LGB Ruiz, MI Capel, MC Pegalajar Energies 14 (13), 4038, 2021 | 22 | 2021 |
| Nivel de triglicéridos como factor de riesgo durante el embarazo: modelado biológico; revisión sistemática MJ Aguilar Cordero, L Baena García, AM Sánchez López, ... Nutrición Hospitalaria 32 (2), 517-527, 2015 | 21 | 2015 |
| A parallel solution with GPU technology to predict energy consumption in spatially distributed buildings using evolutionary optimization and artificial neural networks JRS Iruela, LGB Ruiz, MC Pegalajar, MI Capel Energy conversion and management 207, 112535, 2020 | 17 | 2020 |
| Parallel cellular automaton tumor growth model AG Salguero, MI Capel, AJ Tomeu Practical Applications of Computational Biology and Bioinformatics, 12th …, 2019 | 17 | 2019 |
| Speeding up tumor growth simulations using parallel programming and cellular automata AJ Tomeu, AG Salguero, MI Capel IEEE Latin America Transactions 14 (11), 4611-4619, 2016 | 16 | 2016 |
| Triglyceride levels as a risk factor during pregnancy; biological modeling; systematic review AC MJ, SL AM Nutrición Hospitalaria 32 (2), 517-527, 2015 | 15 | 2015 |
| Automating the transformation from BPMN models to CSP+ T specifications MI Capel, LE Mendoza 2012 35th annual IEEE software engineering workshop, 100-109, 2012 | 14 | 2012 |
| AN OBJECT-BASED TOOL AND METHODOLOGICAL APPROACH FOR DISTRIBUTED-PROGRAMMING M Capel, JM Troya Software-Concepts and Tools 15 (4), 177-195, 1994 | 13 | 1994 |
| Choreography modeling compliance for timed business models MI Capel, LE Mendoza Enterprise and Organizational Modeling and Simulation: 10th International …, 2014 | 11 | 2014 |
| A programming tool for distributed implementation of branch-and-bound algorithms MI Capel, A Palma Parallel Computing and Transputer Applications. IOS Press/CIMNE. Barcelona, 1992 | 11 | 1992 |
| A parallel programming methodology using communication patterns named CPANS or composition of parallel object M Rossainz, M Capel Proceedings of 20TH European Modeling & Simulation Symposium, Campora S …, 2008 | 10 | 2008 |
| Automatic verification of business process integrity MI Capel-Tunon, LE Mendoza-Morales, K Benghazi-Akhlaki International Journal of Simulation and Process Modelling 4 (3-4), 167-182, 2008 | 10 | 2008 |
| Compositional model-checking verification of critical systems LE Mendoza, MI Capel, M Pérez, K Benghazi Enterprise Information Systems: 10th International Conference, ICEIS 2008 …, 2009 | 9 | 2009 |
| A Wireless Networked Embedded System with a New Real-Time Kernel-PaRTiKle W Mata, A González, R Aquino, A Crespo, I Ripoll, M Capel Electronics, Robotics and Automotive Mechanics Conference (CERMA 2007), 21-26, 2007 | 9 | 2007 |
| A parallelisation tale of two languages AT Hardasmal, AS Hidalgo, MC Tuñón Annals of Multicore and GPU Programming: AMGP 2 (1), 81-94, 2015 | 7 | 2015 |
| Algorithm proposal to automata generation from CCTL formulas L Mendoza, M Capel Technical report, University of Granada, 2008 | 7 | 2008 |
