Publications

Filter by type:

Extracting shapes from large RDF data collections, Daniel Fernández Álvarez, Yasunori Yamamoto, Jose Emilio Labra Gayo, Andra Waagmeester, In Semantic Web Applications and Tools for Health Care and Life Sciences, SWAT4HCLS. -2024

Details PDF

Using Polarization and Alignment to Identify Quick-Approval Law Propositions: An Open Linked Data Application, Francisco Cifuentes Silva, Jose Emilio Labra Gayo, Hernán Astudillo, Felipe Rivera Polo, In International Conference on Applied Informatics, ICAI 2023. -2023

Details PDF doi

Using Pregel to create Knowledge Graphs subsets described by non-recursive Shape Expressions, Ángel Iglesias Préstamo, Jose Emilio Labra Gayo, In Fifth Ibero-American Knowledge Graph and Semantic Web Conference, KGSWC 23 -2023

Details PDF Publishers link

A comparison between traditional and Serverless technologies in a microservices setting, Juan Mera Menéndez, Jose Emilio Labra Gayo, Enrique Riesgo Canal, Aitor Echevarría Fernández, In Software Engineering and Databases Conference, JISBD - SISTEDES -2023

Details PDF

Redesign of the validation framework in LinkML, Deepak Unni, Andra Waagmeester, Jose Emilio Labra Gayo, Biohackrxiv preprint -2023

Details PDF Biohackrxiv doi

An approach to increase the usability of Shape Expressions editors, Pablo Menéndez Suárez, Jose Emilio Labra Gayo, Zenodo preprint -2023

Details PDF Zenodo

A dual approach to ShEx visualization with complexity management, Jorge Álvarez Fidalgo, Jose Emilio Labra Gayo, Arxiv preprint -2023

Details PDF Arxiv

WShEx: A language to describe and validate Wikibase entities, Jorge Álvarez Fidalgo, Jose Emilio Labra Gayo, Preprint at Arxiv - arXiv:2305.08560 -2023

Details PDF

Editorial on Knowledge Graphs Validation and Quality, Jose Emilio Labra Gayo, Anastasia Dimou, Katherine Thornton, Anisa Rula, Semantic Web Journal -2023

Details PDF doi

WShEx: A language to describe and validate Wikibase entities, Jose Emilio Labra Gayo, In Wikidata Workshop, International Semantic Web Conference. CEUR Proceedings, vol 3265 -2022

Details PDF

Using logical constraints to validate statistical information about disease outbreaks in collaborative knowledge graphs: the case of COVID-19 epidemiology in Wikidata, Houcemeddine Turki, Dariusz Jemielniak, Mohamed A. Hadj Taieb, Jose Emilio Labra Gayo, Mohamed Ben Aouicha, Mus’ab Banat, Thomas Shafee, Eric Prud’hommeaux, Tiago Lubiana, Diptanshu Das, Daniel Mietchen, PeerJ Computer Science -2022

Details PDF doi

Ontolo-CI: Continuous data validation with ShEx, Gustavo Correa Publio, Jose Emilio Labra Gayo, Guillermo Facundo Colunga, Pablo Menéndez, In Semantics Conference, Semantics. Poster paper, CEUR Proceedings, vol 3235 -2022

Details PDF

Automatic extraction of shapes using sheXer, Daniel Fernández Álvarez, Jose Emilio Labra Gayo, Daniel Gayo Avello, Knowledge-Based Systems -2022

Details PDF doi

Linking Data and Descriptions on Moths Using the Wikimedia Ecosystem, Andra Waagmeester, Paul Braun, Manoj Karingamadathil, Jose Emilio Labra Gayo, Siobhan Leachman, Katherine Thornton, In Biodiversity Information Science and Standards, TDWG 2021. Conference -2021

Details doi

Representing COVID-19 information in collaborative knowledge graphs: the case of Wikidata, Houcemeddine Turki, Mohamed Ali Hadj Taieb, Thomas Shafee, Tiago Lubiana, Dariusz Jemielniak, Mohamed Ben Aouicha, Jose Emilio Labra Gayo, Eric A. Youngstromg, Mus’ab Banat, Diptanshu Das, Daniel Mietchen, Semantic Web Journal -2021

