José María Molinelli Barba  

Titular de escola universitaria (TIT-EU)

Departamento Computació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 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
Materia e estudos en que se imparte Horas totais
Paradigmas de Programación
Grao en Enxeñaría Informática
200
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 2017/2018.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre mércores
10:30 a 11:30
4.09
Primeiro cuadrimestre mércores
12:30 a 13:30
4.09
Primeiro cuadrimestre venres
10:30 a 11:30
4.09
Primeiro cuadrimestre venres
12:30 a 13:30
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.

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

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Bertha Guijarro Berdiñas
Tipo Proxecto Outros Programas
Datas Desde 01/01/2012 ata 31/12/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
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2012

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

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

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 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áxs. 405 ata 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áxs. 25 ata 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á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 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 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