Yehuda Naveh

23 papers A* 2A 6B 3C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Qmod: Expressive High-Level Quantum Modeling.
CoRR
Matan Vax, Peleg Emanuel, Eyal Cornfeld, Israel Reichental, Ori Opher, Ori Roth, Tal Michaeli, Lior Preminger, Lior Gazit, Amir Naveh, Yehuda Naveh
2025 — conf
Qmod: Expressive High-Level Quantum Programming.
QSW
Matan Vax, Peleg Emanuel, Eyal Cornfeld, Israel Reichental, Ori Opher, Ori Roth, Tal Michaeli, Lior Preminger, Lior Gazit, Amir Naveh, Yehuda Naveh
2019 A conf
IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers.
DATE
Robert Wille, Rod Van Meter, Yehuda Naveh
2019 — conf
Using AI for Performance Verification of High-End Processors.
ICPE Companion
Raviv Gal, Alex Goldin, Wesam Ibraheem, Yehuda Naveh
2018 A conf
Computer-aided design for quantum computation.
ICCAD
Robert Wille, Austin G. Fowler, Yehuda Naveh
2018 A conf
Theoretical and practical aspects of verification of quantum computers.
DATE
Yehuda Naveh, Elham Kashefi, James R. Wootton, Koen Bertels
2013 A* conf
Analysis of advanced meter infrastructure data of water consumption in apartment buildings.
KDD
Einat Kermany, Hanna Mazzawi, Dorit Baras, Yehuda Naveh, Hagai Michaelis
2012 C conf
Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems.
IAAI
Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi Lando, Alon Modai
2012 B conf
DFlow and DField: New features for capturing object and image relationships.
ICPR
Pavel Kisilev, Daniel Freedman, Eugene Walach, Asaf Tzadok, Yehuda Naveh
2010 A conf
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.
SAT
Yehuda Naveh
2008 B conf
Guiding Stochastic Search by Dynamic Learning of the Problem Topography.
CPAIOR
Yehuda Naveh
2007 J jnl
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag.
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2007 J jnl
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction.
Constraints An Int. J.
Yehuda Naveh, Andrea Roli
2007 B conf
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.
CPAIOR
Sivan Sabato, Yehuda Naveh
2007 J jnl
Workforce optimization: Identification and assignment of professional workers using constraint programming.
IBM J. Res. Dev.
Yehuda Naveh, Yossi Richter, Yaniv Altshuler, Donna L. Gresh, Daniel P. Connors
2006 A* conf
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2006 A conf
Generalizing AllDifferent: The SomeDifferent Constraint.
CP
Yossi Richter, Ari Freund, Yehuda Naveh
2006 J jnl
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers
Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv
2005 — conf
Harnessing machine learning to improve the success rate of stimuli generation.
HLDVT
Shai Fine, Ari Freund, Itai Jaeger, Yehuda Naveh, Avi Ziv, Yishay Mansour
2005 A conf
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
CP
Yehuda Naveh, Roy Emek
2004 C conf
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
2003 — conf
Scheduling of transactions for system-level test-case generation.
HLDVT
Roy Emek, Yehuda Naveh
2002 — conf
X-Gen: a random test-case generator for systems and SoCs.
HLDVT
Roy Emek, Itai Jaeger, Yehuda Naveh, Gadi Bergman, Guy Aloni, Yoav Katz, Monica Farkash, Igor Dozoretz, Alex Goldin