José María Molinelli

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

Publications

Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli
Crossover operators for permutations equivalence between position and order-based crossover. Log. J. IGPL 19 (2) (2011)
Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. J. Formaliz. Reason. 1 (1) (2008)
Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, A. Vieites
Certified Genetic Algorithms: Crossover Operators for Permutations. EUROCAST (2007)
José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire
An Automatic Calculator with Penrose Diagrams. EUROCAST (1997)