Clean formal semantics for VHDL. - Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos (EDAC-ETC-EUROASIC, 1994)

Proof theory and a validation condition generator for VHDL. - Luis Sánchez Fernández 001; Peter T. Breuer; Carlos Delgado Kloos (EURO-DAC, 1994)

Proving Hardware Designs. - Peter T. Breuer; Luis Sánchez 001; Carlos Delgado Kloos (ICLP, 1994)

A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL. - Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos (Formal Methods Syst. Des., 1995)

A Co-Design Methodology Based on Formal Specification and High-level Estimation. - Carlos Carreras; Juan Carlos López 001; María Luisa López Vallejo; Luis Sánchez 001; Carlos Delgado Kloos; Natividad Martínez Madrid (CODES, 1996)

A Formal Method for Specification and Refinement of Real-Time Systems. - Peter T. Breuer; Natividad Martínez Madrid; Luis Sánchez 001; Andrés Marín; Carlos Delgado Kloos (RTS, 1996)

A refinement calculus for VHDL. - Peter T. Breuer; Carlos Delgado Kloos; Natividad Martínez Madrid; Luis Sánchez 001; Andrés Marín (EURO-DAC, 1996)

A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. - Peter T. Breuer; Carlos Delgado Kloos; Andrés Marín López; Natividad Martínez Madrid; Luis Sánchez Fernández 001 (ACM Trans. Program. Lang. Syst., 1997)

Hardware-Software Prototyping from LOTOS. - Luis Sánchez Fernández 001; Gernot Koch; Natividad Martínez Madrid; María Luisa López Vallejo; Carlos Delgado Kloos; Wolfgang Rosenstiel (Des. Autom. Embed. Syst., 1998)

Mass-Customizing Electronic Journals. - 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 001; Tony Hernández (ELPUB, 1999)

Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols. - Nikos S. Voros; Sofia Tsasakou; Alexios N. Birbas; Luis Sánchez 001; Alejandro Alonso 001 (ICECS, 1999)

Higher Order Applicative XML Documents. - Peter T. Breuer; Carlos Delgado Kloos; Vicente Luque Centeno; Luis Sánchez Fernández 001 (RISSEF, 2002)

Automation of the Deep Web with User Defined Behaviours. - Vicente Luque Centeno; Carlos Delgado Kloos; Peter T. Breuer; Luis Sánchez Fernández 001; Ma. Eugenia Gonzalo Cabellos; Juan Antonio Herráiz Pérez (AWIC, 2003)

Building Wrapper Agents for the Deep Web. - Vicente Luque Centeno; Luis Sánchez Fernández 001; Carlos Delgado Kloos; Peter T. Breuer; Fernando Paniagua Martín (ICWE, 2003)

MSC-based Language for Specifying Automated Web Clients. - Vicente Luque Centeno; Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos; Juan Antonio Herráiz Pérez (ISCC, 2003)

Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation. - Nikolaos S. Voros; Luis Sánchez 001; Alejandro Alonso 001; Alexios N. Birbas; Michael K. Birbas; Ahmed Jerraya (Des. Autom. Embed. Syst., 2003)

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

Formal Verification of BPEL4WS Business Collaborations. - Jesús Arias-Fisteus; Luis Sánchez Fernández 001; Carlos Delgado Kloos (EC-Web, 2004)

Infoflex: Flexible and Distributed Content Management - Using Web Services and Semantic Web to Manage Content. - Jesús Villamor-Lugo; Norberto Fernández García; Luis Sánchez Fernández 001; Jesús Arias-Fisteus; J. Tomás Nogales Flores; Antonio Hernández-Pérez; David Rodríguez-Mateos (ICEIS (1), 2004)

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

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

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

Applying model checking to BPEL4WS business collaborations. - Jesús Arias-Fisteus; Luis Sánchez Fernández 001; Carlos Delgado Kloos (SAC, 2005)

Exploiting User Queries and Web Communities in Semantic Annotation. - Norberto Fernández García; José M. Blázquez del Toro; Luis Sánchez Fernández 001; Vicente Luque Centeno (SemAnnot@ISWC, 2005)

A Semantic Web Portal for Semantic Annotation and Search. - Norberto Fernández García; José M. Blázquez del Toro; Jesús Arias-Fisteus; Luis Sánchez Fernández 001 (KES (3), 2006)

