Graph explorer

Julio Rubio

Julio Rubio contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewJulio Rubio
8 nodes7 links
Julio Rubio8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJulio RubioResearcherWConstructive Homologica...preprint / 2013WComputing in Coq with I...preprint / 2010WComputing the homology ...preprint / 2011WVerifying an algorithm ...preprint / 2012WDefining and computing ...preprint / 2014WVerifying a platform fo...preprint / 2013WA Topological Approach ...preprint / 2022
PersonSignal 107 links

Julio Rubio

Researcher

Open