Automatic Datapath Extraction for Efficient Usage of HDD. - Gila Kamhi; Osnat Weissberg; Limor Fix (CAV, 1997)

Symbolic Model Checking Visualization. - Gila Kamhi; Limor Fix; Ziv Binyamini (FMCAD, 1998)

Adaptive variable reordering for symbolic model checking. - Gila Kamhi; Limor Fix (ICCAD, 1998)

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. - Ranan Fraer; Gila Kamhi; Limor Fix; Moshe Y. Vardi (SMC@FLoC, 1999)

Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. - Ranan Fraer; Gila Kamhi; Barukh Ziv; Moshe Y. Vardi; Limor Fix (CAV, 2000)

Benefits of Bounded Model Checking at an Industrial Setting. - Fady Copty; Limor Fix; Ranan Fraer; Enrico Giunchiglia; Gila Kamhi; Armando Tacchella; Moshe Y. Vardi (CAV, 2001)

Is There a Best Symbolic Cycle-Detection Algorithm? - Kathi Fisler; Ranan Fraer; Gila Kamhi; Moshe Y. Vardi; Zijiang Yang (TACAS, 2001)

A hybrid verification approach: getting deep into the design. - Scott Hazelhurst; Osnat Weissberg; Gila Kamhi; Limor Fix (DAC, 2002)

Accelerated verification of RTL assertions based on satisfiability solvers. - Ranan Fraer; Shahid Ikram; Gila Kamhi; Tim Leonard; Abdel Mokkedem (HLDVT, 2002)

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. - Marcelo Glusman; Gila Kamhi; Sela Mador-Haim; Ranan Fraer; Moshe Y. Vardi (TACAS, 2003)

Efficient debugging in a formal verification environment. - Fady Copty; Amitai Irron; Osnat Weissberg; Nathan P. Kropp; Gila Kamhi (Int. J. Softw. Tools Technol. Transf., 2003)

Pattern search in hierarchical high-level designs. - Zvi Terem; Gila Kamhi; Moshe Y. Vardi; Amitai Irron (ICECS, 2004)

Early Power-Aware Design & Validation: Myth or Reality? - Gila Kamhi; Sarah Miller; Stephen Bailey Mentor; Wolfgang Nebel; Y. C. Wong; Juergen Karmann; Enrico Macii; Stephen V. Kosonocky; Steve Curtis (DAC, 2007)

Interactive presentation: PowerQuest: trace driven data mining for power optimization. - Pietro Babighian; Gila Kamhi; Moshe Y. Vardi (DATE, 2007)

A new paradigm for synthesis and propagation of clock gating conditions. - Ranan Fraer; Gila Kamhi; Muhammad K. Mhameed (DAC, 2008)

A Temporal Language for SystemC. - Deian Tabakov; Gila Kamhi; Moshe Y. Vardi; Eli Singerman (FMCAD, 2008)

Power-Aware Design via Micro-architectural Link to Implementation. - Yoni Aizik; Gila Kamhi; Yael Zbar; Hadas Ronen; Muhammad Abozaed (PATMOS, 2008)

Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. - Roni Wiener; Gila Kamhi; Moshe Y. Vardi (PATMOS, 2008)

MAGENTA: transaction-based statistical micro-architectural root-cause analysis. - Gila Kamhi; Alexander Novakovsky; Andreas Tiemeyer; Adriana Wolffberg (DAC, 2009)

Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. - Roni Wiener; Gila Kamhi; Moshe Y. Vardi (J. Low Power Electron., 2009)

Challenges and methodologies for efficient power budgeting across the die. - Pinkesh J. Shah; Yoni Aizik; Muhammad K. Mhameed; Gila Kamhi (ACM Great Lakes Symposium on VLSI, 2010)

Transaction level statistical analysis for efficient micro-architectural power and performance studies. - Eman Copty; Gila Kamhi; Sasha Novakovsky (DAC, 2011)

Learner Engagement Measurement and Classification in 1: 1 Learning. - Sinem Aslan; Zehra Cataltepe; Itai Diner; Onur Dundar; Asli Arslan Esme; Ron Ferens; Gila Kamhi; Ece Oktay; Canan Soysal; Murat Yener (ICMLA, 2014)

An Approach for Measurement of Passenger Comfort: Real-Time Classification based on In-Cabin and Exterior Data. - Ariel Telpaz; Michael Baltaxe; Ron M. Hecht; Guy Cohen-Lazry; Asaf Degani; Gila Kamhi (ITSC, 2018)

Information Constrained Control for Visual Detection of Important Areas. - Ron M. Hecht; Ariel Telpaz; Gila Kamhi; Aharon Bar-Hillel; Naftali Tishby (ICASSP, 2019)

Marker-less Vision-based Detection of Improper Seat Belt Routing. - Michael Baltaxe; Ruben Mergui; Kobi Nistel; Gila Kamhi (IV, 2019)

Modeling the Effect of Driver's Eye Gaze Pattern Under Workload: Gaussian Mixture Approach. - Ron M. Hecht; Ariel Telpaz; Gila Kamhi; Omer Tsimhoni; Aharon Bar-Hillel; Naftali Tishby (CogSci, 2020)

Self-Improving Customer Review Response Generation Based on LLMs. - Guy Azov; Tatiana Pelc; Adi Fledel Alon; Gila Kamhi (CoRR, 2024)