X-Gen: a random test-case generator for systems and SoCs. - Roy Emek; Itai Jaeger; Yehuda Naveh; Gadi Bergman; Guy Aloni; Yoav Katz; Monica Farkash; Igor Dozoretz; Alex Goldin (HLDVT, 2002)

Scheduling of transactions for system-level test-case generation. - Roy Emek; Yehuda Naveh (HLDVT, 2003)

Quality Improvement Methods for System-Level Stimuli Generation. - Roy Emek; Itai Jaeger; Yoav Katz; Yehuda Naveh (ICCD, 2004)

Random Stimuli Generation for Functional Hardware Verification as a CP Application. - Yehuda Naveh; Roy Emek (CP, 2005)

Generalizing AllDifferent: The SomeDifferent Constraint. - Yossi Richter; Ari Freund 001; Yehuda Naveh (CP, 2006)

Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation. - Shai Fine; Ari Freund 001; Itai Jaeger; Yishay Mansour; Yehuda Naveh; Avi Ziv (IEEE Trans. Computers, 2006)

Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. - Sivan Sabato; Yehuda Naveh (CPAIOR, 2007)

Constraint-Based Random Stimuli Generation for Hardware Verification. - Yehuda Naveh; Michal Rimon; Itai Jaeger; Yoav Katz; Michael Vinov; Eitan Marcus; Gil Shurek (AI Mag., 2007)

Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction. - Yehuda Naveh; Andrea Roli (Constraints An Int. J., 2007)

Workforce optimization: Identification and assignment of professional workers using constraint programming. - Yehuda Naveh; Yossi Richter; Yaniv Altshuler; Donna L. Gresh; Daniel P. Connors (IBM J. Res. Dev., 2007)

Guiding Stochastic Search by Dynamic Learning of the Problem Topography. - Yehuda Naveh (CPAIOR, 2008)

The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference. - Yehuda Naveh (SAT, 2010)

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 (IAAI, 2012)

DFlow and DField: New features for capturing object and image relationships. - Pavel Kisilev; Daniel Freedman; Eugene Walach; Asaf Tzadok; Yehuda Naveh (ICPR, 2012)

Analysis of advanced meter infrastructure data of water consumption in apartment buildings. - Einat Kermany; Hanna Mazzawi; Dorit Baras; Yehuda Naveh; Hagai Michaelis (KDD, 2013)

Theoretical and practical aspects of verification of quantum computers. - Yehuda Naveh; Elham Kashefi; James R. Wootton; Koen Bertels (DATE, 2018)

Computer-aided design for quantum computation. - Robert Wille; Austin G. Fowler; Yehuda Naveh (ICCAD, 2018)

IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. - Robert Wille; Rod Van Meter; Yehuda Naveh (DATE, 2019)

Using AI for Performance Verification of High-End Processors. - Raviv Gal; Alex Goldin; Wesam Ibraheem; Yehuda Naveh (ICPE Companion, 2019)

Qmod: Expressive High-Level Quantum Modeling. - Matan Vax; Peleg Emanuel; Eyal Cornfeld; Israel Reichental; Ori Opher; Ori Roth; Tal Michaeli; Lior Preminger; Lior Gazit; Amir Naveh; Yehuda Naveh (CoRR, 2025)