Katz, Guy
695  Ergebnisse:
?
 
?
8

Proliferative features of IgG4-related disease:

Katz, Guy ; Hernandez-Barco, Yasmin ; Palumbo, Diego...
The Lancet Rheumatology.  6 (2024)  7 - p. e481-e492 , 2024
 
?
 
?
 
?
12

Verifying Learning-Based Robotic Navigation Systems:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz... - p. 607-627 , 2023
 
?
13

RoMA: A Method for Neural Network Robustness Measurement an..:

, In: Communications in Computer and Information Science; Neural Information Processing,
Levy, Natan ; Katz, Guy - p. 92-105 , 2023
 
?
15

Towards a Certified Proof Checker for Deep Neural Network V..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Desmartin, Remi ; Isac, Omri ; Passmore, Grant... - p. 198-209 , 2023
 
1-15