Details PDF doi

Approaches to measure class importance in Knowledge Graphs, Daniel Fernández Álvarez, Johannes Frey, Jose Emilio Labra Gayo, Daniel Gayo-Avello, Sebastian Hellmann, PLOS One -2021

Details PDF doi

Intestinal microbiota alterations by dietary exposure to chemicals from food cooking and processing. Application of Data Science for risk prediction, Sergio Ruiz-Saavedra, Herminio García González, Silvia Arboleya, Nuria Salazar, Jose Emilio Labra Gayo, Irene Díaz, Miguel Gueimonde, Sonia González, Clara G. de los Reyes-Gavilán, Computational and Structural Biotechnology Journal -2021

Details PDF journal doi

ShExML: improving the usability of heterogeneous data mapping languages for first-time users, Herminio García González, Iovka Boneva, Sławek Staworko, Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, PeerJ Computer Science -2020

Details PDF journal doi

ShEx-Lite: Automatic generation of domain object models from a Shape Expressions subset language, Guillermo Facundo Colunga, Alejandro González Hevia, Jose Emilio Labra Gayo, Emilio Rubiera Azcona, In International Semantic Web Conference, ISWC2020. Demo paper, CEUR Proceedings, vol 2721 -2020

Details PDF

Automatic synchronization of RDF graphs representing ontologies and Wikibase instances, Alejandro González Hevia, Guillermo Facundo Colunga, Emilio Rubiera Azcona, Jose Emilio Labra Gayo, In International Semantic Web Conference, ISWC2020. Wikidata Workshop -2020

Details PDF

ASIO: A research management system based on semantic technologies, Jose Emilio Labra Gayo, José Barranquero Tolosa, Guillermo Facundo Colunga, Alejandro González Hevia, Emilio Rubiera Azcona, Daniel Ruiz Santamaría, Paulino Álvarez de Ron Ondina, In International Semantic Web Conference, ISWC2020. First virtual workshop on Research data* management for Linked Open Science - DaMaLOS 2020 -2020

Details PDF

Representing COVID-19 information in collaborative knowledge graphs: a study of Wikidata, Houcemeddine Turki, Mohamed Ali Hadj Taieb, Thomas Shafee, Tiago Lubiana, Dariusz Jemielniak, Mohamed Ben Aouicha, Jose Emilio Labra Gayo, Mus'ab Banat, Diptanshu Das, Daniel Mietchen, Preprint submitted to journal -2020

Details PDF Journal

Using logical constraints to validate information in collaborative knowledge graphs: a study of COVID-19 on Wikidata, Houcemeddine Turki, Dariusz Jemielniak, Mohamed Ali Hadj Taieb, Jose Emilio Labra Gayo, Mohamed Ben Aouicha, Mus'ab Banat, Thomas Shafee, Eric Prud'Hommeaux, Tiago Lubiana, Diptanshu Das, Daniel Mietchen, Preprint submitted to journal -2020

Details PDF Zenodo doi

An ontology-based multi-domain model in social network analysis: Experimental validation and case study, José Alberto Benítez-Andrades, Isaías García-Rodríguez, Carmen Benavides, Héctor Aláiz-Moretón, Jose Emilio Labra Gayo, Information Systems, vol. 540, nov. 2020, doi: 10.1016/j.ins.2020.06.008 -2020

Details PDF journal doi

National Budget Law as Linked Open Data: New tools for supporting the sustainability of public finances, Francisco Cifuentes Silva, Jose Emilio Labra Gayo, Daniel Fernández Álvarez, Sustainability, vol 12, issue 11 -2020

Details PDF journal doi

Converting Asturian Notaries Public deeds to Linked Data using TEI and ShExML, Herminio García-González, Elena Albarrán-Fernández, Jose Emilio Labra-Gayo, Miguel Calleja-Puerta, In Workshop: Workshop on Humanities in the Semantic web - WHISE III as ESWC 2020 -2020

