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

2010 – 2019

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)

2000 – 2009

see FAQ

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

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)
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
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)
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
[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)
[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

1990 – 1999

see FAQ

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

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.