We stand with Ukraine  

José María Molinelli

Orcid: 0009-0009-9746-7187

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

1998
2000
2002
2004
2006
2008
2010
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Crossover operators for permutations equivalence between position and order-based crossover.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
José María Molinelli
,
José María Barja
,
Antonio Blanco
,
José Luis Freire
Proceedings of the Computer Aided Systems Theory, 1997


  Loading...