Zafer Esen
Scholar

Zafer Esen

Google Scholar ID: B6VlsogAAAAJ
Uppsala University
Embedded SystemsVerificationModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
102
 
H-index
6
 
i10-index
1
 
Publications
20
 
Co-authors
6
list available
Contact
Emailwebbredaktionen@uu.se
Publications
1 items
Sound and Complete Invariant-Based Heap Encodings (Technical Report)
2025
Cited
0
Resume (English only)
Co-authors
6 total
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Co-author 2
Co-author 2
Dilian Gurov
Dilian Gurov
Professor in Computer Science, KTH Royal Institute of Technology
Tjark Weber
Tjark Weber
Uppsala University
Co-author 5
Co-author 5
Thomas Wies
Thomas Wies
New York University