NEWS: Bringing Semantic Web Technologies into News Agencies. - Norberto Fernández García; José M. Blázquez del Toro; Jesús Arias-Fisteus; Luis Sánchez 001; Michael Sintek; Ansgar Bernardi; Manuel Fuentes; Angelo Marrara; Zohar Ben-Asher (ISWC, 2006)

PIMO Population and Semantic Annotation for the Gnowsis Semantic Desktop. - Norberto Fernández García; Leo Sauermann; Luis Sánchez 001; Ansgar Bernardi (SemDesk, 2006)

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

The News Ontology for Professional Journalism Applications. - Norberto Fernández García; Luis Sánchez Fernández 001; José M. Blázquez del Toro; Jesús Villamor-Lugo (Ontologies, 2007)

Semantic Annotation of Web Resources Using IdentityRank and Wikipedia. - Norberto Fernández García; José M. Blázquez del Toro; Luis Sánchez 001; Vicente Luque Centeno (AWIC, 2007)

IdentityRank: Named Entity Disambiguation in the Context of the NEWS Project. - Norberto Fernández García; José M. Blázquez del Toro; Luis Sánchez 001; Ansgar Bernardi (ESWC, 2007)

A semantic similarity measure in the context of semantic queries. - José M. Blázquez del Toro; Jesús Arias-Fisteus; Vicente Luque Centeno; Luis Sánchez Fernández 001 (Int. J. Comput. Appl. Technol., 2008)

WebTLab: A cooccurrence-based approach to KBP 2010 Entity-Linking task. - Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez Fernández 001; Eduardo Martín (TAC, 2010)

The NEWS ontology: Design and applications. - Norberto Fernández García; Damaris Fuentes; Luis Sánchez 001; Jesús Arias-Fisteus (Expert Syst. Appl., 2010)

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

Managing Legacy Telco Data Using RESTful Web Services. - Damaris Fuentes-Lorenzo; Luis Sánchez 001; Antonio Cuadra Sánchez; Maria del Mar Cutanda-Rodríguez (REST: From Research to Practice, 2011)

A Wikipedia-Based Framework for Collaborative Semantic Annotation. - Norberto Fernández García; Jesús Arias-Fisteus; Damaris Fuentes; Luis Sánchez 001; Vicente Luque Centeno (Int. J. Artif. Intell. Tools, 2011)

IdentityRank: Named entity disambiguation in the news domain. - Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez 001; Gonzalo López (Expert Syst. Appl., 2012)

Improving large-scale search engines with semantic annotations. - Damaris Fuentes-Lorenzo; Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez 001 (Expert Syst. Appl., 2013)

WikiIdRank++: EXTENSIONS AND IMPROVEMENTS OF THE WikiIdRank SYSTEM FOR ENTITY LINKING. - M. D. Jiménez; Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez 001 (Int. J. Artif. Intell. Tools, 2013)

Publication of RDF Streams with Ztreamy. - Jesús Arias-Fisteus; Norberto Fernández García; Luis Sánchez Fernández 001; Damaris Fuentes-Lorenzo (ESWC (Satellite Events), 2014)

RDSZ: An Approach for Lossless RDF Stream Compression. - Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez 001; Damaris Fuentes-Lorenzo; Óscar Corcho (ESWC, 2014)

Comparative Evaluation of Link-Based Approaches for Candidate Ranking in Link-to-Wikipedia Systems. - Norberto Fernández García; Jesús Arias-Fisteus; Luis Sánchez Fernández 001 (J. Artif. Intell. Res., 2014)

Ztreamy: A middleware for publishing semantic streams on the Web. - Jesús Arias-Fisteus; Norberto Fernández García; Luis Sánchez Fernández 001; Damaris Fuentes-Lorenzo (J. Web Semant., 2014)

Microbloggers as Sensors for Public Transport Breakdowns. - Mariluz Congosto; Damaris Fuentes-Lorenzo; Luis Sánchez 001 (IEEE Internet Comput., 2015)

A RESTful and semantic framework for data integration. - Damaris Fuentes-Lorenzo; Luis Sánchez 001; Antonio Cuadra Sánchez; Maria del Mar Cutanda-Rodríguez (Softw. Pract. Exp., 2015)

