Joshua M. Cohen
Orcid: 0000-0002-9555-8781Affiliations:
- Princeton University, NJ, USA
- University of Pennsylvania, PA, USA (former)
According to our database1,
Joshua M. Cohen
authored at least 4 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Verified Software. Theories, Tools and Experiments, 2023
2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
J. Funct. Program., 2021