José María Molinelli Barba  

Titular de escola universitaria (TIT-EU)

Departamento Ciencias da Computación e Tecnoloxías da Información
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Grupo de Visión Artificial e Recoñecemento de Patróns
Liñas de investigación Aínda non figuran no xestor curricular da UDC (SUXI).
Contacto Directorio da UDC

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Paradigmas de Programación 250
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
230
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
190
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
195
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
195
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
200

Titorías definidas polo/a docente para o curso académico 2019/2020.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre martes
10:30 a 11:30
4.09
Primeiro cuadrimestre martes
12:30 a 13:30
4.09
Primeiro cuadrimestre xoves
12:30 a 13:30
4.09
Primeiro cuadrimestre xoves
10:30 a 11:30
4.09
Segundo cuadrimestre luns
10:00 a 12:00
4.09
Segundo cuadrimestre mércores
10:00 a 12:00
4.09

Traballos fin de grao e mestrado

Non figuran proxectos fin de grao ou mestrado dirixidos polo/a docente desde o ano 2013

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

Desarrollo de tecnologías inteligentes para diagnóstico de la DMAE basadas en el análisis automático de nuevas modalidades heterogéneas de adquisición de imagen oftalmológica

Entidade financiadora Ministerio de Ciencia, Innovación y Universidades
Investigadores principais Marcos Ortega Hortas / Enrique Javier Carmona Suárez
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2019 ata 31/12/2022

SIRIUS - Sistema de análisis de microcirculación retiniana: evaluación multidisciplinar e integración en protocolos clínicos

Entidade financiadora Instituto de Salud Carlos III (ISCIII)
Investigadores principais Marcos Ortega Hortas
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2016 ata 31/12/2017

Desarrollo de un sistema automático para el cálculo y visualización de propiedades anatómicas de la retina en SD-OCT y su correlación con análisis funcionales heterogéneos de la visión

Entidade financiadora Instituto de Salud Carlos III (ISCIII)
Investigadores principais Marcos Ortega Hortas
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2015 ata 31/12/2017

Red de Investigación IEMath-Galicia

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Juan José Nieto Roig
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2014 ata 31/12/2015

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

Entidade financiadora Institut d'Assistència Sanitaria (IAS)
Investigadores principais Manuel González Penedo
Tipo Contrato
Datas Desde 02/05/2013 ata 31/12/2014

Ayuda para la consolidación y estructuración de unidades de investigación competitivas del Sistema universitario de Galicia - Modalidad de grupos con potencial crecimiento.

Entidade financiadora Xunta de Galicia
Investigadores principais Manuel Francisco González Penedo
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2013 ata 30/11/2015

Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)

Entidade financiadora Xunta de Galicia
Investigadores principais Ricardo Cao Abad
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2012 ata 31/12/2013

Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).

Entidade financiadora Xunta de Galicia
Investigadores principais Juan José Nieto Roig
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2012 ata 30/11/2013

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

Entidade financiadora Ministerio de Economía y Competitividad
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2013

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

Entidade financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proxecto Outros Programas
Datas Desde 01/01/2008 ata 31/10/2011

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

Tipo Proxecto Outros Programas
Datas Desde 01/10/2006 ata 30/09/2009

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

Tipo Proxecto Outros Programas
Datas Desde 01/10/2006 ata 30/09/2009

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principais Manuel Francisco González Penedo
Tipo Proxecto Programas Autonomicos
Datas Desde 24/10/2003 ata 23/10/2006

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

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

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

Entidade financiadora Union Europea
Tipo Proxecto Outros Programas
Datas Desde 29/08/2001 ata 29/08/2003

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principais Manuel Francisco González Penedo
Tipo Proxecto Programas Autonomicos
Datas Desde 20/07/2001 ata 20/07/2004

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 01/12/1999 ata 01/12/2001

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

Entidade financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proxecto Outros Programas
Datas Desde 30/12/1999 ata 31/12/2001

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

Entidade financiadora Dirección Xeral de Universidades
Tipo Proxecto Outros Programas
Datas Desde 24/10/1996 ata 24/10/1998

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

Entidade financiadora Dirección Xeral de Universidades
Investigadores principais José Luis Freire Nistal
Tipo Proxecto Outros Programas
Datas Desde 01/01/1994 ata 31/12/1995

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

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principais Antonio Ángel Blanco Ferro
Tipo Proxecto Programas Autonomicos
Datas Desde 07/04/1994 ata 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

Entidade financiadora Fundación Empresa-Universidad Gallega (FEUGA)
Tipo Contrato
Datas Desde 08/03/1993 ata 08/06/1993

On the Confluence of the Graphic Calculus with Penrose Diagrams

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

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

Autores Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José Mª Molinelli Barba
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (páxs. 405 ata 414)

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

Autores Felicidad Aguado, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal
Revista Journal of Formalized Reasoning (páxs. 25 ata 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores Felicidad Aguado, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 282 ata 289)

An automatic calculator with penrose diagrams

Autores José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Núm. - (páxs. 77 ata 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)
Internacional

Autores Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal
Lugar 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
Internacional

Autores Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar 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
Internacional

Autores Felicidad Aguado, José Mª Molinelli Barba, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar 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
Internacional

Autores Gilberto Pérez, José Luis Freire Nistal, José Mª Molinelli Barba
Lugar Cali (Colombia)

Cargos

Cargos académicos ou de xestión para o/a docente.

Vicerreitoría de Títulos, Calidade e Novas Tecnoloxías

Aulas de Formación Informática
Director/a

Desde 01/02/2010.

Aula de Formación Informática - AFI

Director/a de Organismo

Desde 01/02/2010.

Facultade de Informática

Secretario/a de Facultade

Desde 25/06/1996 ata 14/06/1999.

Facultade de Informática

Vicedecano/a