DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. - Pablo Rabanal; José Antonio Mateo; Ismael Rodríguez 001; Gregorio Díaz 001 (ICWS, 2011)

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. - José Antonio Mateo; Valentín Valero; Gregorio Díaz 001 (WS-FM, 2011)

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources - José Antonio Mateo; Valentín Valero; Gregorio Díaz 001 (CoRR, 2012)

Conformance Verification of Normative Specifications using C-O Diagrams - Gregorio Díaz 001; Luis Llana; Valentín Valero Ruiz; José Antonio Mateo (FLACOS, 2012)

A centralized and a decentralized method to automatically derive choreography-conforming web service systems. - Ismael Rodríguez 001; Gregorio Díaz 001; Pablo Rabanal; José Antonio Mateo (J. Log. Algebraic Methods Program., 2012)

Improving the Automatic Derivation of Choreography-conforming Web Services Systems. - Pablo Rabanal; Ismael Rodríguez 001; José Antonio Mateo; Gregorio Díaz 001 (ICCS, 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)

Soundness of Timed-Arc Workflow Nets. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Petri Nets, 2014)

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. - José Antonio Mateo; Valentín Valero Ruiz; Hermenegilda Macià; Gregorio Díaz 001 (SEFM Workshops, 2014)

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)

Petri nets-based model for the analysis of NORIA protocol. - Hermenegilda Macià; M. Carmen Ruiz; José Antonio Mateo; Javier L. Calleja (Concurr. Comput. Pract. Exp., 2015)

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Fundam. Informaticae, 2015)

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. - José Antonio Mateo; Hermenegilda Macià; M. Carmen Ruiz; Javier L. Calleja; Fernando Royo (Int. J. Distributed Sens. Networks, 2015)

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; José Antonio Mateo; Francisco Javier Calleja (ICCS, 2016)

Data-aware automatic derivation of choreography-conforming systems of services. - Pablo Rabanal; José Antonio Mateo; Ismael Rodríguez 001; Gregorio Díaz 001 (Comput. Stand. Interfaces, 2017)

Harnessing Blockchain Technology to Enhance Trust and Traceability in Wine Trading Among Wineries. - Rubén Hortelano-Haro; José A. Mateo-Cortés; María Blanca Caminero-Herráez; Enrique Arias-Antúnez; Ángel Hernández-Bravo; Diego Dujovne (IT Prof., 2024)