Francisco José Galán Morillo

According to our database, Francisco José Galán Morillo authored at least 14 papers between 1995 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Synthesis of positive logic programs for checking a class of definitions with infinite quantification.

Francisco J. Galán, José Miguel Cañete Valdeón

Inf. Comput., 2016

2011

Str: a Graph-Based Tagging Technique.

F. Javier Ortega, José A. Troyano, Francisco J. Galán, Carlos G. Vallejo, Fermín L. Cruz

Int. J. Artif. Intell. Tools, 2011

2009

The intentional relationship of representation between the constructs of a language and reality.

José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro

Data Knowl. Eng., 2009

2005

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.

José Miguel Cañete, Francisco José Galán Morillo

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Named Entity Recognition Through Corpus Transformation and System Combination.

José A. Troyano, Vicente Carrillo, Fernando Enríquez, Francisco José Galán Morillo

Proceedings of the Advances in Natural Language Processing, 4th International Conference, 2004

A Method for Compiling and Executing Expressive Assertions.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Constructing Recursions by Similarity.

Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal

J. Braz. Comput. Soc., 2003

2002

Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.

Francisco José Galán, José Miguel Cañete

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Towards a rigorous and effective functional contract for components.

Francisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón

Informatica (Slovenia), 2001

Towards Rigorous and Effective Type Contracts.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Folding by similarity.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Primeros Pasos hacia un Compilador de UML/OCL.

José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1998

Object Oriented Software Systems Defined by Constructive Logical Methods.

Francisco José Galán Morillo, M. Toro Bonilla

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1995

Sintesis de Programas Logicos: Marco Constructivo.

Francisco José Galán Morillo, M. Toro Bonilla

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995