Details PDF

Validating Danish Wikidata Lexemes, Finn Årup Nielsen, Katherine Thornton, Jose Emilio Labra Gayo, In Semantics Conference, Semantics-2019. -2019

Details PDF

Applying big data and stream processing to the real estate domain, Herminio García González, Daniel Fernández Álvarez, Jose Emilio Labra Gayo, Behaviour & Information Technology -2019

Details PDF journal doi

Using Shape Expressions (ShEx) to Share RDF Data Models and to Guide Curation with Rigorous Validation, Katherine Thornton, Harold Solbrig, Gregory Stupp, Jose Emilio Labra Gayo, Daniel Mietchen, Eric Prud'Hommeaux, Andra Waagmeester, In Extended Semantic Web Conference, ESWC2019. Lecture Notes in Compuer Science -2019

Details PDF doi

Legislative document content extraction based on Semantic Web technologies - A use case about processing the History of the Law, Francisco Cifuentes Silva, Jose Emilio Labra Gayo, In Extended Semantic Web Conference, ESWC2019. -2019

Details PDF doi

Challenges in RDF validation, Jose Emilio Labra Gayo, Herminio García González, Daniel Fernández Álvarez, Eric Prud'hommeaux, Current Trends in Semantic Web Technologies: Theory and Practice -2018

Details PDF Publishers link doi

RDFShape: An RDF playground based on Shapes, Jose Emilio Labra Gayo, Daniel Fernández Álvarez, Herminio García González, Demo presented at International Semantic Web Conference, Monterey, California -2018

Details PDF Proceedings

Inference of Latent Shape Expressions Associated to DBpedia Ontology, Daniel Fernández Álvarez, Herminio García González, Johannes Frey, Sebastian Hellmann, Jose Emilio Labra Gayo, Poster presented at International Semantic Web Conference, Monterey, California -2018

Details PDF Proceedings

XMLSchema2ShEx: Converting XML validation to RDF validation, Herminio García González, Jose Emilio Labra Gayo, Semantic Web Journal -2018

Details PDF journal doi

Semantic Modeling of Administrative Procedures from a Spanish Regional Public Administration, Francisco José Hidalgo López, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Sustainability, vol. 10, num. 3, doi: 10.3390/su10030633 -2018

Details PDF journal doi

Semantics and Validation of Shapes Schemas for RDF, Iovka Boneva, Jose Emilio Labra Gayo, Eric Prud'hommeaux, In International Semantic Web Conference, ISWC2017. -2017

Details PDF Project

MERA: A Musical Entities Reconciliation Architecture Based on Semantic Technologies, Daniel Fernández Álvarez, Jose Emilio Labra Gayo, Daniel Gayo Avello, Patricia Ordóñez de Pablos, International Journal on Semantic Web and Information Systems (IJSWIS) Volume 13, Issue 4 -2017

Details PDF journal

SHACL Test Suite and Implementation Report, Jose Emilio Labra Gayo, Holger Knublauch, Dimitris Kontokostas, W3C Document -2017

Details Spec

Shape Expressions Language 2.0, Eric Prud'hommeaux, Iovka Boneva, Jose Emilio Labra Gayo, Gregg Kellogg, W3C Community Group Report -2017

Details Spec

A Web-Based Tool for Automatic Data Collection, Curation, and Visualization of Complex Healthcare Survey Studies including Social Network Analysis, José Alberto Benítez, Jose Emilio Labra Gayo, Enedina Quiroga, Vicente Martín, Isaías García, Pilar Marqués-Sánchez, Carmen Benavides, Computational and Mathematical Methods in Medicine -2017

Details PDF journal doi

Towards the Implementation of the Learning Analytics in the Social Learning Environments for the Technology-Enhanced Assessment in Computer Engineering Education, Hernan Sagastegui Chigne, Jose Emilio Labra Gayo, María Elena Alva Obeso, Patricia Ordóñez De Pablos, Juan Manuel Cueva Lovelle, International Journal of Engineering Education -2016

