Avi Hayoun

Orcid: 0009-0009-6607-2158

According to our database1, Avi Hayoun authored at least 8 papers between 2016 and 2024.

Collaborative distances:

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
1
3
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Customizing Static Analysis using Codesearch.
CoRR, 2024

2023
Linearizability Analysis of the Contention-Friendly Binary Search Tree.
CoRR, 2023

2022
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.
Proceedings of the 36th International Symposium on Distributed Computing, 2022

2020
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
Enriching Non-Parametric Bidirectional Search Algorithms - Extended Abstract.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Improving Bidirectional Heuristic Search by Bounds Propagation.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Enriching Non-Parametric Bidirectional Search Algorithms.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2016
The Hebrew FrameNet Project.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016


  Loading...