| 2024 | CogSci | Backward reasoning through AND/OR trees to solve problems. | Jeroen Olieslagers, Zahy Bnaya, Yichen Li, Wei Ji Ma |
| 2019 | CogSci | Predicting human decisions in a sequential planning puzzle with a large state space. | Yichen Li, Zahy Bnaya, Wei Ji Ma |
| 2017 | CogSci | A computational model for decision tree search. | Bas van Opheusden, Gianni Galbiati, Zahy Bnaya, Yunqi Li, Wei Ji Ma |
| 2015 | SoCS | Confidence Backup Updates for Aggregating MDP State Values in Monte-Carlo Tree Search. | Zahy Bnaya, Alon Palombo, Rami Puzis, Ariel Felner |
| 2014 | ICRA | Conflict-Oriented Windowed Hierarchical Cooperative A∗. | Zahy Bnaya, Ariel Felner |
| 2013 | AAAI | Volatile Multi-Armed Bandits for Guaranteed Targeted Social Crawling. | Zahy Bnaya, Rami Puzis, Roni Stern, Ariel Felner |
| 2013 | AAAI | TONIC: Target Oriented Network Intelligence Collection for the Social Web. | Roni Tzvi Stern, Liron Samama, Rami Puzis, Tal Beja, Zahy Bnaya, Ariel Felner |
| 2013 | SoCS | Multi-Agent Path Finding for Self Interested Agents. | Zahy Bnaya, Roni Stern, Ariel Felner, Roie Zivan, Steven Okamoto |
| 2011 | SoCS | Repeated-Task Canadian Traveler Problem. | Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony |
| 2009 | IJCAI | Canadian Traveler Problem with Remote Sensing. | Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony |