A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. - Javier Tuya; Luciano Sánchez; R. Zurita; José A. Corrales (ESEC, 1993)

Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. - Javier Tuya; E. Arias; Luciano Sánchez; José A. Corrales (IWANN, 1993)

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. - Javier Tuya; Luciano Sánchez; José A. Corrales (ESEC, 1995)

Dynamic analysis of SA/RT models using Spin and modular verification. - Javier Tuya; José Ramón de Diego; Claudio de la Riva; José A. Corrales (The Spin Verification System, 1996)

Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. - José García-Fanjul; Javier Tuya; José A. Corrales (JISBD, 1999)

Building Internet Shops: Current Status of the Cities Project. - Angel Goitia; José García-Fanjul; Javier Tuya; José A. Corrales (ICEIS, 2000)

An Asturian view of networking 2015. - José A. Corrales (Commun. ACM, 2001)

Combining GP operators with SA search to evolve fuzzy rule based classifiers. - Luciano Sánchez; Inés Couso; José A. Corrales (Inf. Sci., 2001)