Concepedia

Guy Katz

GK

17

Publications

633

Citations

13

H-Index

1978

Active since

Affiliations

Weizmann Institute of Science(Current)

Ben-Gurion University of the Negev

University College Hospital

University College London

Hebrew University of Jerusalem

Guy Katz is an author at Weizmann Institute of Science specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal MethodsSoftware DesignSoftware EngineeringSystem Software

Publications per year

1978–2020

17

Publications

17

Children with urinary infection: A comparison of those with and those without vesicoureteric reflux

J. M. Smellie, I. C. S. Normand, Guy Katz · Kidney International · 1981 · 139 citations · Full text

Urological Research, Urology, Gastroenterology +7

CONTROLLED TRIAL OF PROPHYLACTIC TREATMENT IN CHILDHOOD URINARY-TRACT INFECTION

J. M. Smellie, Guy Katz, R. N. Grüneberg · The Lancet · 1978 · 131 citations

Urological Research, Urology, Pediatrics +2

Provably Minimally-Distorted Adversarial Examples

Nicholas Carlini, Guy Katz, Clark Barrett et al. · arXiv (Cornell University) · 2017 · 100 citations · Full text

Engineering, Machine Learning, Verification +16

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Divya Gopinath, Guy Katz, Corina S. Păsăreanu et al. · arXiv (Cornell University) · 2017 · 58 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

Non-intrusive Repair of Reactive Programs

David Harel, Guy Katz, Assaf Marron et al. · International Conference on Engineering of Complex Computer Systems · 2012 · 23 citations

Software Maintenance, Program Checking, Engineering +21

Rows per page

1–5 of 17