Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Ö
Ömer Şakar
University of Twente
3
H-index
7
Paper Count
24
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Formal Methods in System Design
IF
0.8
2025-11-01
0
PRE
AI
Sakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
M
Marieke Huisman
H-index: 28 · Papers: 257
A
Anton Wijs
H-index: 21 · Papers: 149
M
Mohsen Safari
H-index: 9 · Papers: 27
All loaded
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave