Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Francisco José Galán Morillo


Francisco José Galán Morillo
Telefono: 95.455.27.73
Email: Solicitar correo
Perfil en ORCID: 0000-0001-6278-040X
Perfil en Scopus: 36854838100
Perfil en Dialnet: 1055080

Grupo de Investigación: Sistemas Informaticos
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Contrato con empresas (Arts. 68/83 LOU):
    • Proyecto de investigación: modelos y ontologías de negocio (OG-015/07)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
  • Contrato con empresas (Arts. 68/83 LOU):
    • Ontología y Reglas de adaptación de hechos contables ERP. (0871/0391 - Investigador)
    • Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador)
    • 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 - Investigador)
    • Un sistema de radiodifusión personalizada y georreferenciada sobre redes móviles de paquetes (OG-136/06 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2006/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Métodos Formales Orientados a Objetos. 2002

Capítulos en Libros
Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Optimizacion en Modelos que Integran Conocimiento Cualitativo y Cuantitativo. Pag. 1-9. En: Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Edición Digital @ Tres. 2000. ISBN 84-699-2729-9

Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Semiqualitative Temporal Patterns in Time-Series Databases. Pag. 11-20. En: Current Trends in Qualitative Reasoning and Applications. Edición Digital @ Tres. 2000. ISBN 84-699-2786-8

Publicaciones en Revistas
Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. En: Information and Computation. 2016. Vol. 249. Pag. 205-236. 10.1016/j.ic.2016.06.014

Ortega Rodríguez, Francisco Javier, Troyano Jiménez, José A., Galán Morillo, Francisco José, García Vallejo, Carlos A., Cruz Mata, Fermin:
STR: A Graph-based Tagging Technique. En: International Journal on Artificial Intelligence Tools. 2012. Vol. 8. Núm. 3. 10.1142/S0218213011000437

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
The Intentional Relationship of Representation Between the Constructs of a Language and Reality. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 2. Pag. 173-191

Troyano Jiménez, José A., Carrillo Montero, Vicente, Enriquez de Salamanca Ros, Fernando, Galán Morillo, Francisco José:
Named Entity Recognition Through Corpus Transformation and System Combination. En: Lecture Notes in Computer Science. 2004. Vol. 3230. Pag. 255-266

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Adapting Design Types to Communication Media and Middleware Environments. En: Lecture Notes in Computer Science. 2002. Pag. 184-192

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Díaz Madrigal, Víctor Jesús:
Towards a Rigorous and Effective Functional Contract for Components. En: Informatica: Journal of Computing and Informatics. 2001. Vol. 24. Núm. 4. Pag. 527-533

Aportaciones a Congresos
Aumaitre del Rey, Adolfo Antonio, Carrillo Montero, Vicente, Galán Morillo, Francisco José:
User-Centric System for Contents Dissemination. Comunicación en congreso. User-Centric Technologies and Applications. 2007. User-Centric Technologies and Applications (a Workshop Organized by Madrinet). 4. 11

Aumaitre del Rey, Adolfo Antonio, Carrillo Montero, Vicente, Galán Morillo, Francisco José:
Using Ontologies for Optimizing Advertising Management in a Geo-Referenced Radio System. Comunicación en congreso. Conference on Information Management and Internet Research. Edith Cowan University, Joondalup, Western Australia. 2007. Proceedings of the Conference on Information Management and Internet Research. 427. 436

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Carrillo Montero, Vicente, Ortega Rodríguez, Francisco Javier:
Compiling a Class of Assertions Containing Infinite Quantification. Comunicación en congreso. II Congreso Español de Informatica. 2007. Actas del II Congreso Español de Informática, Cedi 2007. 147. 156

Galán Morillo, Francisco José, Carrillo Montero, Vicente, Aumaitre del Rey, Adolfo Antonio:
The Problem of Implementing Invariants in a Semantic Web Context. Comunicación en congreso. Jornadas Sobre Ontologías y Web Semántica, Websemántica'2007. Zaragoza, Spain. 2007

Carrillo Montero, Vicente, Galán Morillo, Francisco José, Aumaitre del Rey, Adolfo Antonio:
Uso de Ontologías en la Difusión de Contenidos Geosincronizados. Comunicación en congreso. Jornadas Sobre Ontologías y Web Semántica, Websemántica'2007. Zaragoza, Spain. 2007

Aumaitre del Rey, Adolfo Antonio, Carrillo Montero, Vicente, Galán Morillo, Francisco José:
Radio System for Mobile Commerce, Information and Entertainment Services. Comunicación en congreso. Iasted International Conference on Communication Systems and Networks. Palma de Mallorca, Spain. 2007. Proceedings of the Sixth Iasted International Conference on Communication Systems and Networks. 39. 44

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José:
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. Comunicación en congreso. Fundamental Approaches to Software Engineering Fase 2005. Edinburgh, United Kingdom. 2005. Proceedings of Fundamental Approaches to Software Engineering Fase 2005. 205. 219

Troyano Jiménez, José A., Galán Morillo, Francisco José, Carrillo Montero, Vicente, Enriquez de Salamanca Ros, Fernando, García, Enrique J:
Prácticas de la Asignatura Procesadores de Lenguaje con la Herramienta Antlr. Comunicación en congreso. Jornadas de Enseñanza Universitaria de la Informática. 2005. Actas de las XI Jornadas de Enseñanza Universitaria de la Informática. 323. 331

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
A Method for Compiling and Executing Expressive Assertions. Comunicación en congreso. Integrated Formal Methods, 4th International Conference. Canterbury, KENT UNIVERSITY (UK). 2004

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
¿Qué Se Entiende en España Por Investigación en Ingeniería de Software?. Comunicación en congreso. Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. El Escorial, España. 2002. Actas del Primer Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. 118. 128

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Compiling (for Validating) Explicit Specifications Into Recursive Specifications in Linear Stratified Theories. Comunicación en congreso. Joint Conference on Declarative Programming. 2002. Proceedings of Appia-Gulp-Prode 2002. 223. 241

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Adapting Design Types to Communication Media and Middleware Environments. Comunicación en congreso. Workshop on Integration and Transformation of UML Models. , Málaga, España. 2002. Object-Oriented Technology. ECOOP 2002 Workshop Reader. 184. 191

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Discovering Recursions by Similarity. Comunicación en congreso. Workshop on Precise Software Development. Almagro, Ciudad Real (España). 2001. Proceedings of the II Workshop on Precise Software Development. 33. 44

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Transforming Layered Specifications Into Operational Specifications. Comunicación en congreso. Jornadas Sobre Programación y Lenguajes. Almagro, Ciudad Real, España. 2001. I Jornadas Sobre Programación y Lenguajes: Prole 2001. 145. 162

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Folding by Similarity. Comunicación en congreso. Joint Conference on Declarative Programming. Evora (Portugal). 2001. Proceedings of Appia-Gulp-Prode 2001. 181. 197

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Towards a Rigorous and Effective Type Contracts. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. VI Jornadas de Ingenieria del Software y Base de Datos. 361. 374

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Semiqualitative Temporal Patterns in Time-Series Databases. Comunicación en congreso. Current Trends in Qualitative Reasoning and Aplications. 2000. Current Trends in Qualitative Reasoning and Applications. 2000 Edition. 11. 20

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Lenguajes de Especificación de Software Riguroso: Aproximación Integradora y Aproximación Por Suplemento. Comunicación en congreso. Taller Sobre Lenguajes de Especificación de Software. Valladolid, España. 2000. Actas del I Taller Sobre Lenguajes de Especificación de Software. 10. 20

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Improving Constructive Synthesizers by Tabulation Techniques and Domain Ordering. Comunicación en congreso. Internation Workshop on Tabulation in Parsing and Deduction. Vigo, España. 2000. Proceedingds of 2nd International Workshop on Tabulation in Parsing and Deduction. 37. 49

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
An Application Framework for the Execution of the UML/Ocl Models. Comunicación en congreso. Jornadas de Trabajo Menhir. Granada. 2000. Actas de las V Jornadas de Trabajo Menhir. 60. 72

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Optimización en Modelos que Integran Conocimiento Cualitativo y Cuantitativo. Comunicación en congreso. Jornadas de Trabajo Sobre Metodologias Cualitativas Aplicadas a los Sistemas Socioeconómicos. Facultad de Ciencias Económicas y Empresariales de Sevilla. 2000

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Primeros Pasos Hacia un Compilador de UML/Ocl. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, Jisdb'2000. Valladolid (España). 2000

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Filling the GAP Between Specification and Implementation of Software Systems by an Executable Code Generator of UML/Ocl. Comunicación en congreso. International Conference of Software & System Engineering and Their Applications. París, France. 1999. Proceedings of XII International Conference of Software & System Engineering and Their Applications. S2.1. S2.15

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Software Specification: a Balanced Approach. Comunicación en congreso. International Conference on Information System Development. Florida, EEUU. 1999. Proceeding of the V International Conference on Information System Development. 314. 322

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Interpretación Ejecutable de Modelos Estructurales UML Enriquecidos con Restricciones. Comunicación en congreso. Ideas. Costa Rica. 1999. Ideas 99. 241. 253

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Specification: a Balanced Approach. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 75. 80

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
A Proposal for the Formalization of the Ocl Language Based on Algebraic Specifications. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 69. 75

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
Towards a Code Generator for UML/Ocl System Specifications. System Model and Synthesis of Statecharts. Comunicación en congreso. Jornadas de Trabajo Menhir. Murcia. 1998. III Jornadas de Trabajo Menhir. 75. 87

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Generación Automática de Código desde Especificaciones UML/Ocl. Comunicación en congreso. Jornadas de Ingeniría del Software. Murcia, España. 1998. Actas de las III Jornadas de Ingeniería del Software. 399. 410

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Object Oriented Software Systems Defined by Logical Constructive Methods. Comunicación en congreso. Joint Conference on Declarative Programming. Coruña, España. 1998. Proceeding of the Joint Conference on Declarative Programming. 120. 136

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Prototipos y Abstracciones. Comunicación en congreso. Jornadas en Ingeniería del Software. San Sebastian, España. 1997. Actas de las II Jornadas de Ingenieria del Software. 182. 192

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis Deductiva de Programas Lógicos con Tipos. Comunicación en congreso. II Jornadas de Informatica. Aluñecar, Granada, España. 1996. Actas de las II Jornadas de Informatica. 31. 41

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis de Programas Lógicos: Marco Constructivo. Comunicación en congreso. Joint Conference on Declarative Programming. Marina di Vietry, Italy. 1995. Proceedings of the Joint Conference on Declarative Programming (Gulp-Prode'95). 497. 511

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis Constructiva de Programas Lógicos. Comunicación en congreso. Jornadas de Informatica. Puerto de la Cruz, Tenerife. 1995. Actas de las I Jornadas de Informática. 311. 322

Tesis dirigidas y co-dirigidas:


Cañete Valdeón, José Miguel:
Una Teoría Sobre Lenguajes y Métodos de Diseño en Ingeniería del Software. Tesis Doctoral. 2006

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla