Luis Sánchez Fernández

Jesús Arias-Fisteus, Norberto Fernández García, Luis Sánchez Fernández, Carlos Delgado Kloos: Hashing and canonicalizing Notation 3 graphs. J. Comput. Syst. Sci. 76(7): 663-685 (2010)

José M. Blázquez del Toro, Jesús Arias-Fisteus, Vicente Luque Centeno, Luis Sánchez Fernández: A semantic similarity measure in the context of semantic queries. IJCAT 33(4): 285-291 (2008)

Enrique Guzmán, Oleksiy B. Pogrebnyak, Luis Sánchez Fernández, Cornelio Yáñez-Márquez: A Fast Search Algorithm for Vector Quantization Based on Associative Memories. CIARP 2008: 487-495

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. KES (3) 2006: 580-587

Norberto Fernández García, José M. Blázquez del Toro, Luis Sánchez Fernández, Vicente Luque Centeno: Exploiting Wikipedia in Integrating Semantic Annotation with Information Retrieval. Advances in Web Intelligence and Data Mining 2006: 61-70

Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830

Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: Web task automation: a standards-based proposal. Int. J. Web Eng. Technol. 1(3): 374-391 (2004)

Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: Intelligent Automated Navigation through the Deep Web. AWIC 2004: 125-134

Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85

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. ICEIS (1) 2004: 613-616

Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: MSC-Based Formalism for Automated Web Navigation. ICWE 2004: 591-592

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. SMC (1) 2004: 42-47

Norberto Fernández García, Luis Sánchez Fernández, Jesús Villamor-Lugo: Next generation web technologies in content management. WWW (Alternate Track Papers & Posters) 2004: 260-261

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. AWIC 2003: 339-348

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. ICWE 2003: 58-67

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. ISCC 2003: 407-412

Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107

M. Carmen Fernández Panadero, Andrés Marín López, Carlos Delgado Kloos, Carlos García-Rubio, Vicente Luque Centeno, Luis Sánchez Fernández, Tony Hernandez: Mass-Customizing Electronic Journals. ELPUB 1999

Luis Sánchez Fernández, Gernot Koch, Natividad Martínez Madrid, María Luisa López Vallejo, Carlos Delgado Kloos, Wolfgang Rosenstiel: Hardware-Software Prototyping from LOTOS. Design Autom. for Emb. Sys. 3(2-3): 117-148 (1998)

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. ACM Trans. Program. Lang. Syst. 19(4): 585-616 (1997)

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. Formal Methods in System Design 7(1/2): 27-51 (1995)

Luis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos: Proof theory and a validation condition generator for VHDL. EURO-DAC 1994: 512-517

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647