 | 2011 |
| 4 |  | Felicidad Aguado,
Pedro Cabalar,
Gilberto Pérez,
Concepción Vidal:
Loop Formulas for Splitable Temporal Logic Programs.
LPNMR 2011: 80-92 |
| 3 |  | Concepción Vidal,
Gilberto Pérez,
Felicidad Aguado,
José María Molinelli:
Crossover operators for permutations equivalence between position and order-based crossover.
Logic Journal of the IGPL 19(2): 405-414 (2011) |
| 2008 |
| 2 |  | Felicidad Aguado,
Pedro Cabalar,
Gilberto Pérez,
Concepción Vidal:
Strongly Equivalent Temporal Logic Programs.
JELIA 2008: 8-20 |
| 2007 |
| 1 |  | Felicidad Aguado,
J. L. Doncel,
José María Molinelli,
Gilberto Pérez,
Concepción Vidal,
A. Vieites:
Certified Genetic Algorithms: Crossover Operators for Permutations.
EUROCAST 2007: 282-289 |