Yoav Feinstein
Orcid: 0009-0007-4075-4762
According to our database1,
Yoav Feinstein authored at least 3 papers
between 2023 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026
2025
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025
2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023