Fully Open Extensions to the D'Hondt Method. - Luis Sánchez Fernández 001; Norberto Fernández García; Jesús Arias-Fisteus (CoRR, 2016)

Proportional Justified Representation. - Luis Sánchez Fernández 001; Edith Elkind; Martin Lackner; Norberto Fernández García; Jesús Arias-Fisteus; Pablo Basanta-Val; Piotr Skowron 001 (AAAI, 2017)

A Scalable Data Streaming Infrastructure for Smart Cities. - Jesús Arias-Fisteus; Luis Sánchez Fernández 001; Víctor Corcoba Magaña; Mario Muñoz Organero; Jorge Yago Fernández Rodríguez; Juan Antonio Álvarez-García (CoRR, 2017)

Committees providing EJR can be computed efficiently. - Luis Sánchez Fernández 001; Edith Elkind; Martin Lackner (CoRR, 2017)

Optimal Average Satisfaction and Extended Justified Representation in Polynomial Time. - Piotr Skowron 001; Martin Lackner; Edith Elkind; Luis Sánchez Fernández 001 (CoRR, 2017)

T-Hoarder: A framework to process Twitter data streams. - Mariluz Congosto; Pablo Basanta-Val; Luis Sánchez Fernández 001 (J. Netw. Comput. Appl., 2017)

Patterns for Distributed Real-Time Stream Processing. - Pablo Basanta-Val; Norberto Fernández García; Luis Sánchez Fernández 001; Jesús Arias-Fisteus (IEEE Trans. Parallel Distributed Syst., 2017)

On the Complexity of Extended and Proportional Justified Representation. - Haris Aziz 001; Edith Elkind; Shenwei Huang; Martin Lackner; Luis Sánchez Fernández 001; Piotr Skowron 001 (AAAI, 2018)

Big-BOE: Fusing Spanish Official Gazette with Big Data Technology. - Pablo Basanta-Val; Luis Sánchez Fernández 001 (Big Data, 2018)

Automatic detection of traffic lights, street crossings and urban roundabouts combining outlier detection and deep learning classification techniques based on GPS traces while driving. - Mario Muñoz Organero; Ramona Ruiz-Blazquez; Luis Sánchez Fernández 001 (Comput. Environ. Urban Syst., 2018)

Monotonicity Axioms in Approval-based Multi-winner Voting Rules. - Luis Sánchez Fernández 001; Jesús A. Fisteus (AAMAS, 2019)

Building concept maps by adapting semantic distance metrics to Wikipedia. - Damaris Fuentes-Lorenzo; Jorge Morato; Sonia Sánchez-Cuadrado; Luis Sánchez 001 (Educ. Inf., 2019)

Detection of Barriers to Mobility in the Smart City Using Twitter. - Mario Sánchez-Ávila; Marcos Antonio Mouriño-García; Jesús A. Fisteus; Luis Sánchez Fernández 001 (IEEE Access, 2020)

Predictable remote invocations for distributed stream processing. - Pablo Basanta-Val; Norberto Fernández García; Luis Sánchez Fernández 001 (Future Gener. Comput. Syst., 2020)

Accessible Routes Integrating Data from Multiple Sources. - Miguel R. Luaces; Jesús A. Fisteus; Luis Sánchez Fernández 001; Mario Muñoz Organero; Jesús Balado; Lucía Díaz-Vilariño; Henrique Lorenzo (ISPRS Int. J. Geo Inf., 2021)

Data as voters: instance selection using approval-based multi-winner voting. - Luis Sánchez Fernández 001; Jesús A. Fisteus; Rafael López-Zaragoza (CoRR, 2023)

Efficient, traceable, and numerical error-free implementation of the MMS voting rule. - Luis Sánchez-Fernández 001 (CoRR, 2023)

Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain. - Niclas Boehmer; Markus Brill; Alfonso Cevallos; Jonas Gehrlein; Luis Sánchez Fernández 001; Ulrike Schmidt-Kraepelin (AAAI, 2024)

The maximin support method: an extension of the D'Hondt method to approval-based multiwinner elections. - Luis Sánchez Fernández 001; Norberto Fernández García; Jesús A. Fisteus; Markus Brill (Math. Program., 2024)

A note on the method of equal shares. - Luis Sánchez-Fernández 001 (Inf. Process. Lett., 2025)