| Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations. | 0 | 0.34 | 2019 |
| Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem. | 0 | 0.34 | 2019 |
| A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java - Study of One Case. | 0 | 0.34 | 2018 |
| Parallel Cellular Automaton Tumor Growth Model. | 0 | 0.34 | 2018 |
| Personality Determination of an Individual Through Neural Networks. | 0 | 0.34 | 2018 |
| Design and implementation of communication patterns using parallel objects. | 0 | 0.34 | 2017 |
| A Set of Patterns for Concurrent and Parallel Programming Teaching. | 0 | 0.34 | 2017 |
| Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. | 0 | 0.34 | 2017 |
| A methodological approach for checking safety-critical systems software. | 0 | 0.34 | 2017 |
| Teaching concurrent and parallel programming by patterns: An interactive ICT approach. | 0 | 0.34 | 2017 |
| Checking Realizability Of A Timed Business Processes Choreography | 0 | 0.34 | 2017 |
| Checking Critical Software Systems: A Formal Proposal | 0 | 0.34 | 2016 |
| Integration of ICT in Concurrent and Parallel Programming Lectures. | 2 | 0.44 | 2015 |
| Choreography Modeling Compliance for Timed Business Models. | 1 | 0.36 | 2014 |
| Choreography Conformace Checking based on Process Algebras. | 0 | 0.34 | 2013 |
| Conceptual framework for business processes compositional verification | 6 | 0.45 | 2012 |
| Automating the Transformation from BPMN Models to CSP+T Specifications | 2 | 0.37 | 2012 |
| A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. | 0 | 0.34 | 2012 |
| Implementing A Transformation From Bpmn To Csp Plus T With Atl: Lessons Learnt | 0 | 0.34 | 2011 |
| BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. | 2 | 0.43 | 2011 |
| Compositional Verification of Business Processes by Model-Checking | 0 | 0.34 | 2010 |
| A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes | 3 | 0.39 | 2010 |
| Automatic Compositional Verification of Business Processes | 1 | 0.37 | 2009 |
| Towards the Correctness Verifcation of Business Processes Modelled with UML. | 0 | 0.34 | 2008 |
| Compositional Model-Checking Verification of Critical Systems | 3 | 0.42 | 2008 |
| An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T | 0 | 0.34 | 2007 |
| Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics | 1 | 0.40 | 2007 |
| Towards UML-RT Behavioural Consistency | 0 | 0.34 | 2007 |
| A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification | 2 | 0.38 | 2006 |
| Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models | 1 | 0.40 | 2006 |
| CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code | 0 | 0.34 | 2006 |
| Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP) | 6 | 0.55 | 2005 |
| Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems | 6 | 0.60 | 2005 |
| An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case | 1 | 0.39 | 2005 |
| Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models | 2 | 0.43 | 2005 |
| A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs) | 0 | 0.34 | 2004 |
| Systematic Design of Real-Time Systems Based on CSP+T Process Algebra | 0 | 0.34 | 2004 |
| On-the-fly model checking from interval logic specifications | 3 | 0.42 | 2002 |
| Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos | 0 | 0.34 | 2001 |
| Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic | 1 | 0.37 | 2001 |
| A proposal to improve reusability in a language based on the occam-CSP model | 1 | 0.43 | 1997 |
| Paradigms for Parallel Distributed Programming | 2 | 0.44 | 1996 |
| An Object-Based Tool and Methodological Approach for Distributed Programming | 6 | 0.85 | 1994 |
| Distributed active objects: a methodological proposal and tool for distributed programming with transputer systems | 0 | 0.34 | 1993 |
| A Methodological Scheme and Tool for Program Transformation with Transputer Systems | 0 | 0.34 | 1993 |
