Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Francisco José Galán Morillo

Francisco José Galán – Francisco J. Galán

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GalanV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GalanV16
Francisco J. Galán, José Miguel Cañete Valdeón:
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. Inf. Comput. 249: 205-236 (2016)
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/OrtegaTGVC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/OrtegaTGVC11
F. Javier Ortega, José A. Troyano, Francisco J. Galán, Carlos G. Vallejo, Fermín L. Cruz:
Str: a Graph-Based Tagging Technique. Int. J. Artif. Intell. Tools 20(5): 955-967 (2011)
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/ValdeonGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/ValdeonGT09
José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro:
The intentional relationship of representation between the constructs of a language and reality. Data Knowl. Eng. 68(2): 173-191 (2009)
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jbcs/MorilloVM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/MorilloVM03
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): 17-26 (2003)
2001
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/informaticaSI/MorilloDV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/MorilloDV01
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CaneteM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CaneteM05
José Miguel Cañete, Francisco José Galán Morillo:
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. FASE 2005: 205-219
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MorilloV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MorilloV04
Francisco José Galán Morillo, José Miguel Cañete Valdeón:
A Method for Compiling and Executing Expressive Assertions. IFM 2004: 521-540
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tal/TroyanoCEM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tal/TroyanoCEM04
José A. Troyano, Vicente Carrillo, Fernando Enríquez, Francisco José Galán Morillo:
Named Entity Recognition Through Corpus Transformation and System Combination. EsTAL 2004: 255-266
2002
[c6]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/GalanC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GalanC02
Francisco José Galán, José Miguel Cañete:
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. APPIA-GULP-PRODE 2002: 223-239
2001
[c5]
- view
  - electronic edition @ uevora.pt (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MorilloV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MorilloV01
Francisco José Galán Morillo, José Miguel Cañete Valdeón:
Folding by similarity. APPIA-GULP-PRODE 2001: 181-195
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/MorilloV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/MorilloV01
Francisco José Galán Morillo, José Miguel Cañete Valdeón:
Towards Rigorous and Effective Type Contracts. JISBD 2001: 361-374
2000
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/ValdeonMB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/ValdeonMB00
José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro:
Primeros Pasos hacia un Compilador de UML/OCL. JISBD 2000: 27-32
1998
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MorilloB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MorilloB98
Francisco José Galán Morillo, M. Toro Bonilla:
Object Oriented Software Systems Defined by Constructive Logical Methods. APPIA-GULP-PRODE 1998: 125-136
1995
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MorilloB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MorilloB95
Francisco José Galán Morillo, M. Toro Bonilla:
Sintesis de Programas Logicos: Marco Constructivo. GULP-PRODE 1995: 497-510

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.