J. L. Doncel

Optic disc segmentation using a matching filter and a deformable model

Manuel G. Penedo, Noelia Barreira, C. Mariño, 2006 .

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator

Gilberto Pérez, Concepción Vidal, Felicidad Aguado, 2008, J. Formaliz. Reason..

Certified Genetic Algorithms: Crossover Operators for Permutations

Gilberto Pérez, Concepción Vidal, Felicidad Aguado, 2007, EUROCAST.