logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
E

Esen, Zafer

uppsala university

0H-index
2Paper Count
0Citation Count
Published Papers 2
Publication Date
logo
Sound and Complete Invariant-Based Heap Encodings
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errEsen, Zafer; Rummer, Philipp; Weber, Tjark
errShare
errSave
A program instrumentation framework for automatic verification
errFormal Methods in System Design
IF0.8
err2026-03-20
err0
PREAI
errAmilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
Dilian Gurov
H-index: 0 · Papers: 3
J
Jesper Amilon
H-index: 0 · Papers: 3
P
Philipp Rümmer
H-index: 0 · Papers: 3
M
Marten Voorberg
H-index: 0 · Papers: 3
W
Weber, Tjark
H-index: 0 · Papers: 1
View more