Details journal

Enhancing e-Learning content by using Semantic Web technologies, Herminio García González, María del Puerto Paule, Jose Emilio Labra Gayo, IEEE Transactions on Learning Technologies -2016

Details PDF journal doi

Inference and Serialization of Latent Graph Schemata using ShEx, Daniel Fernández Álvarez, Jose Emilio Labra Gayo, Herminio García González, The Tenth International Conference on Advances in Semantic Processing, SEMAPRO16 -2016

Details PDF Slides

Identifying potential suppliers for competitive bidding using Latent Semantic Analysis, Victor Aravena Díaz, Ricardo Gacitua, Hernán Astudillo, Jose Emilio Labra Gayo, In XLII Latin American Computing Conference (CLEI), 2016 * -2016

Details publication doi

Shape Expression Schemas, Iovka Boneva, Jose Emilio Labra Gayo, Slawek Staworko, Eric Prud'hommeaux, Technical report, Arxiv.org, No. 1510.0555 -2016

Details PDF

Linked Data Validation and Quality, Jose Emilio Labra Gayo, European Public Sector Information Platform - ePSI, Topic report 201511 -2015

Details PDF

RDF Ventures to Boldly Meet Your Most Pedestrian Needs, Eric Prud'hommeaux, Jose Emilio Labra Gayo, Bulletin of the Association for Science and Technology (ASIS&T) -2015

Details PDF

Expressiveness and Complexity of ShEx for RDF, Slawek Staworko, Iovka Boneva, Eric Prud'Hommeaux, Samuel Hym, Jose Emilio Labra Gayo, Harold Solbrig, 18th International Conference on Database Theory (ICDT) -2015

Details PDF

Validating and Describing Linked Data Portals using RDF Shape Expressions, Jose Emilio Labra Gayo, Eric Prud'hommeaux, Harold Solbrig, Jose María Álvarez Rodríguez, In 1st Workshop on Linked Data Quality, Brussels, Belgique -2015

Details PDF Slides

Towards an RDF validation language based on Regular Expression derivatives, Jose Emilio Labra Gayo, Eric Prud'hommeaux, Slawek Staworko, Harold Solbrig, International Workshop on Linked Web Data Management -2015

Details PDF Slides

Multilingual linked data patterns , Jose Emilio Labra Gayo, Dimitris Kontokostas, Sören Auer, Semantic Web Journal -2015

Details PDF Project Publishers link

Representing Statistical Indexes as Linked Data Including Metadata about Their Computation Process, Jose Emilio Labra Gayo, Hania Farham, Juan Castro Fernández, Jose María Álvarez Rodríguez, Metadata and Semantics Research - Lecture Notes in Computer Science -2014

Details PDF doi

Knowledge-based public service transactions: An intelligent model-driven approach in co-learning contexts, Guillermo Infante Hernández, Aquilino Adolfo Juan Fuente, Jose Emilio Labra Gayo, Benjamín López Pérez, Edward Rolando Núñez-Valdez, Computers in Human Behaviour -2014

Details PDF doi

Interoperability between platforms without a defined referential model: A semi-automatic learning system for structural pairing, Secundino José González Pérez, Benjamín López Pérez, Daniel Machado Fernández, Jose Emilio Labra Gayo, Computers in Human Behaviour -2014

Details PDF doi

Creating recommendations on electronic books: A collaborative learning implicit approach, Edward Rolando Núñez-Valdez, Juan Manuel Cueva Lovelle, Aquilino Adolfo Juan Fuente, Jose Emilio Labra Gayo, Computers in Human Behaviour -2014

Details PDF doi

Shape Expressions: An RDF validation and transformation language, Eric Prud'hommeaux, Jose Emilio Labra Gayo, Harold Solbrig, In 10th International Conference on Semantic Systems, Leipzig, Germany -2014

Details PDF Slides

New trends on e-Procurement applying semantic technologies: current status and future challenges, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Computers in Industry -2014

Details doi

