Nima Rasekh

Orcid: 0000-0003-0766-2755

According to our database1, Nima Rasekh authored at least 4 papers between 2018 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Insights from Univalent Foundations: A Case Study Using Double Categories.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024
Univalent Double Categories.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Yoneda Lemma for Simplicial Spaces.
Appl. Categorical Struct., August, 2023

2018
RGB image-based data analysis via discrete Morse theory and persistent homology.
CoRR, 2018


  Loading...