Gila Kamhi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
1997–2020
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CogSci | 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 |
| 2019 | ICASSP | Information Constrained Control for Visual Detection of Important Areas. | Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Aharon Bar-Hillel, Naftali Tishby |
| 2014 | ICMLA | 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 |
| 2011 | DAC | Transaction level statistical analysis for efficient micro-architectural power and performance studies. | Eman Copty, Gila Kamhi, Sasha Novakovsky |
| 2009 | DAC | MAGENTA: transaction-based statistical micro-architectural root-cause analysis. | Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg |
| 2008 | DAC | A new paradigm for synthesis and propagation of clock gating conditions. | Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed |
| 2008 | FMCAD | A Temporal Language for SystemC. | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman |
| 2007 | DAC | 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 |
| 2007 | DATE | Interactive presentation: PowerQuest: trace driven data mining for power optimization. | Pietro Babighian, Gila Kamhi, Moshe Y. Vardi |
| 2003 | TACAS | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
| 2002 | DAC | A hybrid verification approach: getting deep into the design. | Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
| 2001 | TACAS | Is There a Best Symbolic Cycle-Detection Algorithm? | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
| 2000 | CAV | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. | Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix |
| 1998 | FMCAD | Symbolic Model Checking Visualization. | Gila Kamhi, Limor Fix, Ziv Binyamini |
| 1998 | ICCAD | Adaptive variable reordering for symbolic model checking. | Gila Kamhi, Limor Fix |
| 1997 | CAV | Automatic Datapath Extraction for Efficient Usage of HDD. | Gila Kamhi, Osnat Weissberg, Limor Fix |