The Hebrew FrameNet Project. - Avi Hayoun; Michael Elhadad (LREC, 2016)

Enriching Non-Parametric Bidirectional Search Algorithms. - Shahaf S. Shperberg; Ariel Felner; Nathan R. Sturtevant; Solomon Eyal Shimony; Avi Hayoun (AAAI, 2019)

Improving Bidirectional Heuristic Search by Bounds Propagation. - Shahaf S. Shperberg; Ariel Felner; Solomon Eyal Shimony; Nathan R. Sturtevant; Avi Hayoun (SOCS, 2019)

Enriching Non-Parametric Bidirectional Search Algorithms - Extended Abstract. - Shahaf S. Shperberg; Ariel Felner; Nathan R. Sturtevant; Solomon Eyal Shimony; Avi Hayoun (SOCS, 2019)

Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound. - Shahaf S. Shperberg; Ariel Felner; Nathan R. Sturtevant; Solomon Eyal Shimony; Avi Hayoun (IJCAI, 2020)

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. - Gal Amram; Avi Hayoun; Lior Mizrahi; Gera Weiss (DISC, 2022)

Linearizability Analysis of the Contention-Friendly Binary Search Tree. - Uri Abraham; Avi Hayoun (CoRR, 2023)

Customizing Static Analysis using Codesearch. - Avi Hayoun; Veselin Raychev; Jack Hair (CoRR, 2024)

Automata Models for Effective Bug Description. - Tom Yaacov; Gera Weiss; Gal Amram; Avi Hayoun (CoRR, 2025)