José María Molinelli Barba  

Titular de escuela universitaria (TIT-EU)

Departamento Ciencias de la Computación y Tecnologías de la Información
Área Ciencia de la computación e inteligencia artificial
Investigación  Grupo de investigación Grupo de Visión Artificial y Reconocimiento de Patrones
Líneas de investigación No figuran en el gestor curricular de la UDC (SUXI).
Contacto Directorio de la UDC

Docencia

Docencia impartida

En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.

Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación 250
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
230
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
190
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
195
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
195
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
200

Tutorías definidas por el/la docente para el curso académico 2019/2020.

Facultad de Informática

Cuatrimestre Día Lugar
Primer cuatrimestre martes
10:30 a 11:30
4.09
Primer cuatrimestre martes
12:30 a 13:30
4.09
Primer cuatrimestre jueves
12:30 a 13:30
4.09
Primer cuatrimestre jueves
10:30 a 11:30
4.09
Segundo cuatrimestre lunes
10:00 a 12:00
4.09
Segundo cuatrimestre miércoles
10:00 a 12:00
4.09

Trabajos de fin de grado y máster

No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013

Resultados de investigación

Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.

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

Entidad financiadora Ministerio de Ciencia, Innovación y Universidades
Investigadores principales Marcos Ortega Hortas / Enrique Javier Carmona Suárez
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2019 a 31/12/2022

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

Entidad financiadora Instituto de Salud Carlos III (ISCIII)
Investigadores principales Marcos Ortega Hortas
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2016 a 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

Entidad financiadora Instituto de Salud Carlos III (ISCIII)
Investigadores principales Marcos Ortega Hortas
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2015 a 31/12/2017

Red de Investigación IEMath-Galicia

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Juan José Nieto Roig
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2014 a 31/12/2015

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

Entidad financiadora Institut d'Assistència Sanitaria (IAS)
Investigadores principales Manuel González Penedo
Tipo Contrato
Fechas Desde 02/05/2013 a 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.

Entidad financiadora Xunta de Galicia
Investigadores principales Manuel Francisco González Penedo
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2013 a 30/11/2015

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

Entidad financiadora Xunta de Galicia
Investigadores principales Ricardo Cao Abad
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2012 a 31/12/2013

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

Entidad financiadora Xunta de Galicia
Investigadores principales Juan José Nieto Roig
Tipo Proyecto Programas Autonomicos
Fechas Desde 01/01/2012 a 30/11/2013

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

Entidad financiadora Ministerio de Economía y Competitividad
Investigadores principales José Pedro Cabalar Fernández
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2010 a 31/12/2013

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

Entidad financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2008 a 31/10/2011

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

Tipo Proyecto Otros Programas
Fechas Desde 01/10/2006 a 30/09/2009

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

Tipo Proyecto Otros Programas
Fechas Desde 01/10/2006 a 30/09/2009

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principales Manuel Francisco González Penedo
Tipo Proyecto Programas Autonomicos
Fechas Desde 24/10/2003 a 23/10/2006

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

Entidad financiadora Ministerio de Ciencia y Tecnología
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Nacionales
Fechas Desde 05/11/2002 a 05/11/2005

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

Entidad financiadora Union Europea
Tipo Proyecto Otros Programas
Fechas Desde 29/08/2001 a 29/08/2003

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principales Manuel Francisco González Penedo
Tipo Proyecto Programas Autonomicos
Fechas Desde 20/07/2001 a 20/07/2004

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas Desde 01/12/1999 a 01/12/2001

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

Entidad financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proyecto Otros Programas
Fechas Desde 30/12/1999 a 31/12/2001

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

Entidad financiadora Dirección Xeral de Universidades
Tipo Proyecto Otros Programas
Fechas Desde 24/10/1996 a 24/10/1998

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

Entidad financiadora Dirección Xeral de Universidades
Investigadores principales José Luis Freire Nistal
Tipo Proyecto Otros Programas
Fechas Desde 01/01/1994 a 31/12/1995

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

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principales Antonio Ángel Blanco Ferro
Tipo Proyecto Programas Autonomicos
Fechas Desde 07/04/1994 a 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

Entidad financiadora Fundación Empresa-Universidad Gallega (FEUGA)
Tipo Contrato
Fechas Desde 08/03/1993 a 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ágs. 169 a 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ágs. 405 a 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ágs. 25 a 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ágs. 282 a 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ágs. 77 a 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 o de gestión para el/la docente.

Vicerrectorado de Títulos, Calidad y Nuevas Tecnologí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.

Facultad de Informática

Secretario/a de Facultad

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

Facultad de Informática

Vicedecano/a