Follow
manuel i. capel
Title
Cited by
Cited by
Year
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
Conceptual framework for business processes compositional verification
LE Mendoza, MI Capel, MA Pérez
Information and Software Technology 54 (2), 149-161, 2012
392012
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
272019
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
202017
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
182015
Parallel cellular automaton tumor growth model
AG Salguero, MI Capel, AJ Tomeu
International Conference on Practical Applications of Computational Biology …, 2018
142018
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
142016
An object-based tool and methodological approach for distributed programming
M Capel, JM Troya
Software Concepts and Tools 15 (4), 177-177, 1994
141994
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
132020
Automating the transformation from BPMN models to CSP+ T specifications
MI Capel, LE Mendoza
2012 35th annual IEEE software engineering workshop, 100-109, 2012
122012
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
121992
Choreography modeling compliance for timed business models
MI Capel, LE Mendoza
Workshop on Enterprise and Organizational Modeling and Simulation, 202-218, 2014
102014
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
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
92021
Compositional model-checking verification of critical systems
LE Mendoza, MI Capel, M Pérez, K Benghazi
International Conference on Enterprise Information Systems, 213-225, 2008
92008
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
92008
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
Triglyceride levels as a risk factor during pregnancy; biological modeling; systematic review
AC MJ, SL AM
Nutricion Hospitalaria 32 (2), 517-527, 2015
82015
On-the-fly model checking from interval logic specifications
MJ Hornos, MI Capel
ACM SIGPLAN Notices 37 (12), 108-119, 2002
72002
Dynamic load balancing strategy for parallel tumor growth simulations
AG Salguero, AJ Tomeu-Hardasmal, MI Capel
Journal of Integrative Bioinformatics 16 (1), 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20