Follow
manuel i. capel
Title
Cited by
Cited by
Year
Conceptual framework for business processes compositional verification
LE Mendoza, MI Capel, MA Pérez
Information and Software Technology 54 (2), 149-161, 2012
472012
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
422019
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
422007
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
262021
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
252015
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
242020
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
242017
Parallel cellular automaton tumor growth model
AG Salguero, MI Capel, AJ Tomeu
Practical Applications of Computational Biology and Bioinformatics, 12th …, 2019
192019
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
172016
Triglyceride levels as a risk factor during pregnancy; biological modeling; systematic review
AC MJ, SL AM
Nutrición Hospitalaria 32 (2), 517-527, 2015
172015
Automating the transformation from BPMN models to CSP+ T specifications
MI Capel, LE Mendoza
2012 35th annual IEEE software engineering workshop, 100-109, 2012
142012
AN OBJECT-BASED TOOL AND METHODOLOGICAL APPROACH FOR DISTRIBUTED-PROGRAMMING
M Capel, JM Troya
Software-Concepts and Tools 15 (4), 177-195, 1994
131994
Choreography modeling compliance for timed business models
MI Capel, LE Mendoza
Enterprise and Organizational Modeling and Simulation: 10th International …, 2014
112014
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
111992
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
102008
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
102008
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
92009
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
92007
Dynamic load balancing strategy for parallel tumor growth simulations
AG Salguero, AJ Tomeu-Hardasmal, MI Capel
Journal of Integrative Bioinformatics 16 (1), 20180066, 2019
72019
Design and implementation of communication patterns using parallel objects
MR López, MI Capel
International Journal of Simulation and Process Modelling 12 (1), 69-91, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20