Luis Sánchez Fernández

2008
21	EE	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
20	EE	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)
2006
19	EE	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
18	EE	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
2005
17	EE	Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830
2004
16	EE	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
15	EE	Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85
14		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
13	EE	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
12	EE	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
11	EE	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
10		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)
2003
9	EE	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
8	EE	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
7	EE	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
2002
6	EE	Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
1999
5	EE	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
1997
4	EE	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)
1995
3		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)
1994
2		Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647
1	EE	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

Coauthor Index

1	Jesús Arias-Fisteus	[14] [15] [17] [19] [20]
2	Peter T. Breuer	[1] [2] [3] [4] [6] [7] [8] [9]
3	Ma. Eugenia Gonzalo Cabellos	[9]
4	Victor Callaghan	[12]
5	Vicente Luque Centeno	[5] [6] [7] [8] [9] [10] [13] [16] [18] [20]
6	Faiyaz Doctor	[12]
7	J. Tomás Nogales Flores	[14]
8	Norberto Fernández García	[10] [11] [13] [14] [16] [18] [19]
9	Carlos García-Rubio	[5]
10	Enrique Guzmán	[21]
11	Hani Hagras	[12]
12	Tony Hernandez	[5]
13	Antonio Hernández-Pérez	[14]
14	Carlos Delgado Kloos	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [15] [16] [17]
15	Andrés Marín López	[4] [5] [12]
16	Natividad Martínez Madrid	[4]
17	Fernando Paniagua Martín	[8]
18	M. Carmen Fernández Panadero	[5]
19	Juan Antonio Herráiz Pérez	[7] [9]
20	Oleksiy B. Pogrebnyak	[21]
21	David Rodríguez-Mateos	[14]
22	José M. Blázquez del Toro	[18] [19] [20]
23	Jesús Villamor-Lugo	[11] [14]
24	Cornelio Yáñez-Márquez	[21]

Colors in the list of coauthors