Yakir Vizel
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 26
Publications (10 Years): 26
Publications
- Shachar Itzhaky, Sharon Shoham, Yakir Vizel
- Shachar Itzhaky, Sharon Shoham, Yakir Vizel
- Omer Rappoport, Orna Grumberg, Yakir Vizel
- Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel
- Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
- Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel
- Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
- Arie Gurfinkel, Sharon Shoham, Yakir VizelQuantifiers on Demand. CoRR (2021)
- Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie GurfinkelVerifying Verified Code. CoRR (2021)
- Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
- Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
- Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
- Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
- Arie Gurfinkel, Sharon Shoham, Yakir Vizel
- Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik
- Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik
- Yakir Vizel, Alexander Nadel, Sharad Malik
- Yakir Vizel, Georg Weissenbacher, Sharad Malik
- Yakir Vizel, Alexander Nadel, Vadim Ryvchin
- Yakir Vizel, Arie Gurfinkel, Sharad Malik
- Arie Gurfinkel, Yakir Vizel
- Yakir Vizel, Arie Gurfinkel
- Yakir Vizel, Vadim Ryvchin, Alexander Nadel
- Yakir Vizel, Orna Grumberg