If you made any changes in Pure these will be visible here soon.


Dive into the research topics where Yoav Alon is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Using Graph Neural Networks for Program Termination

    Alon, Y. & David, C., 9 Nov 2022, (E-pub ahead of print) ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM), 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    22 Downloads (Pure)