Francisco José Galán Morillo

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

José Miguel Cañete, Francisco José Galán Morillo
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. FASE (2005)
José A. Troyano, Vicente Carrillo, Fernando Enríquez, Francisco José Galán Morillo
Named Entity Recognition Through Corpus Transformation and System Combination. EsTAL (2004)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
A Method for Compiling and Executing Expressive Assertions. IFM (2004)
Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal
Constructing Recursions by Similarity. J. Braz. Comput. Soc. 9 (1) (2003)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
Towards Rigorous and Effective Type Contracts. JISBD (2001)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
Folding by similarity. APPIA-GULP-PRODE (2001)
Francisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón
Towards a rigorous and effective functional contract for components. Informatica (Slovenia) 25 (4) (2001)
José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro
Primeros Pasos hacia un Compilador de UML/OCL. JISBD (2000)
Francisco José Galán Morillo, M. Toro Bonilla
Object Oriented Software Systems Defined by Constructive Logical Methods. APPIA-GULP-PRODE (1998)
Francisco José Galán Morillo, M. Toro Bonilla
Sintesis de Programas Logicos: Marco Constructivo. GULP-PRODE (1995)