Francisco José Galán Morillo

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Synthesis of positive logic programs for checking a class of definitions with infinite quantification.
Inf. Comput., 2016

2011
Str: a Graph-Based Tagging Technique.
International Journal on Artificial Intelligence Tools, 2011

2009
The intentional relationship of representation between the constructs of a language and reality.
Data Knowl. Eng., 2009

2005
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
Named Entity Recognition Through Corpus Transformation and System Combination.
Proceedings of the Advances in Natural Language Processing, 4th International Conference, 2004

A Method for Compiling and Executing Expressive Assertions.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Constructing Recursions by Similarity.
J. Braz. Comp. Soc., 2003

2002
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
Towards a rigorous and effective functional contract for components.
Informatica (Slovenia), 2001

Towards Rigorous and Effective Type Contracts.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Folding by similarity.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Primeros Pasos hacia un Compilador de UML/OCL.
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.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1995
Sintesis de Programas Logicos: Marco Constructivo.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995


  Loading...