New trends on e-Procurement applying semantic technologies, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Computers in Industry -2014

Details doi

ACOTA: A multilingual and Semi-automatic collaborative tagging system, César Luis Alvargonzález, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Journal of Web Engineering -2014

Details

Inductive Representations of RDF Graphs, Jose Emilio Labra Gayo, Johan Jeuring, Jose María Álvarez Rodríguez, Science of Computer Programming -2013

Details PDF doi

Towards a Stepwise Method for Unifying and Reconciling Corporate Names in Public Contracts Metadata: The CORFU Technique, Jose María Álvarez Rodríguez, Patricia Ordoñez de Pablos, Michail Vafopoulos, Jose Emilio Labra Gayo, Metadata and Semantics Research - Communications in Computer and Information Science, CCIS Series -2013

Details PDF Slides doi

Empowering the access to public procurement opportunities by means of linking controlled vocabularies. A case study of Product Scheme Classifications in the European e-Procurement sector, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Alejandro Rodríguez González, Patricia Ordóñez de Pablos, Computers in Human Behaviour -2013

Details PDF doi

Towards a Journalist-Based News Recommendation System: The Wesomender Approach, Alejandro Montes García, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Marcos Martínez Merino, Expert Systems with Applications -2013

Details doi

Kukulcan: Semantic Web Framework for Knowledge Management in the Domain of Digital Circuits, Francisco Edgar Castillo Barrera, R. Carolina Medina Ramírez, Jose Emilio Labra Gayo, S. Masoud Sadjadi, IKE’13: The 12th International Conference on Information and Knowledge Engineering, Las Vegas, USA -2013

Details PDF

Cases on Open-Linked Data and Semantic Web Applications, Patricia Ordóñez de Pablos, Miltiadis D. Lytras, Robert D. Tennyson, Jose Emilio Labra Gayo, IGI Global, ISBN: 978-1466628274 -2013

Details doi

E-Procurement Management for Successful Electronic Government Systems, Patricia Ordóñez de Pablos, Juan Manuel Cueva Lovelle, Jose Emilio Labra Gayo, Robert D. Tennyson, IGI Global, ISBN: 9781466621190 -2013

Details doi

ONTOSPREAD: A Framework for Supporting the Activation of Concepts in Graph-Based Structures through the Spreading Activation Technique, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Communications in Computer and Information Science, vol 278, pp. 454-459 -2013

Details

Automated Diagnosis through Ontologies and Logical Descriptions: The ADONIS Approach, Alejandro Rodríguez González, Ángel García Crespo, Ricardo Colomo Palacios, Jose Emilio Labra Gayo, Juan Miguel Gómez Berbis, Giner Alor Hernández, Engineering Effective Decision Support Technologies: New Models and Applications -2013

Details doi

Applying MapReduce to Spreading Activation Algorithm on Large RDF Graphs, Jorge González Lorenzo, Jose Emilio Labra Gayo, Jose María Alvarez Rodríguez, Communications in Computer and Information Science, vol 278, pp. 601-611 -2013

Details doi

Towards a Practical Solution for Data Grounding in a Semantic Web Services Environment, Miguel García Rodríguez, Jose María Alvarez Rodríguez, Diego Berrueta Muñoz, Luis Polo Paredes, Jose Emilio Labra Gayo, Patricia Ordoñez De Pablos, Journal of Universal Computer Science -2012

Details doi publisher

Web Semántica: comprendiendo el cambio hacia la Web 3.0, Jose Emilio Labra Gayo, Pocket Innova -2012

Details Amazon link

Towards a Pan-European E-Procurement platform to Aggregate, Publish and Search Public Procurement Notices powered by Linked Open Data: The MOLDEAS Approach, Jose María Álvarez Rodríguez, Jose Emilio Labra Gayo, Francisco Cifuentes, Giner Hérnandez, C. Sánchez, J. A. Guzmán Luna, International Journal of Software Engineering and Knowledge Engineering (IJSEKE ) Spceial Issue on Consuming and Producing Linked Data on Real World Applications, vol 22, num. 3, 2012 -2012

Details doi

The effects of ERP implementations on the profitability of big firms: the case of Spain, Javier de Andrés, Pedro Lorca, Jose Emilio Labra Gayo, International Journal on Technology Management, vol. 59, number 1 / 2, 2012 -2012

Details PDF doi

Towards an architecture and adoption process for Linked Data technologies in Open Government contexts, Francisco Cifuentes Silva, Christian Sifaqui, Jose Emilio Labra Gayo, In I-Semantics -2011

Details PDF Slides

SeDeLo: Using Semantics and Description Logics to Support Aided Clinical Diagnosis, Alejandro Rodríguez García, Jose Emilio Labra Gayo, Ricardo Colomo Palacio, Miguel A. Mayer, Juan Manual Gómez Berbis, Angel García Crespo, Journal of Medical Systems, vol. 36, number 4, pp: 2471-2481 -2011

Details PDF doi

Recommendation System based on User Interaction data applied to Intelligent Electronic Books, Rubén González Crespo, Oscar Sanjuán Martínez, Juan Manuel Cueva Lovelle, B. Cristina Pelayo García-Bustelo, Jose Emilio Labra Gayo, Patricia Ordoñez de Pablos, Computers in Human Behaviour, vol. 27, number 4, 2011 -2010

Details PDF doi

Towards the evaluation of usability in educative websites, María Elena Alba Obeso, Ana Belén Martínez Prieto, María del Carmen Suárez Torrente, Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, Hernán Sagastegui Chigne, International Journal on Technology Enhanced Learning, vol. 2 -2010

Details PDF

WESONet: Applying semantic web technologies and collaborative tagging to multimedia web information systems, Jose Emilio Labra Gayo, Patricia Ordóñez de Pablos, Juan Manuel Cueva Lovelle, Computers in Human Behaviour, vol 26, pp: 205-209, 2010 -2009

Details PDF doi

Interactive web environment for collaborative and extensible diagram based learning, Jose Barranquero Tolosa, Jose Emilio Labra Gayo, Ana Belén Martínez Prieto, Sheila Méndez Núñez, Patricia Ordoñez de Pablos, Computers in Human Behaviour, vol 26, pp: 210-217, 2010 -2009

Details PDF doi

Ontologies in Checking for Inconsistency of Requirements Specification, Petr Kroha, R. Janetzko, Jose Emilio Labra Gayo, In Third International Conference on Advances in Semantic Processing SEMAPRO, 09 -2009

Details PDF

A proposal for a Semantic Intelligent Document Repository Architecture, Alejandro Rodríguez, Ricardo Colomo, Juan Miguel Gómez, Giner Alor-Hernandez, Ruben Posada-Gomez, Jose Emilio Labra Gayo, Krishnamurthy Vidyasankar, In Electronics, Robotics and Automotive Mechanics Conference (CERMA 2009) -2009

Details PDF

Automated Diagnosis through Ontologies and Logical Descriptions: The ADONIS Approach, Alejandro Rodríguez González, Ángel García Crespo, Ricardo Colomo Palacios, Jose Emilio Labra Gayo, Juan Miguel Gómez Berbis, Giner Alor Hernández, International Journal of Decision Support System Technology -2009

Details doi

Doing Business by selling free services, Jose Luis Marín de la Iglesia, Jose Emilio Labra Gayo, Web 2.0 Business Models -2009

Details PDF Publishers link

Mailing lists meet the semantic web, Sergio Fernández, Diego Berrueta, Jose Emilio Labra Gayo, In Workshop on Social Aspects of the Semantic Web (SAW 2007), Poznan, Poland -2007

Details PDF

Searching over Public Administration Legal Documents Using Ontologies, Diego Berrueta Muñoz, Jose Emilio Labra Gayo, Luis Polo Paredes, In International Joint Conference on Knowledge Based Software Engineering IJCKBS, 06 -2006

Details PDF Slides

