Publications

This is my list of publications.

I update this page as frequently as I can but not as often as I would like :(.

Analysis of XBRL documents representing financial statements using Semantic Web Technologies, Sheila Méndez Núñez, Jose E. Labra G., Javier de Andrés Suárez, Patricia Ordoñez de Pablos, 2nd International Conference on Metadata and Semantic Web Research, Corfu, Greece, October 2007

Combining Collaborative Tagging and Ontologies in Image Retrieval Systems, Jose E. Labra G., Patricia Ordoñez de Pablos, Juan M. Cueva Lovelle, 2nd International Conference on Metadata and Semantic Web Research, Corfu, Greece, October 2007

Mailing lists meet the semantic web, Sergio Fernández, Diego Berrueta, Jose E. Labra G., Workshop on Social Aspects of the Semantic Web (SAW 2007), Poznan, Poland, April 2007

A monadic program slicer, Yingzhou Zhang, Jose E. Labra G., Agustín Cernuda del Río, ACM SIGPLAN Notices, 41 (5), pp. 30-38, May 2006

Searching over Public Administration Legal Documents Using Ontologies Diego Berrueta, Jose E. Labra, Luis Polo, Joint Conference on Knowledge Based Software Engineering, Tallinn, Estonia, 28-31 August, 2006

Utilización de herramientas colaborativas de desarrollo de software libre en un modelo de aprendizaje basado en proyectos Jose E. 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, España

A Formal Method for program Slicing Y. Zhang, B. Xu, J. Labra, Australian Software Engineering Conference, ASWEC 2005

Introduction to DOM and JavaScript (Slides in spanish) Jose E. Labra Gayo, Summer Course, University of Oviedo

The Future of LaTeX (Slides in spanish) Jose E. Labra Gayo, Summer Course, University of Oviedo

Introduction to emacs and LaTeX (Slides in spanish) Jose E. Labra Gayo, Summer Course, University of Oviedo

¿Hay lógica en la situación actual de las titulaciones informáticas? Jose E. Labra

X Jornadas de Enseñanza Universitaria de Informática (JENUI'04) ( slides)

Web Engineering J. M. Cueva, B. M. González, L. Joyanes A., Jose E. Labra, M. del Puerto Paule R. (Editors)

Proceedings of the International Conference on Web Engineering, ICWE 2003, Oviedo, Spain, July 14-18, 2003. , Lecture Notes in Computer Science, Vol. 2722

Representaciones Gráficas y Mundos Virtuales Infinitos en las Prácticas de Programación Lógica y Funcional Jose E. Labra

IX Jornadas de Enseñanza Universitaria de Informática

Graphical Representations and Infinite Virtual Worlds in a Logic and Functional Programming Course Jose E. Labra

12th International Workshop on Functional and (Constraint) Logic Programming

A Generic e-Learning Multiparadigm Programming Language System: IDEFIX Project Jose E. Labra G., Jose M. Morales Gil, Alberto M. Fernández A., Hernan Sagastegui

ACM Technical Symposium on Computer Science Education (SIGCSE 2003), Reno, Nevada (USA), Feb., 2003.

Development of a Multi-paradigm Programming Language e-Learning System: IDEFIX Project Jose E. Labra G., Jose M. Morales Gil, Roberto Turrado C.

International Conference on Information and Innovation Technologies in Education, Badajoz, Spain, Nov., 2002

Plataforma de enseñanza de lenguajes de programación a través de Internet: Proyecto IDEFIX Jose E. Labra G., Jose M. Morales Gil, Roberto Turrado C.

VIII Jornadas de Enseñanza Universitaria de Informática, Cáceres, Spain, July, 2002

Reusable Semantic Specifications of Programming Languages Jose E. Labra G.

6th Brazilian Symposium on Programming Languages, Rio de Janeiro, Brazil, June, 2002

Reusable Monadic Semantics of Object Oriented Programming Languages Jose E. Labra G., Juan M. Cueva L., M. Candida Luengo D., Agustín Cernuda del Río

6th Brazilian Symposium on Programming Languages, Rio de Janeiro, Brazil, June, 2002

Desarrollo de un Entorno para la Enseñanza a Distancia de los Lenguajes de Programación Jose E. Labra G., Jose M. Morales Gil, Roberto Turrado C.

International Symposium on Tele-education and Continuous Formation, La Habana, Cuba, May, 2002

Reusable Semantic Specifications of Programming Languages Jose E. Labra G.

Tutorial given at Departameto de Informática da Universidade do Minho, Braga and at Artificial Intelligence and Computer Science Laboratory, University of Porto

Applying the Itacio Verification Model to a Component-Based Real-Time Sound Processing System Agustín Cernuda del Río, Jose E. Labra Gayo, Juan Manuel Cueva Lovelle. Workshop on (Constraint) Logic Programming and Software Engineering, Paphos, Cyprus, Dec. 1st, 2001

PowerPoint Slides

Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D., Agustín Cernuda del Río, APPIA-GULP-PRODE 2001, Joint Conference on Declarative Programming, Evora, Portugal, September 2001

Specification of Logic Programming Languages from Reusable Semantic Building Blocks , Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D., Agustín Cernuda del Río, International Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany. Kiel, Germany, September 2001

Comparación de Técnicas de Especificación Semántica de Lenguajes de Programación, Jose E. Labra, J. M. Cueva Lovelle, M. C. Luengo D., A. Cernuda, L. Joyanes, SISOFT 2001 , Simposio Iberoamericano de Información e Ingeniería del Software en la Sociedad del Conociemiento, Bogotá, Colombia, Agosto 2001

Modular development of Language Processors from Reusable Semantic Specifications, Jose E. Labra, PhD Thesis (in spanish), July 2001

LPS: A Language Prototyping System using Modular Monadic Semantics , Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D., Agustín Cernuda del Río, Workshop on Language Descriptions, Tools and Applications at ETAPS 2001, Genova, Italy, April 7, 2001.

It will appear in Electronic Notes in Theoretical Computer Science, vol. 44, number 2 (Elsevier Science). PDF version. You can also download the Powerpoint slides

A Language Prototyping Tool based on Semantic Building Blocks , Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D., Martín González R., Functional Programming Workshop at EUROCAST 2001, Las Palmas de Gran Canaria, Canary Islands, Spain, February 19-23, 2001

Lecture Notes in Computer Science, Springer-Verlag. PDF Version. Powerpoint Slides

Modular Development of Interpreters from Semantic Building Blocks , Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D., The 12th Nordic Workshop on Programming Theory, Bergen-Norway, October 11-13, 2000

We describe our Language Prototyping System. You can download the abstract and the Powerpoint slides

Integrating Functional Programming Languages in Internet (In spanish) Jose E. Labra Gayo, Invited talk at 20th Summer Course, University of Oviedo

An invited talk about the integration of functional programming languages in Internet and the advantages of this approach.

Itacio: A Component Model for verifying software at Construction Time Agustín Cernuda del Río, Jose E. Labra Gayo Juan Manuel Cueva Lovelle; Third International Workshop on Component Based Software Engineering, Limerick, Ireland (June, 5-6 2000)

Web navigability testing with remote agents, Martín González Rodríguez, Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle; Second ICSE Workshop on Web Engineering, Limerick, Ireland (June, 4-5 2000)

Intérpretes y Diseño de Lenguajes de Programación, Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, Raúl Izquierdo Castanedo, Aquilino A. Juan Fuente, M. Candida Luengo, Francisco Ortín. Cuaderno Didáctico, Ed. Servitec

Lecture notes of the last part of the Language Processors course.

Language Prototyping using Modular Monadic Semantics. Jose E. Labra G., Juan M. Cueva L., 3rd Latin-American Conference on Functional Programming, 8-9, March, 1999, Recife - Brasil

It is a revision of the paper "An Implementation of MMS using Folds and Monadic folds" presented at Braga with more emphasis on the language prototyping system

Programación Práctica en Prolog J. E. Labra G. Cuaderno Didáctico Num. 13, Ed. Servitec, ISBN: 84-8416-612-0, Nov. 1998

It presents some practical exercises of Prolog programming. Course notes of my Logic and Functional Programming course

Lógica Proposicional para Informática. Jose E. Labra G., Ana I. Fernández M. Cuaderno Didáctico Num. 12, Ed. Servitec, ISBN: 84-8416-613-9, Oct. 1998

Course notes for the first part of the " Logic" course I teach.

Ejercicios de Lógica Informática. Jose E. Labra G., Ana I. Fernández M. Cuaderno Didáctico Num. 9, Ed. Servitec, ISBN: 84-8416-357-1, Oct. 1998 (3rd Edition)

More than 300 test questions and more than 100 "a desarrollar" questions collected from the examinations of the "Logic" course I teach.

Desarrollo de Compiladores en un Sistema Integral Orientado a Objetos M. C. Luengo D., J. E. Labra G. F. Domínguez M. A. Pérez, N. García, J. M. Cueva L. V Congreso Internacional de Investigación en Ciencias Computacionales. Aguascalientes, Mexico, 1998

Main guidelines for compiler development using the Integral Object Oriented Operating System Oviedo3

An Implementation of Modular Monadic Semantics using Folds and Monadic Folds. J. E. Labra G. Workshop on Research Themes on Functional Programming, Third International Summer School on Advanced Functional Programming. University of Minho, Braga, Portugal. 12-18 September, 1998

Presents an application of folds and monadic folds to the development of modular interpreters.

Harmony: a functional system for musical composition . Jose E. Labra G., Juan Manuel Cueva L., L. A. Oliveira R. II Conferencia Latinoamericana de Programación Funcional. Octubre 1997, Univ. nac. de La Plata, Argentina.

Presents a musical composition system developed by some students as part of their final year project. The kernel of the system was developed in Haskell (Haskore) and I pretend to develop a complete system for musical composition in Haskell. In this moment I am looking for more students who want to continue the project.

Haskell: Una aproximación funcional a la Programación Orientada a Objetos. Jose E. Labra G. Conferencia invitada a las II Jornadas sobre Programación Orientada a Objetos Marzo 1996 Oviedo

An overview of Haskell features, specially type classes. At the end, it relates type classes with object oriented properties.

Introducción al lenguaje Haskell. Jose E. Labra G. Cuaderno Didáctico 87. Depto. de Matemáticas. Universidad de Oviedo. Dic. 95

Course notes for the " Logic and Functional Programming" course. It is mainly a summary of "The Gentle Introduction to Haskell" in spanish.

Lógica de Predicados de Primer Orden. Bases teóricas de las Técnicas de Demostración Automática. Jose E. Labra G. Cuaderno Didáctico 77. Depto. de Matemáticas. Universidad de Oviedo. Dic. 93

These are the course notes for the second part of the course "Logic". It contains an appendix with a lot of exercises with their solutions.

Simulación del Entorno Operativo Unix. J. E. Labra G., O. González Alonso, M. Riesco Albizu. Cuaderno Didáctico 39, Depto. de Matemáticas, Universidad de Oviedo (Mar. 1991)

This is a published version of my Final Year Project for the EUITIO. It presented a system the emulates the Unix Operating environment (its shell and some commands) in Ms-Dos. It was implemented in C.