Sintesis de Programas Logicos: Marco Constructivo. - Francisco José Galán Morillo; M. Toro Bonilla (GULP-PRODE, 1995)

Object Oriented Software Systems Defined by Constructive Logical Methods. - Francisco José Galán Morillo; M. Toro Bonilla (APPIA-GULP-PRODE, 1998)

Primeros Pasos hacia un Compilador de UML/OCL. - José Miguel Cañete Valdeón; Francisco José Galán Morillo; Miguel Toro (JISBD, 2000)

Folding by similarity. - Francisco José Galán Morillo; José Miguel Cañete Valdeón (APPIA-GULP-PRODE, 2001)

Towards Rigorous and Effective Type Contracts. - Francisco José Galán Morillo; José Miguel Cañete Valdeón (JISBD, 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)

Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. - Francisco José Galán; José Miguel Cañete (APPIA-GULP-PRODE, 2002)

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)

A Method for Compiling and Executing Expressive Assertions. - Francisco José Galán Morillo; José Miguel Cañete Valdeón (IFM, 2004)

Named Entity Recognition Through Corpus Transformation and System Combination. - José A. Troyano; Vicente Carrillo; Fernando Enríquez; Francisco José Galán Morillo (EsTAL, 2004)

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. - José Miguel Cañete; Francisco José Galán Morillo (FASE, 2005)

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)

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)

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)