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

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 I+D+i:
  • Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02 - Investigador)
  • Técnicas inductivas y deductivas para la extracción de información (HUM2007-66607-C04-04 - Investigador)
  • Reconocimiento de entidades usando ontologías (TIN2004-07246-C03-03 - Investigador)
  • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Investigador)
  
  
• 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é:
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

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

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

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

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

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

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

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

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

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:
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

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:
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

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

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

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:
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

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

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

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:
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 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:
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:
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:
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é, 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

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é, 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

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 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

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

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