José María Molinelli Barba  

(TIT-EU)

Department Computer Science
Knowledgment area Computational Science and Artificial Intelligence
Research  Research group Grupo de Visión Artificial y Reconocimiento de Patrones
Research lines No data available from Curriculum Management System at UDC. (SUXI).
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Programming Paradigms 230
Subject and involved studies Total hours
Programming Paradigms
Degree in Computer Engineering
190
Subject and involved studies Total hours
Programming Paradigms
Degree in Computer Engineering
195
Subject and involved studies Total hours
Programming Paradigms
Degree in Computer Engineering
195
Subject and involved studies Total hours
Programming Paradigms
Degree in Computer Engineering
200
Subject and involved studies Total hours
Programming Paradigms
Degree in Computer Engineering
200

Defined tutoring by teacher for 2018/2019 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Tuesday
09:30 a 10:30
4.09
1st quarter Tuesday
11:30 a 12:30
4.09
1st quarter Friday
09:30 a 10:30
4.09
1st quarter Friday
11:30 a 12:30
4.09

EOG works and final master thesis directed

No available EOG works or final master thesis directed by current teacher since 2013 year.

Research results

Select merit type and year to query research merits.

Análisis automático de imágenes de fondo de ojo asociadas a diferentes patologías

Funding entity Institut d'Assistència Sanitaria (IAS)
Main researches Manuel González Penedo
Type Contrato
Dates From 02/05/2013 to 31/12/2014

Axuda para a consolidación e estructuración de unidades de investigación competitivas do SUG. Agrupación estratéxica CITIC

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Bertha Guijarro Berdiñas
Type Proyecto Otros Programas
Dates From 01/01/2012 to 31/12/2013

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Funding entity Ministerio de Economía y Competitividad
Type Proyecto Otros Programas
Dates From 01/01/2010 to 31/12/2012

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Funding entity Dirección Xeral de Investigación, Desenvolvemento e Innovación
Type Proyecto Otros Programas
Dates From 01/01/2008 to 31/10/2011

Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)

Type Proyecto Otros Programas
Dates From 01/10/2006 to 30/09/2009

LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)

Type Proyecto Otros Programas
Dates From 01/10/2006 to 30/09/2009

Sistema distribuído de Identificación Personas mediante Huellas de Retina

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Autonomicos
Dates From 24/10/2003 to 23/10/2006

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Funding entity Ministerio de Ciencia y Tecnología
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 05/11/2002 to 05/11/2005

e-MINDER. Electronic commerce leveraging network for developing European regions

Funding entity Union Europea
Type Proyecto Otros Programas
Dates From 29/08/2001 to 29/08/2003

Técnicas de agrupamiento perceptual para reconocimiento de objetos de imágenes

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches Manuel Francisco González Penedo
Type Proyecto Programas Autonomicos
Dates From 20/07/2001 to 20/07/2004

Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 01/12/1999 to 01/12/2001

Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Type Proyecto Otros Programas
Dates From 30/12/1999 to 31/12/2001

Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )

Funding entity Dirección Xeral de Universidades
Type Proyecto Otros Programas
Dates From 24/10/1996 to 24/10/1998

Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional

Funding entity Dirección Xeral de Universidades
Main researches José Luis Freire Nistal
Type Proyecto Otros Programas
Dates From 01/01/1994 to 31/12/1995

Generación óptima de conexiones en mapas: aplicación en redes de distribución.

Funding entity Consellería de Educación e Ordenación Universitaria
Main researches Antonio Ángel Blanco Ferro
Type Proyecto Programas Autonomicos
Dates From 07/04/1994 to 07/04/1997

CONVENIO ESPECÍFICO ENTRE LA DIPUTACIÓN DE A CORUÑA, FEUGA Y UDC PARA LA DIAGNOSIS DE LOS SERVICIOS INFORMÁTICOS DE LA DIPUTACIÓN PROVINCIAL DE A CORUÑA

Funding entity Fundación Empresa-Universidad Gallega (FEUGA)
Type Contrato
Dates From 08/03/1993 to 08/06/1993

On the Confluence of the Graphic Calculus with Penrose Diagrams

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 6927 (pages 169 to 176)
DOI https://doi.org/10.1007/978-3-642-27549-4

Crossover operators for permutations equivalence between position and order-based crossover

Authors Concepción Vidal Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, José Mª Molinelli Barba
Journal LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414)

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Authors Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Journal of Formalized Reasoning (pages 25 to 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Authors Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 282 to 289)

An automatic calculator with penrose diagrams

Authors José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 77 to 94)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
International

Authors Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Place Gijón (España)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Extracción de programas a partir de pruebas : Certificación de la Forma Normal de la Reducción de Polinomios
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International

Authors Gilberto Pérez Vega, José Luis Freire Nistal, José Mª Molinelli Barba
Place Cali (Colombia)

Positions

Academic or management positions held by teacher.

Vicerrectorado de Títulos, Calidad y Nuevas Tecnologías

Aulas de Formación Informática
Dirctor/a

From 01/02/2010.

Aula de Formación Informática - AFI

Director/a de Organismo

From 01/02/2010.

Facultad de Informática

Secretario/a de Facultad

From 25/06/1996 to 14/06/1999.

Facultad de Informática

Vicedecano/a