José A. Corrales

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

Luciano Sánchez, Inés Couso, José A. Corrales
Combining GP operators with SA search to evolve fuzzy rule based classifiers. Inf. Sci. 136 (1-4) (2001)
José A. Corrales
An Asturian view of networking 2015. Commun. ACM 44 (9) (2001)
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
Building Internet Shops: Current Status of the Cities Project. ICEIS (2000)
José García-Fanjul, Javier Tuya, José A. Corrales
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. JISBD (1999)
Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales
Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System (1996)
Javier Tuya, Luciano Sánchez, José A. Corrales
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. ESEC (1995)
Javier Tuya, E. Arias, Luciano Sánchez, José A. Corrales
Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. IWANN (1993)
Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. ESEC (1993)