José A. Corrales

According to our database, José A. Corrales authored at least 8 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

An Asturian view of networking 2015.

José A. Corrales

Commun. ACM, 2001

2000

Building Internet Shops: Current Status of the Cities Project.

Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales

Proceedings of the ICEIS 2000, 2000

1999

Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.

José García-Fanjul, Javier Tuya, José A. Corrales

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

1996

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

Proceedings of the Spin Verification System, 1996

1995

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models.

Javier Tuya, Luciano Sánchez, José A. Corrales

Proceedings of the 5th European Software Engineering Conference, 1995

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

Proceedings of the New Trends in Neural Computation, 1993

A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification.

Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales

Proceedings of the Software Engineering, 1993