15
Publications
752
Citations
12
H-Index
2003
Active since
Affiliations
Yoav Katz is an author at IBM Research - Haifa specializing in engineering, computer science, and computer architecture.
Top concepts
EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsSystems EngineeringLanguageLinguisticsFormal VerificationComputational Linguistics
Publications per year
2003–2023
15
15
Noam Slonim, Yonatan Bilu, Carlos Alzate et al. · Nature · 2021 · 236 citations
Engineering, Argumentation Analysis, Argumentation Framework +10
Active Learning for BERT: An Empirical Study
Liat Ein‐Dor, Alon Halfon, Ariel Gera et al. · 2020 · 139 citations · Full text
Constraint-Based Random Stimuli Generation for Hardware Verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations
Artificial Intelligence, Engineering, Hardware Verification Language +21
X-Gen: a random test-case generator for systems and SoCs
R. Emek, Itai Jaeger, Y. Naveh et al. · 2003 · 62 citations
Engineering, Hardware Verification Language, Computer Architecture +20
Constraint-based random stimuli generation for hardware verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · 2006 · 50 citations
Artificial Intelligence, Engineering, Hardware Verification Language +19
Rows per page
1–5 of 15