José María Molinelli Barba  

Titular de escuela universitaria (TIT-EU)

Departamento Computació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 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
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
200
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
200
Asignatura y estudios en la que se imparte Horas totales
Paradigmas de Programación
Grado en Ingeniería Informática
251

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.

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

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 Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, 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 Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Journal of Formalized Reasoning (págs. 25 a 37)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores 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
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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, 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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, 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 Vega, 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
Dirctor/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