Journals & Magazines

Journals and Magazines

Notice: selected papers

  1. Luis G. Baca Ruíz, Manuel I. Capel, M.C. Pegalajar. Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem Applied Soft Computing. Elsevier. Vol. 76, March 2019, pp.:356-368, 2019 (JCR 2018 Q1).
  2. Alberto G. Salguero, Antonio J. Tomeu-Hardasmal, Manuel I. Capel. Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations J. Integrative Bioinformatics. De Gruyter. Vol. 16, no.1, pp.1-12, 2019.
  3. Manuel I. Capel, Antonio J. Tomeu-Hardasmal, Alberto G. Salguero. Teaching concurrent and parallel programming by patterns: An interactive ICT approach Journal of Parallel and Distributed Computing. Elsevier. Vol. 105, July 2017, pp.42-52, 2017 (JCR 2017 Q2).
  4. Luis E. Mendoza Morales, Manuel I. Capel. A methodological approach for checking safety-critical systems software International Journal of Critical Computer-Based Systems (IJCCBS)Inderscience, Vol. 7, No. 4, 2017.
  5. Mario Rossainz López, Manuel I. Capel. Design and implementation of communication patterns using parallel objects International Journal of Simulation and Process Modelling (IJSPM)Inderscience, , Vol. 12, No. 1, 2017.
  6. Luis E. Mendoza Morales, Manuel I. Capel, María Pérez. Conceptual Framework for Business Processes Compositional Verifications. Information and Software Technology. Elsevier. Vol. 54, no.:2, pp.:149-161, 2012 (JCR 2011 Q2).
  7. Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María Pérez. A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. Lecture Notes in Business Information Processing. Springer. Vol.:73, no.:1, pp.:388-403, 2011 ( ISI Proceedings, DBLP, EI --from2009 on-- and JCR).
  8. Luis E. Mendoza, Manuel I. Capel. Automatic Compositional Verification of Business Processes.  Lecture Notes in Business Information Processing. Springer. Vol.:24, pp.:479-490, 2009 ( ISI Proceedings, DBLP, EI --from2009 on-- and JCR).
  9.  Luis E. Mendoza, Manuel I. Capel, María Pérez, y Kawtar Benghazi. Compositional Model-Checking Verification of Critical Systems.  Enterprise Information Systems (EIS) X. Lecture Notes in Business Information Processing. Springer. Vol.:19, pp.:213-225, 2009 ( ISI Proceedings, DBLP, EI --from2009 on-- and JCR).

  10. Manuel I. Capel Tuñón, Luis Eduardo Mendoza Morales,  y Kawtar Benghazi Akhlaki. Automatic Verification of Business Process Integrity. International Journal Simulation and Process Modelling. Inderscience. Vol.4, no.3/4, pp.167-182, 2008 . Peer reviewed paper, international editortial board (http://www.inderscience.com/).

  11. K.Benghazi Ahklaki, M.I. Capel Tuñón, J.A.Holgado Terriza, L.E. Mendoza Morales. A Methodological Approach to the Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. Science of Computer Programming. Elsevier. Vol. 65, pp.41-56, 2007 (JCR 2007 Q2).

  12. M. Rossainz L&oacutepez, M.I. Capel Tuñón. High Level Parallel Compositions for the parallel programming based on use of communication patterns. Research in Computing Science. Vol.19, pp.29-40, 2006. ISSN: 1870-4069, RCS is an internationally refereed scientific research journal published by the National Polytechnic Institute, Mexico.

  13. A. Escámez Chimeno, J.A. Holgado Terriza, M.I. Capel Tuñón. CSPJADE: a code generating CASE tool for embedded based on reusable components and CSP paradigm. Manufacturing Engineering. Vol. 2, pp.45-49, 2005 (JCR 2005 Q3).

  14. M.I. Capel Tuñón, J.R.Balsas, J.A.Holgado. A Transformational Approach to the Systematic DEsign of Real-time Systems. Manufacturing Engineering. Vol. 2, pp.5-13, 2004 (JCR 2005 Q3).

  15. M. J. Hornos, M. I. Capel. On-the-fly Model Checking from Interval Logic Specifications. ACM SIGPLAN Notices, v.37, n.12, pp.108-119, 2002.

Copyright Notices

Personal use of the above material is usually permitted. Permission from editorials (ACM, Elsevier, Springer, etc.) should be obtained prior to use any of these in publications, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.