José María Molinelli

According to our database, José María Molinelli authored at least 4 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Crossover operators for permutations equivalence between position and order-based crossover.

Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli

Log. J. IGPL, 2011

2008

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

Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez

J. Formaliz. Reason., 2008

2007

Certified Genetic Algorithms: Crossover Operators for Permutations.

Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, Ana María Vieites

Proceedings of the Computer Aided Systems Theory, 2007

1997

An Automatic Calculator with Penrose Diagrams.

José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997