Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. - Juan José Pardo; Valentín Valero Ruiz; Fernando Cuartero; Diego Cazorla (APSEC, 2001)

Translating TPAL Specifications into Timed-Arc Petri Nets. - Valentín Valero Ruiz; Juan José Pardo; Fernando Cuartero (ICATPN, 2002)

Algebraic theory of probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo; Juan José Pardo (J. Log. Algebraic Methods Program., 2003)

A Bounded True Concurrency Process Algebra for Performance Evaluation. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo; Hermenegilda Macià (FORTE Workshops, 2004)

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. - Juan José Pardo; Valentín Valero Ruiz; M. Carmen Ruiz; Fernando Cuartero; Gregorio Díaz 001 (Australian Software Engineering Conference, 2005)

Automatic Translation of WS-CDL Choreographies to Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (EPEW/WS-FM, 2005)

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. - Gregorio Díaz 001; Kim Guldstrand Larsen; Juan José Pardo; Fernando Cuartero; Valentín Valero (SAC, 2005)

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SYNASC, 2005)

Verification of Web Services with Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (WWV, 2005)

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (AICT/ICIW, 2006)

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (CIMCA/IAWTIC, 2006)

Analysis of the SET e-commerce protocol using a true concurrency process algebra. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SAC, 2006)

RT-UML for modeling Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero Ruiz; Fernando L. Pelayo (SCW, 2006)

Process Algebra Specification of Flexible Manufacturing Systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo (SYNASC, 2006)

Using UML Diagrams to Model Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero (ICIW, 2007)

Using RT-UML for modelling web services. - María-Emilia Cambronero; Juan José Pardo; Gregorio Díaz 001; Valentín Valero (SAC, 2007)

Model Checking Techniques applied to the design of Web Services. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (CLEI Electron. J., 2007)

Formal Verification of the Secure Sockets Layer Protocol. - Llanos Tobarra; Diego Cazorla; Juan José Pardo; Fernando Cuartero (ICEIS (3-2), 2008)

Modelling secure wireless sensor networks routing protocols with timed automata. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Juan José Pardo (PM2HW2N, 2008)

A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (ICCCI (SCI Volume), 2009)

Nuevos Métodos de Enseñanza en Astronomía. - Fernando Cuartero; Jesús Ruíz Bueno; Juan José Pardo (Rev. Iberoam. de Tecnol. del Aprendiz., 2009)

BAL Tool in Flexible Manufacturing Systems. - Diego Pérez Leándrez; M. Carmen Ruiz; Juan José Pardo; Diego Cazorla (AMAST, 2010)

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. - Juan José Pardo; Manuel Núñez 001; M. Carmen Ruiz (FMOODS/FORTE, 2010)

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. - Valentín Valero Ruiz; Hermenegilda Macià; Juan José Pardo; María-Emilia Cambronero; Gregorio Díaz 001 (Sci. Comput. Program., 2012)

Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. - José Antonio Mateo; Hermenegilda Macià; M. Carmen Ruiz; Juan José Pardo; A. M. Ortiz (ICCS, 2013)

Finding the Suitable Number of Resources to Maximize System Throughput. - M. Carmen Ruiz; Diego Pérez Leándrez; Juan José Pardo; Diego Cazorla (WorldCIST, 2013)

Formal Study of Routing Protocols for Wireless Sensor Networks. - José Antonio Mateo; M. Carmen Ruiz; Hermenegilda Macià; Juan José Pardo (J. Univers. Comput. Sci., 2014)

A Methodology for Designing Energy-aware Systems for Computational Science. - Pablo C. Cañizares; Alberto Núñez; Manuel Núñez 001; Juan José Pardo (ICCS, 2015)

Science for everyone (ScifE): A proposed framework for science as a service using interactive web technologies. - Raúl Moreno 001; F. J. Pérez-Gil; Juan José Pardo; Andrés Navarro; Francisco J. Tapiador (Comput. Geosci., 2019)

Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model. - Raúl Moreno 001; Enrique Arias 001; Diego Cazorla; Juan José Pardo; Andrés Navarro; Tomás Rojo; Francisco J. Tapiador (Sci. Program., 2020)

Seeking the best Weather Research and Forecasting model performance: an empirical score approach. - Raúl Moreno 001; Enrique Arias 001; Diego Cazorla; Juan José Pardo; Francisco J. Tapiador (J. Supercomput., 2020)