Manuel I. Capel Tuñón

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 2

Top Topics

Genome Sequences

Sequence Databases

Regular Patterns

Top Venues

Res. Comput. Sci.

Publications

Mario Rossainz López, Manuel I. Capel Tuñón, Ivo Humberto Pineda Torres, Iván Olmos Pineda, J. Arturo Olvera-López
Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings. Res. Comput. Sci. 148 (3) (2019)
Mario Rossainz López, Manuel I. Capel Tuñón, Diego Sarmiento Rojas
Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal. Res. Comput. Sci. 145 (2017)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS (2010)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) (2010)
Mario Rossainz López, Manuel I. Capel Tuñón
Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems. ECMS (2009)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) (2008)
Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4 (3/4) (2008)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
Towards UML-RT Behavioural Consistency. ICEIS (3) (2007)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65 (1) (2007)
Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón
Java-Based Adaptable Middleware Platform for Virtual Instrumentation. VECIMS (2007)
Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS (2007)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) (2007)
Mario Rossainz López, Manuel I. Capel Tuñón
An Approach to Structured Parallel Programming Based on a Composition. CONIELECOMP (2006)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS (2006)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) (2006)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) (2005)
Manuel I. Capel Tuñón, Mario Rossainz López
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). CONIELECOMP (2005)
Manuel I. Capel Tuñón, Mario Rossainz López
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). CONIELECOMP (2004)