Jonathan Prieto-Cubides

Orcid: 0000-0002-8449-3812

According to our database1, Jonathan Prieto-Cubides authored at least 3 papers between 2018 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
On homotopy of walks and spherical maps in homotopy type theory.
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021
On Planarity of Graphs in Homotopy Type Theory.
CoRR, 2021

2018
Dealing with Missing Data using a Selection Algorithm on Rough Sets.
Int. J. Comput. Intell. Syst., 2018


  Loading...