Yehuda Naveh

According to our database1, Yehuda Naveh authored at least 19 papers between 2002 and 2019.

Collaborative distances:

Timeline

2002
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
3
1
2
2
1
2
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Using AI for Performance Verification of High-End Processors.
Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Computer-aided design for quantum computation.
Proceedings of the International Conference on Computer-Aided Design, 2018

Theoretical and practical aspects of verification of quantum computers.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2013
Analysis of advanced meter infrastructure data of water consumption in apartment buildings.
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

2012
DFlow and DField: New features for capturing object and image relationships.
Proceedings of the 21st International Conference on Pattern Recognition, 2012

Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems.
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

2010
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2008
Guiding Stochastic Search by Dynamic Learning of the Problem Topography.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Workforce optimization: Identification and assignment of professional workers using constraint programming.
IBM J. Res. Dev., 2007

Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction.
Constraints An Int. J., 2007

Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag., 2007

Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

2006
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers, 2006

Generalizing AllDifferent: The SomeDifferent Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Quality Improvement Methods for System-Level Stimuli Generation.
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003
Scheduling of transactions for system-level test-case generation.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002
X-Gen: a random test-case generator for systems and SoCs.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002


  Loading...