José A. Corrales
José A. Corrales
An Asturian view of networking 2015.
47-54
2001
44
Commun. ACM
9
db/journals/cacm/cacm44.html#Corrales01
https://doi.org/10.1145/383694.383706
https://www.wikidata.org/entity/Q130099062
Luciano Sánchez
Inés Couso
José A. Corrales
Combining GP operators with SA search to evolve fuzzy rule based classifiers.
175-191
2001
136
Inf. Sci.
1-4
db/journals/isci/isci136.html#SanchezCC01
https://doi.org/10.1016/S0020-0255(01)00146-3
Angel Goitia
José García-Fanjul
Javier Tuya
José A. Corrales
Building Internet Shops: Current Status of the Cities Project.
529-530
2000
conf/iceis/2000
ICEIS
db/conf/iceis/iceis2000.html#GoitiaGTC00
José García-Fanjul
Javier Tuya
José A. Corrales
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.
169-170
1999
conf/jisbd/1999
JISBD
db/conf/jisbd/jisbd1999.html#Garcia-FanjulTC99
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.
165-183
1996
The Spin Verification System
conf/dimacs/dimacs32
db/conf/dimacs/dimacs32.html#TuyaDRC96
https://doi.org/10.1090/dimacs/032/12
Javier Tuya
Luciano Sánchez
José A. Corrales
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models.
59-75
1995
conf/esec/1995
ESEC
db/conf/esec/esec95.html#TuyaSC95
https://doi.org/10.1007/3-540-60406-5_7
Javier Tuya
Luciano Sánchez
R. Zurita
José A. Corrales
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification.
301-312
1993
conf/esec/1993
ESEC
db/conf/esec/esec93.html#TuyaSZC93
https://doi.org/10.1007/3-540-57209-0_21
Javier Tuya
E. Arias
Luciano Sánchez
José A. Corrales
Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition.
550-555
1993
conf/iwann/1993
IWANN
db/conf/iwann/iwann1993.html#TuyaASC93
https://doi.org/10.1007/3-540-56798-4_201
E. Arias
Inés Couso
José Ramón de Diego
José García-Fanjul
Angel Goitia
Claudio de la Riva
Luciano Sánchez
Javier Tuya
R. Zurita