The SCEAS System
Navigation Menu

Search the dblp DataBase


José A. Corrales: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002