 | 2009 |
|---|
| 39 |       | Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz:
Qualified Computations in Functional Logic Programming.
ICLP 2009: 449-463 |
| 38 | | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
A Declarative Debugger for Maude Functional Modules.
Electr. Notes Theor. Comput. Sci. 238(3): 63-81 (2009) |
| 37 | | Kaisa Miettinen,
Julián Molina Luque,
Mercedes González,
Alfredo García Hernández-Díaz,
Rafael Caballero:
Using box indices in supporting comparison in multiobjective optimization.
European Journal of Operational Research 197(1): 17-24 (2009) |
| 36 | | Julián Molina Luque,
Luis V. Santana-Quintero,
Alfredo García Hernández-Díaz,
Carlos A. Coello Coello,
Rafael Caballero:
g-dominance: Reference point based dominance for multiobjective metaheuristics.
European Journal of Operational Research 197(2): 685-692 (2009) |
| 2008 |
|---|
| 35 | | Adrián Riesco,
Alberto Verdejo,
Narciso Martí-Oliet,
Rafael Caballero:
A Declarative Debugger for Maude.
AMAST 2008: 116-121 |
| 34 | | Rafael Caballero,
Narciso Martí-Oliet,
Adrián Riesco,
Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models 2008: 174-193 |
| 33 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS 2008: 305-321 |
| 32 | | Alfredo García Hernández-Díaz,
Carlos A. Coello Coello,
Fatima Perez,
Rafael Caballero,
Julián Molina Luque,
Luis V. Santana-Quintero:
Seeding the initial population of a multi-objective evolutionary algorithm using gradient-based information.
IEEE Congress on Evolutionary Computation 2008: 1617-1624 |
| 31 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz:
Similarity-based reasoning in qualified logic programming.
PPDP 2008: 185-194 |
| 30 | | Alfredo García Hernández-Díaz,
Carlos A. Coello Coello,
Luis V. Santana-Quintero,
Fatima Perez,
Julián Molina Luque,
Rafael Caballero:
On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems.
PPSN 2008: 712-721 |
| 29 | | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
SDKB 2008: 143-159 |
| 28 | | Adrián Riesco,
Alberto Verdejo,
Rafael Caballero,
Narciso Martí-Oliet:
Declarative Debugging of Rewriting Logic Specifications.
WADT 2008: 308-325 |
| 27 | | Rafael Caballero,
Yolanda García-Ruiz,
Fernando Sáenz-Pérez:
A New Proposal for Debugging Datalog Programs.
Electr. Notes Theor. Comput. Sci. 216: 79-92 (2008) |
| 2007 |
|---|
| 26 | | Ricardo Landa Becerra,
Carlos A. Coello Coello,
Alfredo García Hernández-Díaz,
Rafael Caballero,
Julián Molina Luque:
Alternative techniques to solve hard multi-objective optimization problems.
GECCO 2007: 757-754 |
| 25 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP 2007: 425-427 |
| 24 | | Rafael Caballero,
Yolanda García-Ruiz:
Implementing Dynamic-Cut in TOY.
Electr. Notes Theor. Comput. Sci. 177: 153-168 (2007) |
| 23 | | Rafael Caballero,
Christian Hermanns,
Herbert Kuchen:
Algorithmic Debugging of Java Programs.
Electr. Notes Theor. Comput. Sci. 177: 75-89 (2007) |
| 22 | | Rafael Caballero,
Mercedes González,
Flor M. Guerrero,
Julián Molina Luque,
Concepción Paralera:
Solving a multiobjective location routing problem with a metaheuristic based on tabu search. Application to a real case in Andalusia.
European Journal of Operational Research 177(3): 1751-1763 (2007) |
| 21 | | Julián Molina Luque,
Manuel Laguna,
Rafael Martí,
Rafael Caballero:
SSPMO: A Scatter Tabu Search Procedure for Non-Linear Multiobjective Optimization.
INFORMS Journal on Computing 19(1): 91-100 (2007) |
| 2006 |
|---|
| 20 | | Alfredo García Hernández-Díaz,
Luis V. Santana-Quintero,
Carlos A. Coello Coello,
Rafael Caballero,
Julián Molina Luque:
A new proposal for multi-objective optimization using differential evolution and rough sets theory.
GECCO 2006: 675-682 |
| 19 | | Rafael Caballero,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP 2006: 421-422 |
| 18 | | Rafael Caballero,
Mónica Hernández:
Restoration of efficiency in a goal programming problem with linear fractional criteria.
European Journal of Operational Research 172(1): 31-39 (2006) |
| 17 | | Rafael Caballero,
Francisco Ruiz,
Maria Victoria Rodríguez Uría,
Carlos A. Romero-Díaz:
Interactive meta-goal programming.
European Journal of Operational Research 175(1): 135-154 (2006) |
| 2005 |
|---|
| 16 | | Rafael Caballero:
A declarative debugger of incorrect answers for constraint functional-logic programs.
WCFLP 2005: 8-13 |
| 15 | | Rafael Caballero,
Mariano Luque,
Julián Molina Luque,
Francisco Ruiz:
MOPEN: A computational package for Linear Multiobjective and Goal Programming problems.
Decision Support Systems 41(1): 160-175 (2005) |
| 2004 |
|---|
| 14 | | Rafael Caballero,
Mario Rodríguez-Artalejo:
DDT: a Declarative Debugging Tool for Functional-Logic Languages.
FLOPS 2004: 70-84 |
| 13 | | Rafael Caballero,
Mónica Hernández:
The controlled estimation method in the multiobjective linear fractional problem.
Computers & OR 31(11): 1821-1832 (2004) |
| 12 | | Rafael Caballero,
Emilio Cerdá,
María del Mar Muñoz,
Lourdes Rey:
Stochastic approach versus multiobjective approach for obtaining efficient solutions in stochastic multiobjective programming problems.
European Journal of Operational Research 158(3): 633-648 (2004) |
| 2003 |
|---|
| 11 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Improving Deterministic Computations in Lazy Functional Logic Languages.
Journal of Functional and Logic Programming 2003: (2003) |
| 2002 |
|---|
| 10 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees.
FLOPS 2002: 245-258 |
| 9 | | Rafael Caballero,
Trinidad Gómez,
Mariano Luque,
Francisca Miguel,
Francisco Ruiz:
Hierarchical generation of Pareto optimal solutions in large-scale multiobjective systems.
Computers & OR 29(11): 1537-1558 (2002) |
| 8 | | Rafael Caballero,
Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 7 | | Rafael Caballero,
Wolfgang Lux:
Declarative Debugging for Encapsulated Search.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 6 | | Rafael Caballero,
Mariano Luque,
Julián Molina Luque,
Francisco Ruiz:
Promoin: An Interactive System for Multiobjective Programming.
International Journal of Information Technology and Decision Making 1(4): 635-656 (2002) |
| 2001 |
|---|
| 5 | | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS 2001: 170-184 |
| 2000 |
|---|
| 4 |  | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
WFLP 2000: 8-22 |
| 1999 |
|---|
| 3 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Extensions: A Technique for Structuring Functional-Logic Programs.
Ershov Memorial Conference 1999: 297-310 |
| 2 | | Rafael Caballero,
Francisco Javier López-Fraguas:
A Functional-Logic Perspective on Parsing.
Fuji International Symposium on Functional and Logic Programming 1999: 85-99 |
| 1998 |
|---|
| 1 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Parsing with Non-Deterministic Functions.
APPIA-GULP-PRODE 1998: 87-100 |
