Luis Sánchez Fernández

	2010
23		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)
	2008
22		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
21		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
20		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
19		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
18		Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830
	2004
17		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
16		Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85
15		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
14		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
13		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
12		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
11		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
10		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
9		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
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. ISCC 2003: 407-412
	2002
7		Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
	1999
6		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
	1998
5		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)
	1997
4		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		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	[15] [16] [18] [20] [21] [23]
2	Peter T. Breuer	[1] [2] [3] [4] [7] [8] [9] [10]
3	Ma. Eugenia Gonzalo Cabellos	[10]
4	Victor Callaghan (Vic Callaghan)	[13]
5	Vicente Luque Centeno	[6] [7] [8] [9] [10] [11] [14] [17] [19] [21]
6	Faiyaz Doctor	[13]
7	J. Tomás Nogales Flores	[15]
8	Norberto Fernández García	[11] [12] [14] [15] [17] [19] [20] [23]
9	Carlos García-Rubio	[6]
10	Enrique Guzmán	[22]
11	Hani Hagras	[13]
12	Tony Hernandez	[6]
13	Antonio Hernández-Pérez	[15]
14	Carlos Delgado Kloos	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [16] [17] [18] [23]
15	Gernot Koch	[5]
16	Andrés Marín López	[4] [6] [13]
17	Natividad Martínez Madrid	[4] [5]
18	Fernando Paniagua Martín	[9]
19	M. Carmen Fernández Panadero	[6]
20	Juan Antonio Herráiz Pérez	[8] [10]
21	Oleksiy B. Pogrebnyak	[22]
22	David Rodríguez-Mateos	[15]
23	Wolfgang Rosenstiel	[5]
24	José M. Blázquez del Toro	[19] [20] [21]
25	María Luisa López Vallejo	[5]
26	Jesús Villamor-Lugo	[12] [15]
27	Cornelio Yáñez-Márquez (Cornelio Yáñez)	[22]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page