Search the dblp DataBase

Publications of Author

1. Javier Tuya, Luciano Sánchez, José A. Corrales
   Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. [Citation Graph (0, 0)][DBLP]
   ESEC, 1995, pp:59-75 [Conf]
   
2. Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales
   A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. [Citation Graph (0, 0)][DBLP]
   ESEC, 1993, pp:301-312 [Conf]
   
3. Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
   Building Internet Shops: Current Status of the Cities Project. [Citation Graph (0, 0)][DBLP]
   ICEIS, 2000, pp:529-530 [Conf]
   
4. Javier Tuya, E. Arias, Luciano Sánchez, José A. Corrales
   Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. [Citation Graph (0, 0)][DBLP]
   IWANN, 1993, pp:550-555 [Conf]
   
5. José García-Fanjul, Javier Tuya, José A. Corrales
   Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. [Citation Graph (0, 0)][DBLP]
   JISBD, 1999, pp:169-170 [Conf]
   
6. José A. Corrales
   An Asturian view of networking 2015. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 2001, v:44, n:9, pp:47-54 [Journal]
   
7. Luciano Sánchez, Inés Couso, José A. Corrales
   Combining GP operators with SA search to evolve fuzzy rule based classifiers. [Citation Graph (0, 0)][DBLP]
   Inf. Sci., 2001, v:136, n:1-4, pp:175-191 [Journal]