| 2019 | DATE | IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. | Robert Wille, Rod Van Meter, Yehuda Naveh |
| 2018 | DATE | Theoretical and practical aspects of verification of quantum computers. | Yehuda Naveh, Elham Kashefi, James R. Wootton, Koen Bertels |
| 2018 | ICCAD | Computer-aided design for quantum computation. | Robert Wille, Austin G. Fowler, Yehuda Naveh |
| 2013 | KDD | Analysis of advanced meter infrastructure data of water consumption in apartment buildings. | Einat Kermany, Hanna Mazzawi, Dorit Baras, Yehuda Naveh, Hagai Michaelis |
| 2012 | IAAI | Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems. | Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi Lando, Alon Modai |
| 2012 | ICPR | DFlow and DField: New features for capturing object and image relationships. | Pavel Kisilev, Daniel Freedman, Eugene Walach, Asaf Tzadok, Yehuda Naveh |
| 2010 | SAT | The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference. | Yehuda Naveh |
| 2008 | CPAIOR | Guiding Stochastic Search by Dynamic Learning of the Problem Topography. | Yehuda Naveh |
| 2007 | CPAIOR | Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. | Sivan Sabato, Yehuda Naveh |
| 2006 | AAAI | Constraint-Based Random Stimuli Generation for Hardware Verification. | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
| 2006 | CP | Generalizing AllDifferent: The SomeDifferent Constraint. | Yossi Richter, Ari Freund, Yehuda Naveh |
| 2005 | CP | Random Stimuli Generation for Functional Hardware Verification as a CP Application. | Yehuda Naveh, Roy Emek |
| 2004 | ICCD | Quality Improvement Methods for System-Level Stimuli Generation. | Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh |