Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
D
Dana Fisman
Ben-Gurion University of the Negev
0
H-index
2
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF
0
2026-01-01
0
PRE
AI
Fisman, Dana; Izsak, Noa
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
N
Noa Izsak
H-index: 1 · Papers: 5
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}