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)

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

Improving the Performance of a Tagger Generator in an Information Extraction Application. - José A. Troyano; Fernando Enríquez; Fermín L. Cruz; José Miguel Cañete Valdeón; F. Javier Ortega (J. Univers. Comput. Sci., 2007)

Clarifying the semantics of value in use cases through Jackson's Problem Frames. - José Miguel Cañete Valdeón; Fernando Enríquez; F. Javier Ortega; Ernesto Veláquez (Inf. Process. Lett., 2008)

On the interpretation of mathematical entities in the formalisation of programming and modelling languages. - José Miguel Cañete Valdeón (Math. Struct. Comput. Sci., 2008)

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)

Annotating problem diagrams with architectural tactics for reasoning on quality requirements. - José Miguel Cañete Valdeón (Inf. Process. Lett., 2012)

How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities. - José Miguel Cañete Valdeón (Inf. Softw. Technol., 2013)

Defeasible Argumentation of Software Architectures. - José Miguel Cañete Valdeón; Antonio Ruiz Cortés; Miguel Toro (WICSA, 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)