An Abstraction-Based Framework for Neural Network Verification

by Elboher, Yizhak Yisrael, Gottschlich, Justin, Katz, Guy
Published in Computer Aided Verification (2020)

An SMT-Based Approach for Verifying Binarized Neural Networks

by Amir, Guy, Wu, Haoze, Barrett, Clark, Katz, Guy
Published in Tools and Algorithms for the Construction and Analysis of Systems (2021)

Elevated Cardiac Troponin T in Patients with Lupus Myositis Presenting with Noncardiac Chest Pain

by Katz, Guy, Kolasinski, Sharon L., Sundaram, Baskaran, Loizidis, Giorgos
Published in Case Rep Rheumatol (2020)

Exercise training improves cardiac function and attenuates arrhythmia in CPVT mice

by Kurtzwald-Josefson, Efrat, Hochhauser, Edith, Katz, Guy, Porat, Eyal, Seidman, Jonathan G., Seidman, Christine E., Chepurko, Yelena, Shainberg, Asher, Eldar, Michael, Arad, Michael
Published 2012

Optimizing catecholaminergic polymorphic ventricular tachycardia therapy in calsequestrin-mutant mice

by Katz, Guy, Khoury, Assad, Kurtzwald, Efrat, Hochhauser, Edith, Porat, Eyal, Shainberg, Asher, Seidman, Jonathan G., Seidman, Christine E., Lorber, Abraham, Eldar, Michael, Arad, Michael
Published 2010

Evidence of In Vitro Preservation of Human Nephrogenesis at the Single-Cell Level

by Pode-Shakked, Naomi, Gershon, Rotem, Tam, Gal, Omer, Dorit, Gnatek, Yehudit, Kanter, Itamar, Oriel, Sarit, Katz, Guy, Harari-Steinberg, Orit, Kalisky, Tomer, Dekel, Benjamin
Published in Stem Cell Reports (2017)

Alpha blockade potentiates CPVT therapy in calsequestrin-mutant mice

by Kurtzwald-Josefson, Efrat, Hochhauser, Edith, Bogachenko, Katia, Harun-Khun, Shiraz, Katz, Guy, Aravot, Dan, Seidman, Jonathan G., Seidman, Christine E., MichaelEldar, Shainberg, Asher, Arad, Michael
Published 2014

The role of mutant protein level in autosomal recessive catecholamine dependent polymorphic ventricular tachycardia (CPVT2)

by Katz, Guy, Shainberg, Asher, Hochhauser, Edith, Kurtzwald-Josefson, Efrat, Issac, Ahuva, El-Ani, Dalia, Aravot, Dan, Afek, Arnon, Seidman, Jonathan G., Seidman, Christine E., Eldar, Michael, Arad, Michael
Published 2013

Human kidney clonal proliferation disclose lineage-restricted precursor characteristics

by Cohen-Zontag, Osnat, Gershon, Rotem, Harari-Steinberg, Orit, Kanter, Itamar, Omer, Dorit, Pleniceanu, Oren, Tam, Gal, Oriel, Sarit, Ben-Hur, Herzel, Katz, Guy, Dotan, Zohar, Kalisky, Tomer, Dekel, Benjamin, Pode-Shakked, Naomi
Published in Sci Rep (2020)

Author Correction: Human kidney clonal proliferation disclose lineage-restricted precursor characteristics

by Cohen-Zontag, Osnat, Gershon, Rotem, Harari-Steinberg, Orit, Kanter, Itamar, Omer, Dorit, Pleniceanu, Oren, Tam, Gal, Oriel, Sarit, Ben-Hur, Herzl, Katz, Guy, Dotan, Zohar, Kalisky, Tomer, Dekel, Benjamin, Pode-Shakked, Naomi
Published in Sci Rep (2021)

Dissecting Stages of Human Kidney Development and Tumorigenesis with Surface Markers Affords Simple Prospective Purification of Nephron Stem Cells

by Pode-Shakked, Naomi, Pleniceanu, Oren, Gershon, Rotem, Shukrun, Rachel, Kanter, Itamar, Bucris, Efrat, Pode-Shakked, Ben, Tam, Gal, Tam, Hadar, Caspi, Revital, Pri-Chen, Sara, Vax, Einav, Katz, Guy, Omer, Dorit, Harari-Steinberg, Orit, Kalisky, Tomer, Dekel, Benjamin
Published in Sci Rep (2016)

Microvesicle Proteomic Profiling of Uterine Liquid Biopsy for Ovarian Cancer Early Detection

by Barnabas, Georgina D., Bahar-Shany, Keren, Sapoznik, Stav, Helpman, Limor, Kadan, Yfat, Beiner, Mario, Weitzner, Omer, Arbib, Nissim, Korach, Jacob, Perri, Tamar, Katz, Guy, Blecher, Anna, Brandt, Benny, Friedman, Eitan, Stockheim, David, Jakobson-Setton, Ariella, Eitan, Ram, Armon, Shunit, Brand, Hadar, Zadok, Oranit, Aviel-Ronen, Sarit, Harel, Michal, Geiger, Tamar, Levanon, Keren
Published in Mol Cell Proteomics (2019)