Itay Cohen
Orcid: 0000-0002-5077-4085Affiliations:
- Bar Ilan University, Ramat Gan, Israel
According to our database1,
Itay Cohen
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022