Francisco José Galán Morillo

Profesor Titular de Universidad
galanm@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: SISTEMAS INFORMATICOS (TIC-134)
Tipo Año Título Fuente
Artículo2016 Synthesis of positive logic programs for checking a class of definitions with infinite quantification INFORMATION AND COMPUTATION
Ponencia2012 Semantic modelling of energy-related information throughout the whole building lifecycle EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION
Artículo2011 STR: A GRAPH-BASED TAGGING TECHNIQUE INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS
Artículo2009 The intentional relationship of representation between the constructs of a language and reality DATA & KNOWLEDGE ENGINEERING
Ponencia2007 Radio system for mobile commerce, information and entertainment services Proceedings of the 6th IASTED International Conference on Communication Systems and Networks, CSN 2007
Ponencia2007 The problem of implementing invariants in a Semantic Web context Actas de las II Jornadas sobre Ontologías Web y Semántica
Ponencia2007 Uso de ontologías en la difusión de contenidos geosincronizados Actas de las II Jornadas sobre Ontologías Web y Semántica
Artículo2005 Towards a theory on the role of ontologies in software engineering problem solving - Conclusions from a theoretical model of methodological works FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS
Ponencia2005 Towards a theory on the role of ontologies in Software Engineering problem solving conclusions from a theoretical model of methodological works Lecture Notes in Computer Science
Artículo2004 A method for compiling and executing expressive assertions INTEGRATED FORMAL METHODS, PROCEEDINGS
Ponencia2004 Conciencia de modelos como instrumentos en ingeniería de Software: una Aproximación desde las Ciencias Naturales y Sociales Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Ponencia2004 Named entity recognition through corpus transformation and system combination Lecture Notes in Computer Science
Artículo2004 Named entity recognition through corpus transformation and system combination ADVANCES IN NATURAL LANGUAGE PROCESSING
Artículo2003 Constructing recursions by similarity Journal of the Brazilian Computer Society
Artículo2003 Metodos formales orientados a objetos Novática
Ponencia2001 Towards rigorous and effective type contracts JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real)
Ponencia1996 Síntesis deductiva de programas lógicos con tipos II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas
Artículo1995 Síntesis constructiva de programas lógicos I Jornadas de informática, Puerto de la Cruz, 17-21 de julio de 1995: actas
Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2013 31/12/2015 Investigador/a Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02) Ministerio de Economía y Competitividad (Nacional)
01/10/2007 30/09/2011 Investigador/a Técnicas inductivas y deductivas para la extracción de información (HUM2007-66607-C04-04) Ministerio de Educación y Ciencia (Nacional)
13/12/2004 13/12/2007 Investigador/a Reconocimiento de entidades usando ontologías (TIN2004-07246-C03-03) Ministerio de Ciencia y Tecnología (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2007 31/12/2007 Investigador/a Un sistema de radiodifusión personalizada y georreferenciada sobre redes móviles de paquetes (OG-136/06) Envision New Media S.L. (Nacional)
05/01/2008 05/01/2009 Investigador/a Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08) EADS - Construcciones Aeronáuticas, S.A. (Nacional)
15/09/2010 15/07/2011 Investigador/a Ontología y Reglas de adaptación de hechos contables ERP. (0871/0391) Dynagent Software S.L. (Local)
01/06/2007 30/10/2008 Investigador/a Clearway: Sistema personal de navegación y de orientación sonora para personas invidentes a través del uso de los nuevos sistemas europeos de geo-posicionamiento vía satélite de alta precisión (OG-118/07) Envision Technologies S.L. (Nacional)
01/01/2007 31/10/2007 Responsable Proyecto de investigación: modelos y ontologías de negocio (OG-015/07) Dynagent Software S.L. (Local)
El investigador no tiene ningún resultado de investigación asociado