| 2026 |
B |
conf |
VMCAI
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
|
| 2025 |
J |
jnl |
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
|
| 2025 |
J |
jnl |
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
|
| 2024 |
J |
jnl |
CoRR
Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi
|
| 2024 |
— |
conf |
CAV (2)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
|
| 2024 |
J |
jnl |
CoRR
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
|
| 2023 |
B |
conf |
FMCAD
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
|
| 2023 |
J |
jnl |
CoRR
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
|
| 2023 |
B |
conf |
FM
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
|
| 2022 |
— |
conf |
NSV/FoMLAS@CAV
Idan Refaeli, Guy Katz
|
| 2022 |
— |
conf |
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
|
| 2022 |
J |
jnl |
CoRR
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
|
| 2021 |
J |
jnl |
CoRR
Idan Refaeli, Guy Katz
|