by Kamhi, Gila, Miller, Sarah, Mentor, Stephen Bailey, Nebel, Wolfgang H., Wong, YC, Karmann, Juergen, Macii, Enrico, Kosonocky, Stephen, Curtis, Steve
Published in 2007 44th ACM/IEEE Design Automation Conference (01.06.2007)

by Hurwitz Barak, Kouperman Vladimir, Zamir Nadav, Kamhi Gila
Year of Publication 13.09.2016

by HURWITZ, Barak, KAMHI, Gila, NISTEL, Kobi, FERENS, Ron, COOPERMAN, Vladimir Vova
Year of Publication 01.08.2018

by YOSI GOVEZENSKY, BARAK HURWITZ, GILA KAMHI
Year of Publication 06.08.2014

by KAMHI, GILA, HURWITZ, BARAK, FERENS, RON, REIFOR, MORAN, AMIT
Year of Publication 20.07.2016

by Ferens, Ron, Esme, Asli Arslan, Diner, Itai, Kamhi, Gila, Aslan, Sinem
Year of Publication 03.07.2018

by Baltaxe, Michael, Nistel, Kobi, Druker, Itai, Sala, Dorel M, Mergui, Ruben, Kamhi, Gila, Fallon, Lisa A
Year of Publication 17.05.2023

by Goldman-Shenhar, Claudia V, Kamhi, Gila
Year of Publication 21.11.2019

by HURWITZ BARAK, KAMHI GILA, ANDERSON GLEN J, REIF DROR
Year of Publication 12.07.2016

by KAMHI GILA, GOLDMAN-SHENHAR CLAUDIA V
Year of Publication 08.11.2019

by HURWITZ BARAK, COOPERMAN VLADIMIR, KAMHI GILA, NISTEL KOBI
Year of Publication 23.06.2016

by ROY J. MATHIEU, GILA KAMHI
Year of Publication 01.12.2017

by Mathieu, Roy J, Kamhi, Gila
Year of Publication 16.11.2017

by ZIMGHONI, OMER, DEGANI ASAF, GOLDMAN-SHENHAR CLAUDIA, BASTING RONALD, BHUNAYA ZAKARIA, KAMHI GILA, FRIEDLAND YAEL SHMUEL
Year of Publication 07.02.2023

by Tabakov, D., Kamhi, G., Vardi, M.Y., Singerman, E.
Published in 2008 Formal Methods in Computer-Aided Design (01.11.2008)

by Goldman-Shenhar, Claudia, Kamhi, Gila
Year of Publication 02.11.2017

by Goldman-Shenhar, Claudia, Kamhi, Gila
Year of Publication 02.11.2017

by KAMHI, GILA, DAVID, LIMOR, MORAN, AMIT, AIZIK, YONI
Year of Publication 16.03.2016

by KAMHI, GILA, HURWITZ, BARAK, FERENS, RON, MORAN, AMIT
Year of Publication 10.03.2016

by Baltaxe, Michael, Telpaz, Ariel, Grimm, Donald K, Kamhi, Gila
Year of Publication 29.04.2021