The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luis Sánchez Fernández: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez
    Automation of the Deep Web with User Defined Behaviours. [Citation Graph (0, 0)][DBLP]
    AWIC, 2003, pp:339-348 [Conf]
  2. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    Intelligent Automated Navigation through the Deep Web. [Citation Graph (0, 0)][DBLP]
    AWIC, 2004, pp:125-134 [Conf]
  3. Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos
    Formal Verification of BPEL4WS Business Collaborations. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2004, pp:76-85 [Conf]
  4. Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
    Clean formal semantics for VHDL. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:641-647 [Conf]
  5. Jesús Villamor-Lugo, Norberto Fernández García, Luis Sánchez Fernández, Jesús Arias-Fisteus, J. Tomás Nogales Flores, Antonio Hernández-Pérez, David Rodríguez-Mateos
    Infoflex: Flexible and Distributed Content Management - Using Web Services and Semantic Web to Manage Content. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:613-616 [Conf]
  6. Vicente Luque Centeno, Luis Sánchez Fernández, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martín
    Building Wrapper Agents for the Deep Web. [Citation Graph (0, 0)][DBLP]
    ICWE, 2003, pp:58-67 [Conf]
  7. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    MSC-Based Formalism for Automated Web Navigation. [Citation Graph (0, 0)][DBLP]
    ICWE, 2004, pp:591-592 [Conf]
  8. Vicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez
    MSC-based Language for Specifying Automated Web Clients. [Citation Graph (0, 0)][DBLP]
    ISCC, 2003, pp:407-412 [Conf]
  9. Norberto Fernández García, José M. Blázquez del Toro, Jesús Arias-Fisteus, Luis Sánchez Fernández
    A Semantic Web Portal for Semantic Annotation and Search. [Citation Graph (0, 0)][DBLP]
    KES (3), 2006, pp:580-587 [Conf]
  10. Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández
    Higher Order Applicative XML Documents. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:91-107 [Conf]
  11. Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos
    Applying model checking to BPEL4WS business collaborations. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:826-830 [Conf]
  12. Andrés Marín López, Luis Sánchez Fernández, Faiyaz Doctor, Hani Hagras, Victor Callaghan
    An evolutionary algorithm for the off-line data driven generation of fuzzy controllers for intelligent buildings. [Citation Graph (0, 0)][DBLP]
    SMC (1), 2004, pp:42-47 [Conf]
  13. Norberto Fernández García, Luis Sánchez Fernández, Jesús Villamor-Lugo
    Next generation web technologies in content management. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:260-261 [Conf]
  14. Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
    A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:7, n:1/2, pp:27-51 [Journal]
  15. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    Web task automation: a standards-based proposal. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Eng. Technol., 2004, v:1, n:3, pp:374-391 [Journal]
  16. Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández
    A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:585-616 [Journal]

  17. A Fast Search Algorithm for Vector Quantization Based on Associative Memories. [Citation Graph (, )][DBLP]


  18. Proof theory and a validation condition generator for VHDL. [Citation Graph (, )][DBLP]


  19. Mass-Customizing Electronic Journals. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002