Utilización de herramientas colaborativas de desarrollo de software libre en un modelo de aprendizaje basado en proyectos, Jose Emilio Labra Gayo, Daniel Fernández Lanvin, Jesús Calvo Salvador, Agustín Cernuda del Río, XII Jornadas de Enseñanza Universitaria de Informática (Jenui 2006), Bilbao, Spain -2006

Details PDF

A monadic program slicer, Yingzhou Zhang, [Jose Emilio Labra Gayo](http://di.uniovi.es/~labra), Agustín Cernuda del Río, ACM SIGPLAN Notices, 41 (5), pp. 30-38 -2006

Details doi

¿Hay Lógica en la situación actual de las titulaciones informáticas?, Jose Emilio Labra Gayo, X Jornadas de Enseñanza Universitaria de Informática (Jenui 2004), Almería, Spain -2004

Details PDF Slides

Representaciones gráficas y Mundos Virtuales infinitos en las Prácticas de Programación Lógica y Funcional, Jose Emilio Labra Gayo, IX Jornadas de Enseñanza Universitaria de Informática (Jenui 2003), Cádiz, Spain -2004

Details PDF

Web Engineering, Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Luis Joyanes Aguilar, Jose Emilio Labra Gayo, María del Puerto Paule, Proceedings of the International Conference on Web Engineering, ICWE 2003, Oviedo, Spain, July 14-18, Lecture Notes in Computer Science, Vol. 2722 -2003

Details

A Generic e-Learning Multiparadigm Programming Language System: IDEFIX Project, Jose Emilio Labra Gayo, Jose Manuel Morales Gil, Alberto Manuel Fernández Álvarez, Hernán Sagastegui Chigne, In ACM Technical Symposium on Computer Science Education (SIGCSE 2003), Reno, Nevada (USA) -2003

Details PDF

Specification of Logic Programming Languages from Reusable Semantic Building Blocks, Jose Emilio Labra Gayo, María C. Luengo Díaz, Juan Manuel Cueva Lovelle, Agustín Cernuda del Río, Electronic Notes on Theoretical Computer Science, vol. 64 -2003

Details PDF Project

Plataforma de enseñanza de lenguajes de programación a través de Internet: Proyecto IDEFIX, Jose Emilio Labra Gayo, Jose Manuel Morales Gil, Roberto Turrado Camblor, In VIII Jornadas de Enseñanza Universitaria de Informática, Cáceres, Spain -2002

Details PDF

Modular development of Language Processors from Reusable Semantic Specifications, Jose Emilio Labra Gayo, PhD thesis (in Spanish) -2001

Details PDF

Programación Práctica en Prolog, Jose Emilio Labra Gayo, Ed. Servitec, Num. 13, ISBN: 84-8416-612-0 -1998

Details PDF

Lógica proposicional para informática, Jose Emilio Labra Gayo, Ana I. Fernández, Ed. Servitec, Num. 12, ISBN: 84-8416-613-9 -1998

Details PDF

Ejercicios de lógica informática, Jose Emilio Labra Gayo, Ana I. Fernández, Ed. Servitec, Num. 9, ISBN: 84-8416-357-1 -1998

Details PDF

An Implementation of Modular Monadic Semantics using Folds and Monadic Folds, Jose Emilio Labra Gayo, Workshop on Research Themes on Functional Programming, Third International Summer School on Advanced Functional Programming -1998

Details PDF

Harmony: a functional system for musical composition, Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, Luis Ángel Oliveira, In II Conferencia Latinoamericana de Programación Funcional -1997

Details PDF

Introducción al lenguaje Haskell, Jose Emilio Labra Gayo, Cuaderno didáctico, Número 87, Depto. Matemáticas -1995

Details PDF

Lógica de predicados de primer orden, Jose Emilio Labra Gayo, Cuaderno didáctico, Número 77, Depto. Matemáticas -1993

Details

Simulación Entorno Operativo Unix, Jose Emilio Labra Gayo, Oliverio González, Miguel Riesco Albizu, Cuaderno didáctico, Número 39, Depto. Matemáticas -1991

Details