Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero (PNPM, 1991)

Decidability of the strict reachability problem for TPN's with rational and real durations. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero Gómez (PNPM, 1993)

Timed Processes of Timed Petri Nets. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero (Application and Theory of Petri Nets, 1995)

A simulation tool of parallel architectures for digital image processing applications based on DLX processors. - Valentín Valero Ruiz; Fernando Cuartero; Antonio Jose Garrido del Solo; Francisco J. Quiles 001 (ICIP (3), 1995)

TPAL: A Timed-Probabilistic Model for Concurrent Processes. - Antonio Bueno; Valentín Valero Ruiz; Fernando Cuartero (APSEC, 1997)

A Sound and Complete Proof System for Probabilistic Processes. - Fernando Cuartero; David de Frutos-Escrig; Valentín Valero Ruiz (ARTS, 1997)

On non-decidability of reachability for timed-arc Petri nets. - Valentín Valero Ruiz; David de Frutos-Escrig; Fernando Cuartero Gómez (PNPM, 1999)

A Denotational Model for Probabilistic and Nondeterministic Processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (ICDCS Workshop on Distributed System Validation and Verification, 2000)

An example of performance evaluation by using the stochastic process algebra: ROSA. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (RTCSA, 2000)

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

A process algebra for probabilistic and nondeterministic processes. - Diego Cazorla; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (Inf. Process. Lett., 2001)

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

Specification and Analysis of the MPEG–2 Video Encoder with Timed-Arc Petri Nets. - Valentín Valero Ruiz; Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (FMICS, 2002)

A New Synchronization in Finite Stochastic Petri Box Calculus. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; Fernando L. Pelayo (ACSD, 2003)

Analysis of the MPEG-2 Encoding Algorithm with ROSA1. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Diego Cazorla (FMICS, 2003)

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)

Introducing the Iteration in sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Diego Cazorla; Fernando Cuartero (FORTE, 2004)

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

Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Hermenegilda Macià; Maria L. Pelayo (MMM, 2004)

Automatic verification of the TLS handshake protocol. - Gregorio Díaz 001; Fernando Cuartero; Valentín Valero Ruiz; Fernando L. Pelayo (SAC, 2004)

How does the memory work? By timed-arc Petri nets. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Maria L. Pelayo; Mercedes G. Merayo (IEEE ICCI, 2005)

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)

Application of Formal Methods to the Analysis of Web Services Security. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001 (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)

A translation of TPALp into a class of timed-probabilistic Petri nets. - Antonio Bueno; Valentín Valero Ruiz; Fernando Cuartero (Theor. Comput. Sci., 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)

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

Analysis and Verification of Time Requirements Applied to the Web Services Composition. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero; Fernando Cuartero (WS-FM, 2006)

Does ROSA provide a good view of the Memorizing Process? - Maria L. Pelayo; Fernando L. Pelayo; Fernando Cuartero; Valentín Valero; Gregorio Díaz 001; Elena Nieto (IEEE ICCI, 2007)

Testing Time Goal-Driven Requirements with Model Checking Techniques. - Gregorio Díaz 001; Elena Navarro 001; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (ECBS, 2007)

Analysis of Web Services Secure Conversation with Formal Methods. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001 (ICIW, 2007)

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (WSAN, 2007)

Formal Analysis of Sensor Network Encryption Protocol (SNEP). - Llanos Tobarra; Diego Cazorla; Fernando Cuartero (MASS, 2007)

Automation of Avionic Systems Testing. - David Cebrián; Valentín Valero Ruiz; Fernando Cuartero (TestCom/FATES, 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 congruence relation for sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; David de Frutos-Escrig (Formal Methods Syst. Des., 2008)

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. - Hermenegilda Macià; Valentín Valero; Fernando Cuartero; M. Carmen Ruiz (Fundam. Informaticae, 2008)

A high performance tool for the simulation of the dynamic pantograph-catenary interaction. - Angelines Alberto; Jesús Benet; Enrique Arias 001; David Cebrián; Tomás Rojo; Fernando Cuartero (Math. Comput. Simul., 2008)

Towards the Evolutionary Process Algebra. - Fernando L. Pelayo; Luis de la Ossa; Fernando Cuartero; Maria L. Pelayo; Juan Luis García Guirao (IEEE ICCI, 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)

A mathematical model of the static pantograph/catenary interaction. - Enrique Arias 001; Angelines Alberto; Jesús Montesinos; Tomás Rojo; Fernando Cuartero; Jesús Benet (Int. J. Comput. Math., 2009)

Improving performance in flexible manufacturing systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (Telecommun. Syst., 2009)

Discrete Dynamical Systems for encoding Concurrent Computing Systems. - Fernando López Pelayo; José C. Valverde; Maria L. Pelayo; Fernando Cuartero (IEEE ICCI, 2010)

Looking for a Cheaper ROSA. - Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla (IWANN (2), 2011)

Twitter as a Tool for Predicting Elections Results. - Juan M. Soler; Fernando Cuartero; Manuel Roblizo (ASONAM, 2012)

CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction. - Nuria Cuartero; Enrique Arias 001; Fernando Cuartero; Tomás Rojo (CLEI, 2012)

Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Fernando Cuartero (IWANN (2), 2017)

Heuristics for ROSA's LTS Searching. - Fernando López Pelayo; Fernando Cuartero Gómez; Diego Cazorla; Pedro Valero-Lara; Mercedes G. Merayo (IWANN (2), 2017)

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Juan Boubeta-Puig; Fernando Cuartero (Neural Comput. Appl., 2020)

Quantum algorithm for doubling the amplitude of the search problem's solution states. - Mauro Mezzini; Fernando L. Pelayo; Fernando Cuartero (CoRR, 2021)

Quantum invariants for the graph isomorphism problem. - Hernán I. de la Cruz; Fernando L. Pelayo; Vicente Pascual; Jose J. Paulet; Fernando Cuartero; Luis Llana; Mauro Mezzini (CoRR, 2022)

A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper). - Mauro Mezzini; Fernando Cuartero Gomez; Fernando López Pelayo; Jose Javier Paulet Gonzales; Hernan Indibil de la Cruz Calvo; Vicente Pascual (AIQxQIA@AI*IA, 2023)

A polynomial quantum computing algorithm for solving the dualization problem. - Mauro Mezzini; Fernando Cuartero Gomez; Fernando L. Pelayo; Jose Javier Paulet Gonzales; Hernan Indibil de la Cruz Calvo; Vicente Pascual (CoRR, 2023)

Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions. - Mauro Mezzini; Fernando Cuartero Gomez; Jose Javier Paulet Gonzalez; Hernan Indibil de la Cruz Calvo; Vicente Pascual; Fernando L. Pelayo (Quantum Mach. Intell., 2024)

Experimental algorithms for the dualization problem. - Mauro Mezzini; Fernando Cuartero Gomez; Jose Javier Paulet Gonzalez; Hernan Indibil de la Cruz Calvo; Vicente Pascual; Fernando L. Pelayo (CoRR, 2025)